-
Notifications
You must be signed in to change notification settings - Fork 6
/
PackageInfo.g
130 lines (117 loc) · 4.7 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
# SPDX-License-Identifier: GPL-2.0-or-later
# FunctorCategories: Categories of functors
#
# 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 := "FunctorCategories",
Subtitle := "Categories of functors",
Version := "2024.09-11",
Date := ~.Version{[ 1 .. 10 ]},
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 := "https://mohamed-barakat.github.io/",
Email := "[email protected]",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57072 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of Siegen",
),
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Kamal",
LastName := "Saleh",
WWWHome := "https://github.com/kamalsaleh",
Email := "[email protected]",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
"Walter-Flex-Straße 3\n",
"57072 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "Universität Siegen",
),
],
# BEGIN URLS
SourceRepository := rec(
Type := "git",
URL := "https://github.com/homalg-project/CategoricalTowers",
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
PackageWWWHome := "https://homalg-project.github.io/pkg/FunctorCategories",
PackageInfoURL := "https://homalg-project.github.io/CategoricalTowers/FunctorCategories/PackageInfo.g",
README_URL := "https://homalg-project.github.io/CategoricalTowers/FunctorCategories/README.md",
ArchiveURL := Concatenation( "https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-", ~.Version, "/FunctorCategories-", ~.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 := "FunctorCategories",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Categories of functors",
),
Dependencies := rec(
GAP := ">= 4.13.0",
NeededOtherPackages := [
[ "GAPDoc", ">= 1.5" ],
[ "ToolsForHomalg", ">= 2022.12-01" ],
[ "CAP", ">= 2024.09-12" ],
[ "MonoidalCategories", ">= 2024.06-02" ],
[ "CartesianCategories", ">= 2024.06-03" ],
[ "ToolsForCategoricalTowers", ">= 2024.03-02" ],
[ "FpCategories", ">= 2024.09-06" ],
[ "Algebroids", ">= 2024.09-04" ],
[ "FiniteCocompletions", ">= 2024.03-12" ],
[ "PreSheaves", ">= 2024.02-02" ],
[ "RingsForHomalg", ">= 2020.02.04" ],
[ "LinearAlgebraForCAP", ">= 2024.08-07" ],
[ "FreydCategoriesForCAP", ">= 2024.08-07" ],
[ "SubcategoriesForCAP", ">= 2024.01-01" ],
[ "Toposes", ">= 2024.06-02" ],
[ "Locales", ">= 2024.03-23" ],
[ "FinSetsForCAP", ">= 2024.02-09" ],
[ "ToolsForHigherHomologicalAlgebra", ">= 2023.03-01" ],
],
SuggestedOtherPackages := [ ],
ExternalConditions := [ ],
),
AvailabilityTest := function()
return true;
end,
TestFile := "tst/testall.g",
Keywords := [
"functors",
"natural transformations",
"finitely presented categories",
"functors into categories",
"functors into pre-additive categories",
"functors into additive categories",
"functors into pre-abelian categories",
"functors into abelian categories",
],
));