-
Notifications
You must be signed in to change notification settings - Fork 3
/
PackageInfo.g
128 lines (111 loc) · 4.17 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
SetPackageInfo( rec(
PackageName := "Automata",
Subtitle := "A package on automata",
Version := "1.16",
Date := "30/08/2024", # dd/mm/yyyy format
License := "GPL-2.0-or-later",
Persons := [
rec(
LastName := "Delgado",
FirstNames := "Manuel",
IsAuthor := true,
IsMaintainer := true,
Email := "mdelgado@fc.up.pt",
WWWHome := "https://cmup.fc.up.pt/cmup/mdelgado/",
PostalAddress := Concatenation( [
"CMUP, Departamento de Matemática\n",
"Faculdade de Ciências, Universidade do Porto\n",
"Rua do Campo Alegre s/n\n",
"4169-007 Porto\n",
"Portugal" ] ),
Place := "Porto",
Institution := "Faculdade de Ciências"
),
rec(
LastName := "Hoffmann",
FirstNames := "Ruth",
IsAuthor := false,
IsMaintainer := true,
Email := "rh347@st-andrews.ac.uk",
WWWHome := "https://research-portal.st-andrews.ac.uk/en/persons/ruth-hoffmann",
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 := "School of Computer Science, University of St. Andrews"
),
rec(
LastName := "Linton",
FirstNames := "Steve",
IsAuthor := true,
IsMaintainer := true,
Email := "steve.linton@st-andrews.ac.uk",
WWWHome := "http://www-groups.dcs.st-and.ac.uk/~sal/",
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 := "School of Computer Science, University of St. Andrews"
),
rec(
LastName := "Morais",
FirstNames := "José João",
IsAuthor := true,
IsMaintainer := false,
# Email := "josejoao@fc.up.pt",
# WWWHome := "",
# PostalAddress := Concatenation( [
# "Jose Morais\n",
# "Departamento de Matemática Pura\n",
# "Faculdade de Ciências\n",
# "Rua do Campo Alegre, 687\n",
# "Porto\n",
# "Portugal" ] ),
PostalAddress := "No address known"
# Place := "Porto",
# Institution := "Faculdade de Ciências"
),
],
Status := "accepted",
CommunicatedBy := "Edmund Robertson (St. Andrews)",
AcceptDate := "09/2004",
PackageWWWHome := "https://gap-packages.github.io/automata/",
README_URL := Concatenation(~.PackageWWWHome, "README.md"),
PackageInfoURL := Concatenation(~.PackageWWWHome, "PackageInfo.g"),
SourceRepository := rec(
Type := "git",
URL := "https://github.com/gap-packages/automata"
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
ArchiveURL := Concatenation( ~.SourceRepository.URL,
"/releases/download/v", ~.Version,
"/automata-", ~.Version),
ArchiveFormats := ".tar.gz .tar.bz2",
AbstractHTML :=
"The <span class=\"pkgname\">Automata</span> package, as its name suggests, is package with algorithms to deal with automata.",
PackageDoc := rec(
BookName := "Automata",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0_mj.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Automata, a GAP package for finite state automata",
# Autoload := true
),
Dependencies := rec(
GAP := ">=4.8",
NeededOtherPackages := [],
SuggestedOtherPackages := [["GAPDoc", ">= 1.2"]],
## ExternalConditions := [["Graphviz","https://www.graphviz.org/"],["Evince","http://www.gnome.org/projects/evince/"]]
),
AvailabilityTest := ReturnTrue,
Autoload := false,
TestFile := "tst/testall.g",
Keywords := ["Automata", "Rational Expressions"]
));