-
Notifications
You must be signed in to change notification settings - Fork 4
/
PackageInfo.g
109 lines (97 loc) · 3.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
# SPDX-License-Identifier: GPL-2.0-or-later
# PreSheaves: Categories of (co)presheaves
#
# 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 := "PreSheaves",
Subtitle := "Categories of (co)presheaves",
Version := "2024.11-06",
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",
"57068 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",
"57068 Siegen\n",
"Germany" ),
Place := "Siegen",
Institution := "University of 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/PreSheaves",
PackageInfoURL := "https://homalg-project.github.io/CategoricalTowers/PreSheaves/PackageInfo.g",
README_URL := "https://homalg-project.github.io/CategoricalTowers/PreSheaves/README.md",
ArchiveURL := Concatenation( "https://github.com/homalg-project/CategoricalTowers/releases/download/PreSheaves-", ~.Version, "/PreSheaves-", ~.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 := "PreSheaves",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Categories of (co)presheaves",
),
Dependencies := rec(
GAP := ">= 4.13.0",
NeededOtherPackages := [
[ "GAPDoc", ">= 1.5" ],
[ "MatricesForHomalg", ">= 2023.11-02" ],
[ "CAP", ">= 2024.11-01" ],
[ "MonoidalCategories", ">= 2024.06-02" ],
[ "CartesianCategories", ">= 2024.06-03" ],
[ "ToolsForCategoricalTowers", ">= 2024.11-03" ],
],
SuggestedOtherPackages := [
],
ExternalConditions := [ ],
),
AvailabilityTest := function()
return true;
end,
TestFile := "tst/testall.g",
Keywords := [ "finite coproduct cocompletions, finite product completions, finite colimit cocompletions, finite limit completions" ],
));