-
Notifications
You must be signed in to change notification settings - Fork 128
/
Artifacts.toml
24 lines (21 loc) · 1.06 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 = "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