-
Notifications
You must be signed in to change notification settings - Fork 18
/
Copy pathPackageInfo.g
149 lines (137 loc) · 4.95 KB
/
PackageInfo.g
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
# SPDX-License-Identifier: GPL-2.0-or-later
# MonoidalCategories: Monoidal and monoidal (co)closed categories
#
# This file contains package meta data. For additional information on
# the meaning and correct usage of these fields, please consult the
# manual of the "Example" package as well as the comments in its
# PackageInfo.g file.
#
SetPackageInfo( rec(
PackageName := "MonoidalCategories",
Subtitle := "Monoidal and monoidal (co)closed categories",
Version := "2025.01-02",
Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
License := "GPL-2.0-or-later",
Persons := [
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Mohamed",
LastName := "Barakat",
WWWHome := "http://algebra.mathematik.uni-siegen.de/barakat/",
Email := "[email protected]",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of Siegen",
),
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "http://algebra.mathematik.uni-siegen.de/gutsche/",
Email := "[email protected]",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
"Walter-Flex-Straße 3\n",
"57068 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of Siegen",
),
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "http://algebra.mathematik.uni-siegen.de/posur/",
Email := "[email protected]",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
"Walter-Flex-Straße 3\n",
"57068 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of Siegen",
),
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Tom",
LastName := "Kuhmichel",
WWWHome := "https://github.com/TKuh",
Email := "[email protected]",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
"Walter-Flex-Straße 3\n",
"57068 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of Siegen",
),
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "[email protected]",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of Siegen",
),
],
# BEGIN URLS
SourceRepository := rec(
Type := "git",
URL := "https://github.com/homalg-project/CAP_project",
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
PackageWWWHome := "https://homalg-project.github.io/pkg/MonoidalCategories",
PackageInfoURL := "https://homalg-project.github.io/CAP_project/MonoidalCategories/PackageInfo.g",
README_URL := "https://homalg-project.github.io/CAP_project/MonoidalCategories/README.md",
ArchiveURL := Concatenation( "https://github.com/homalg-project/CAP_project/releases/download/MonoidalCategories-", ~.Version, "/MonoidalCategories-", ~.Version ),
# END URLS
ArchiveFormats := ".tar.gz .zip",
## Status information. Currently the following cases are recognized:
## "accepted" for successfully refereed packages
## "submitted" for packages submitted for the refereeing
## "deposited" for packages for which the GAP developers agreed
## to distribute them with the core GAP system
## "dev" for development versions of packages
## "other" for all other packages
##
Status := "deposited",
AbstractHTML := "",
PackageDoc := rec(
BookName := "MonoidalCategories",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Monoidal and monoidal (co)closed categories",
),
Dependencies := rec(
GAP := ">= 4.13.0",
NeededOtherPackages := [
[ "ToolsForHomalg", ">= 2018.05.22" ],
[ "CAP", ">= 2023.08-16" ],
],
SuggestedOtherPackages := [ ],
ExternalConditions := [ ],
),
AvailabilityTest := function()
return true;
end,
TestFile := "tst/testall.g",
Keywords := [ "monoidal categories", "monoidal closed categories", "monoidal coclosed categories", "tensor-Hom adjunction", "coHom-tensor adjunction" ],
));