forked from oscar-system/Oscar.jl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathArtifacts.toml
32 lines (27 loc) · 1.32 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
25
26
27
28
29
30
31
32
[FTM-1511-03209]
git-tree-sha1 = "ba4c659df6bba8d746d85628bfedf8b77b77047c"
lazy = true
[[FTM-1511-03209.download]]
sha256 = "77f85f1e4a2c3b71963bea169b929dd8c1d9b3cf9b28b616f2c91486636acc22"
url = "https://zenodo.org/records/14611045/files/1511-03209.tar.gz"
[QSMDB]
git-tree-sha1 = "52686066016440cf2e6e286a923aed887658543c"
lazy = true
[[QSMDB.download]]
sha256 = "2b0a368c07d368f3973352b7f6e856214e25383d2cc3a78c70415afe247a997e"
url = "https://github.com/oscar-system/Oscar.jl/releases/download/archive-tag-1/QSMDB-2.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