Oscar.jl/Artifacts.toml at master · joschmitt/Oscar.jl · GitHub

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 = "2cffc5eb4bdbf504693928432889ede5c854394b"
lazy = true

    [[FTM-1511-03209.download]]
    sha256 = "bd5cf88de3cba9c51658791ba68f0d405b48c9207e99f21e6f0a6604f23778de"
    url = "https://zenodo.org/records/20157050/files/1511-03209.tar.gz"

[QSMDB]
git-tree-sha1 = "796900a5e5237f02b2593ff3b2317f63dec2a20f"
lazy = true

     [[QSMDB.download]]
     sha256 = "f64fc541a0168b5e50be3dd6cf2e6c54fb07a5fbdd5abc5894c97e92fef4b704"
     url = "https://github.com/oscar-system/Oscar.jl/releases/download/archive-tag-1/QSMDB-8.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