-
Notifications
You must be signed in to change notification settings - Fork 18
Expand file tree
/
Copy pathPackageInfo.g
More file actions
132 lines (120 loc) · 4.58 KB
/
PackageInfo.g
File metadata and controls
132 lines (120 loc) · 4.58 KB
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
# 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 := "2026.05-01",
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-muenster.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@rptu.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 := "f.zickgraf@dashdos.com",
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", ">= 2026.05-07" ],
[ "MatricesForHomalg", ">= 2026.04-01" ],
[ "GradedRingForHomalg", ">= 2026.04-01" ],
[ "AdditiveClosuresForCAP", ">= 2026.04-01" ],
[ "LinearClosuresForCAP", ">= 2026.04-01" ],
[ "MonoidalCategories", ">= 2025.08-01" ],
[ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ],
],
SuggestedOtherPackages := [
[ "FinSetsForCAP", ">= 2023.07-03" ],
],
ExternalConditions := [ ],
),
Extensions := [
rec(
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
filename := "gap/ProSetsAsCats.gi",
),
],
AvailabilityTest := function()
return true;
end,
#Keywords := [ "TODO" ],
TestFile := "tst/testall.g",
));