Skip to content
Snippets Groups Projects

Draft: Changes for Narrative Harvesting

Open Jakob Albert requested to merge jakob-main into master
1 file
+ 16
0
Compare changes
  • Side-by-side
  • Inline
.matharchive.yaml 0 → 100644
+ 16
0
Name: "GAP"
Url: "https://gl.mathhub.info/ODK/GAP"
Version: "4.10.2"
Structure:
ExportPath: "gap"
ExportFiles:
- 'gaptypes.json'
MmtPath: "content/https..www.gap-system.org"
System:
HomepageUrl: "https://www.gap-system.org"
DocumentationUrl: "https://www.gap-system.org/Manuals/doc/ref/chap0.html"
# TODO Not pinned to exact version
# TODO Link into documentation not possible
RepositoryUrl: "https://github.com/gap-system/gap"
RepositoryTag: "v4.10.2"
RepositoryPath: "lib"
Loading