alt-ergo/nix/sources.json at 64be9a2c2968018c1d7f06bf01e11ffec0686c64 · OCamlPro/alt-ergo · 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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
{
    "dolmen": {
        "branch": "master",
        "description": "Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction",
        "homepage": "",
        "owner": "Gbury",
        "repo": "dolmen",
        "rev": "6c96de76c291c8159d5f954bfd19924e1e7d4530",
        "sha256": "0krq5gcifxw5zljn9ljq78g673224vmln77fsavm50yns12g0s30",
        "type": "tarball",
        "url": "https://github.com/Gbury/dolmen/archive/6c96de76c291c8159d5f954bfd19924e1e7d4530.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz",
        "version": "0.10"
    },
    "landmarks": {
        "branch": "b0c753cd2a4c4aa00dffdd3be187d8ed592fabf7",
        "description": "A Simple Profiling Library for OCaml",
        "homepage": "https://github.com/LexiFi/landmarks",
        "owner": "LexiFi",
        "repo": "landmarks",
        "rev": "b0c753cd2a4c4aa00dffdd3be187d8ed592fabf7",
        "sha256": "02lr5grxcczikkdvz75vhrpgpfnq7z9svzgxxvimll0ijplgp6js",
        "type": "tarball",
        "url": "https://github.com/LexiFi/landmarks/archive/b0c753cd2a4c4aa00dffdd3be187d8ed592fabf7.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz",
        "version": "dev"
    },
    "nixpkgs": {
        "branch": "nixos-25.11",
        "description": "Nix Packages collection",
        "homepage": null,
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "fa56d7d6de78f5a7f997b0ea2bc6efd5868ad9e8",
        "sha256": "0d8xd2rk1phikz7icawxkbdsg8yc5c71hs5aln0kg9hj73f50kaz",
        "type": "tarball",
        "url": "https://github.com/NixOS/nixpkgs/archive/fa56d7d6de78f5a7f997b0ea2bc6efd5868ad9e8.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz",
        "version": "25.11"
    },
    "ocplib-simplex": {
        "branch": "v0.5.1",
        "description": "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities",
        "homepage": "",
        "owner": "OCamlPro",
        "repo": "ocplib-simplex",
        "rev": "12e7c1fd994d4c40cf7159008a67579f470df616",
        "sha256": "0jkyqvcia4950cr1ip4n4xnjgaqlliljw48b40n95j75wjvy3d3w",
        "type": "tarball",
        "url": "https://github.com/OCamlPro/ocplib-simplex/archive/12e7c1fd994d4c40cf7159008a67579f470df616.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz",
        "version": "0.5.1"
    },
    "pp_loc": {
        "branch": "v2.1.0",
        "description": "Pretty-printing for error source locations",
        "homepage": "https://armael.github.io/pp_loc/pp_loc/",
        "owner": "Armael",
        "repo": "pp_loc",
        "rev": "d8162fd289849ea2f4125054ab88540416bdaa25",
        "sha256": "1wf5pqfxbfbjlwg24n3w99xm29qn1xjjjqn2z01vr5wgxcj9nfvd",
        "type": "tarball",
        "url": "https://github.com/Armael/pp_loc/archive/d8162fd289849ea2f4125054ab88540416bdaa25.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz",
        "version": "2.1.0"
    },
    "zarith_stubs_js": {
        "branch": "v0.17.0",
        "sha256": "07anr6r4chbpgd7c5ixfqgqr99kb202bd7q350hdqynrn7v6rn20",
        "type": "tarball",
        "url": "https://github.com/janestreet/zarith_stubs_js/archive/refs/tags/v0.17.0.tar.gz",
        "url_template": "https://github.com/janestreet/zarith_stubs_js/archive/refs/tags/v0.17.0.tar.gz",
        "version": "0.17.0"
    }
}