-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathPackageInfo.g
90 lines (74 loc) · 2.96 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
#
# walrus: Computational Methods for Finitely Generated Monoids and Groups
#
SetPackageInfo( rec(
PackageName := "walrus",
Subtitle := "A new approach to proving hyperbolicity",
Version := "0.9991",
Date := "21/02/2022", # dd/mm/yyyy format
License := "BSD-3-Clause",
Persons := [
rec(
IsAuthor := true,
IsMaintainer := true,
FirstNames := "Markus",
LastName := "Pfeiffer",
WWWHome := "http://www.morphism.de/~markusp/",
Email := "[email protected]",
PostalAddress := Concatenation(
"School of Computer Science\n",
"University of St Andrews\n",
"Jack Cole Building, North Haugh\n",
"St Andrews, Fife, KY16 9SX\n",
"United Kingdom" ),
Place := "St Andrews",
Institution := "University of St Andrews",
),
],
PackageWWWHome := "https://gap-packages.github.io/walrus/",
SourceRepository := rec(
Type := "git",
URL := "https://github.com/gap-packages/walrus"
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
PackageWWWHome := "https://gap-packages.github.io/walrus",
README_URL := Concatenation( ~.PackageWWWHome, "/README.md" ),
PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
ArchiveURL := Concatenation( ~.SourceRepository.URL,
"/releases/download/v", ~.Version,
"/walrus-", ~.Version ),
ArchiveFormats := ".tar.gz",
## 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 :=
"""An implementation of hyperbolicity testing using an ideas
by Derek Holt, Max Neunhöffer, Richard Parker, and Colva Roney-Dougal,
and probably quite a few more""",
PackageDoc := rec(
BookName := "walrus",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0_mj.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Computational Methods for Finitely Generated Monoids and Groups",
),
Dependencies := rec(
GAP := ">= 4.10",
NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ],
[ "datastructures", "0.2.2" ],
[ "digraphs", ">= 0.10" ]],
SuggestedOtherPackages := [ [ "profiling", " >= 1.3.0"],
[ "kbmag", ">= 1.5.4" ]],
ExternalConditions := [ ],
),
AvailabilityTest := ReturnTrue,
TestFile := "tst/testall.g",
Keywords := [ "Finitely Generated", "group", "monoid", "hyperbolic" ],
));