forked from oscar-system/Oscar.jl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Artifacts.toml
24 lines (21 loc) · 1.05 KB
/
Artifacts.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
[QSMDB]
git-tree-sha1 = "5c82e5ff3aa99f2aa660c9ffb3caa57ee535cc21"
lazy = true
[[QSMDB.download]]
sha256 = "3f69aae0fca02d74764f709c622388c564e6e144a8b11347dadef5725a65b0a2"
url = "https://github.com/oscar-system/Oscar.jl/releases/download/archive-tag-1/qsmdb.tar.gz"
[gap_extraperfect]
git-tree-sha1 = "084fa12573e5089ceb3299f9d341f244b415da52"
lazy = true
[[gap_extraperfect.download]]
sha256 = "e565303927682f54cba20a69b8d23673b9b9d4d2a2bc88751f58ed5d3365e29f"
url = "https://github.com/oscar-system/GAP.jl/releases/download/archive-tag/extraperfect.tar.gz"
# Created from https://github.com/hulpke/extraperfect using
# #!/bin/sh
# export SOURCE_DATE_EPOCH=$(git log -1 --pretty=%ct)
# rm -rf extraperfect
# mkdir extraperfect
# gzip -9 -n -c perf27.grp > extraperfect/perf27.grp.gz
# gzip -9 -n -c perf33.grp > extraperfect/perf33.grp.gz
# gtar --mtime="$(git log -1 --pretty=%cI)" --owner=0 --group=0 --numeric-owner -cvf extraperfect.tar extraperfect
# gzip -n -c extraperfect.tar > extraperfect.tar.gz