-
Notifications
You must be signed in to change notification settings - Fork 0
/
PackageInfo.g
138 lines (126 loc) · 4.66 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
# SPDX-License-Identifier: GPL-2.0-or-later
# FreydCategoriesForCAP: Freyd categories - Formal (co)kernels for additive 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 := "FreydCategoriesForCAP",
Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
Version := "2024.10-04",
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 := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
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 := "Martin",
LastName := "Bies",
WWWHome := "https://www.ulb.ac.be/sciences/ptm/pmif/people.html",
Email := "martin.bies@alumni.uni-heidelberg.de",
PostalAddress := Concatenation(
"Physique Théorique et Mathématique \n",
"Université Libre de Bruxelles \n",
"Campus Plaine - CP 231 \n",
"Building NO - Level 6 - Office O.6.111 \n",
"1050 Brussels \n",
"Belgium" ),
Place := "Brussels",
Institution := "ULB Brussels",
),
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
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/FreydCategoriesForCAP",
PackageInfoURL := "https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/PackageInfo.g",
README_URL := "https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/README.md",
ArchiveURL := Concatenation( "https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-", ~.Version, "/FreydCategoriesForCAP-", ~.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 := "dev",
AbstractHTML := "",
PackageDoc := rec(
BookName := "FreydCategoriesForCAP",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Freyd categories - Formal (co)kernels for additive categories",
),
Dependencies := rec(
GAP := ">= 4.13.0",
NeededOtherPackages := [ [ "CAP", ">= 2024.06-03" ],
[ "MatricesForHomalg", ">= 2023.01-01" ],
[ "GradedRingForHomalg", ">=2019.08.07" ],
[ "MonoidalCategories", ">= 2024.09-02" ],
[ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ]
],
SuggestedOtherPackages := [
[ "FinSetsForCAP", ">= 2023.07-03" ]
],
ExternalConditions := [ ],
),
Extensions := [
rec(
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
filename := "gap/LinearClosure.gi",
),
rec(
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
filename := "gap/ProSetsAsCats.gi",
),
rec(
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
filename := "gap/GroupsAsCats.gi",
),
],
AvailabilityTest := function()
return true;
end,
#Keywords := [ "TODO" ],
TestFile := "tst/testall.g",
));