this repo has no description
Merge branch 'master' into release-camlp5-buildscripts-0.06
+2857
-151
+40
packages/CamelCase/CamelCase.0.3.0/opam
+40
packages/CamelCase/CamelCase.0.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A simple OCaml test framework"
3
+
description: "A simple OCaml test framework"
4
+
maintainer: ["Christopher Kaster <me@atomicptr.de>"]
5
+
authors: ["Christopher Kaster <me@atomicptr.de>"]
6
+
license: "MIT"
7
+
tags: ["tests" "test" "unit" "unit tests"]
8
+
homepage: "https://github.com/atomicptr/CamelCase"
9
+
doc: "https://github.com/atomicptr/CamelCase"
10
+
bug-reports: "https://github.com/atomicptr/CamelCase/issues"
11
+
depends: [
12
+
"dune" {>= "3.17"}
13
+
"ocaml" {>= "5.0"}
14
+
"ocamlformat"
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/atomicptr/CamelCase.git"
32
+
url {
33
+
src:
34
+
"https://github.com/atomicptr/CamelCase/archive/refs/tags/v0.3.0.tar.gz"
35
+
checksum: [
36
+
"sha256=114b054ba1584ebf40de27b9ca71a2942399647df3b92181ee5471830b5e4c47"
37
+
"sha512=b4d0f02bf4d7a49a764b2c497559bf7d5a07a63c8bba9ee810d6b1fdd486057a9c7d4d76485b6866440000746dc6d4a749cd25540898a3cc69cfe57d30820d9d"
38
+
]
39
+
}
40
+
x-commit-hash: "6372e003f383129df89b77429951928fea30d210"
+61
packages/GT/GT.0.5.4/opam
+61
packages/GT/GT.0.5.4/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Generic programming with extensible transformations"
3
+
description: """
4
+
Yet another library for generic programming. Provides syntax extensions
5
+
both for camlp5 and PPX which allow decoration of type declarations with
6
+
following compile-time code generation. Provides the way for creating
7
+
plugins (compiled separately from the library) for enchancing supported
8
+
type transformations.
9
+
10
+
Strongly reminds the `visitors` library from François Pottier.
11
+
During desing of a library of these kind there many possible
12
+
design decision and in many cases we decided to implement
13
+
the decision opposite to the one used in `visitors`.
14
+
15
+
16
+
P.S. Since 2023 development team is no longer associated with JetBrains Research"""
17
+
maintainer: ["Kakadu@pm.me"]
18
+
authors: ["https://github.com/dboulytchev" "https://github.com/Kakadu"]
19
+
license: "LGPL-2.1-or-later"
20
+
homepage: "https://github.com/PLTools/GT"
21
+
bug-reports: "https://github.com/PLTools/GT/issues"
22
+
depends: [
23
+
"ocaml" {>= "4.14" & < "5.0.0" | >= "5.3.0" & < "5.4.0"}
24
+
"dune" {>= "3.16"}
25
+
"dune-configurator"
26
+
"ppxlib" {<= "0.34.0"}
27
+
"camlp5" {>= "8.00.05"}
28
+
"ocamlgraph"
29
+
"ppx_inline_test_nobase"
30
+
"ocamlfind" {build}
31
+
"logger-p5" {build}
32
+
"bisect_ppx" {build}
33
+
"conf-m4" {build}
34
+
"odoc" {with-doc}
35
+
"odig" {with-doc}
36
+
"pa_ppx" {with-doc}
37
+
"mdx" {with-test}
38
+
]
39
+
build: [
40
+
["dune" "subst"] {dev}
41
+
[
42
+
"dune"
43
+
"build"
44
+
"-p"
45
+
name
46
+
"-j"
47
+
jobs
48
+
"@install"
49
+
"@runtest" {with-test}
50
+
"@doc" {with-doc}
51
+
]
52
+
]
53
+
dev-repo: "git+https://github.com/PLTools/GT.git"
54
+
url {
55
+
src: "https://github.com/PLTools/GT/archive/refs/tags/v0.5.4.tar.gz"
56
+
checksum: [
57
+
"sha256=d379da5902e2f4017122daf4861dd4f822a862025e9a6d215454ced572da13db"
58
+
"sha512=fe5cb5306cf220f293c0f81b57a8de90f932d3145538e0a032f4b90b8b465ba5d9414692c194b6213014ee2cd06ce061df4541533550d89c7f63b071015104ba"
59
+
]
60
+
}
61
+
x-commit-hash: "f42c7feceb9607bac11314aa0822a29c788fd591"
+44
packages/MlFront_Cache/MlFront_Cache.2.3.0/opam
+44
packages/MlFront_Cache/MlFront_Cache.2.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Caching for MlFront"
3
+
maintainer: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
4
+
authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://diskuv.com/mlfront/overview-1/"
7
+
bug-reports: "https://gitlab.com/dkml/build-tools/MlFront/-/issues"
8
+
depends: [
9
+
"dune" {>= "3.12"}
10
+
"ocaml" {>= "4.14"}
11
+
"bos" {>= "0.2.1"}
12
+
"fmt" {>= "0.9.0"}
13
+
"fpath" {>= "0.7.3"}
14
+
"mirage-crypto-rng" {>= "2.0.0"}
15
+
"sqlite3" {>= "5.2.0"}
16
+
"uuidm" {>= "0.9.8"}
17
+
"MlFront_Core" {= version}
18
+
"MlFront_Errors" {= version}
19
+
"tezt" {with-test & >= "4.1.0"}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
dev-repo: "git+https://gitlab.com/dkml/build-tools/MlFront.git"
37
+
url {
38
+
src:
39
+
"https://gitlab.com/api/v4/projects/60486861/packages/generic/src/2.3.0-5/MlFront.tar.gz"
40
+
checksum: [
41
+
"md5=ab44f53bf2de58dd79e705341b14efe7"
42
+
"sha512=1f38ce5fbc5a4d4656c0c1ce89356e155387b2421adff8f99e0596f5d7746bcb0a2a4b2c3efada51ab9cebd61210e475c135c78d0f15c4384f73bb81b190b3f0"
43
+
]
44
+
}
+55
packages/MlFront_Cli/MlFront_Cli.2.3.0/opam
+55
packages/MlFront_Cli/MlFront_Cli.2.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Command line interfaces for MlFront"
3
+
maintainer: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
4
+
authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://diskuv.com/mlfront/overview-1/"
7
+
bug-reports: "https://gitlab.com/dkml/build-tools/MlFront/-/issues"
8
+
depends: [
9
+
"dune" {>= "3.12"}
10
+
"ocaml" {>= "4.14.0"}
11
+
"bos" {>= "0.2.1"}
12
+
"cmdliner" {>= "1.2.0"}
13
+
"crunch" {>= "3.3.1"}
14
+
"fmt" {>= "0.9.0"}
15
+
"fpath" {>= "0.7.3"}
16
+
"logs" {>= "0.7.0"}
17
+
"ppx_deriving" {>= "5.2.1"}
18
+
"stringext" {>= "1.6.0"}
19
+
"diskuvbox" {with-test & >= "0.2.0"}
20
+
"ezjsonm" {>= "1.3.0"}
21
+
"menhir" {>= "20180523"}
22
+
"containers-data" {with-test & >= "3.13.1"}
23
+
"digestif" {>= "1.1.4"}
24
+
"crowbar" {with-test & >= "0.2.1"}
25
+
"re" {with-test & >= "1.11.0"}
26
+
"stringext" {with-test & >= "1.6.0"}
27
+
"tezt" {with-test & >= "4.1.0"}
28
+
"ppxlib" {with-test & >= "0.30.0"}
29
+
"odoc" {with-doc}
30
+
]
31
+
build: [
32
+
[
33
+
"sh"
34
+
"ci/build-cli.sh"
35
+
"-t" {with-test}
36
+
"-d" {with-doc}
37
+
"-a"
38
+
"windows_unknown" {os = "win32"}
39
+
"unix_unknown" {!(os = "win32")}
40
+
]
41
+
["install" "MlFront_Cli.install.win32" "MlFront_Cli.install"]
42
+
{os = "win32"}
43
+
["install" "MlFront_Cli.install.unix" "MlFront_Cli.install"]
44
+
{!(os = "win32")}
45
+
]
46
+
build-env: DISABLE_PPXLIB_TESTS = "1"
47
+
dev-repo: "git+https://gitlab.com/dkml/build-tools/MlFront.git"
48
+
url {
49
+
src:
50
+
"https://gitlab.com/api/v4/projects/60486861/packages/generic/src/2.3.0-5/MlFront.tar.gz"
51
+
checksum: [
52
+
"md5=ab44f53bf2de58dd79e705341b14efe7"
53
+
"sha512=1f38ce5fbc5a4d4656c0c1ce89356e155387b2421adff8f99e0596f5d7746bcb0a2a4b2c3efada51ab9cebd61210e475c135c78d0f15c4384f73bb81b190b3f0"
54
+
]
55
+
}
+39
packages/MlFront_Core/MlFront_Core.2.3.0/opam
+39
packages/MlFront_Core/MlFront_Core.2.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Module and library identification for MlFront"
3
+
maintainer: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
4
+
authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://diskuv.com/mlfront/overview-1/"
7
+
bug-reports: "https://gitlab.com/dkml/build-tools/MlFront/-/issues"
8
+
depends: [
9
+
"dune" {>= "3.12"}
10
+
"ocaml" {>= "4.14"}
11
+
"digestif" {>= "1.1.4"}
12
+
"stringext" {>= "1.6.0"}
13
+
"crowbar" {with-test & >= "0.2.1"}
14
+
"tezt" {with-test & >= "4.1.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://gitlab.com/dkml/build-tools/MlFront.git"
32
+
url {
33
+
src:
34
+
"https://gitlab.com/api/v4/projects/60486861/packages/generic/src/2.3.0-5/MlFront.tar.gz"
35
+
checksum: [
36
+
"md5=ab44f53bf2de58dd79e705341b14efe7"
37
+
"sha512=1f38ce5fbc5a4d4656c0c1ce89356e155387b2421adff8f99e0596f5d7746bcb0a2a4b2c3efada51ab9cebd61210e475c135c78d0f15c4384f73bb81b190b3f0"
38
+
]
39
+
}
+39
packages/MlFront_Errors/MlFront_Errors.2.3.0/opam
+39
packages/MlFront_Errors/MlFront_Errors.2.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Error handling for MlFront"
3
+
maintainer: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
4
+
authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://diskuv.com/mlfront/overview-1/"
7
+
bug-reports: "https://gitlab.com/dkml/build-tools/MlFront/-/issues"
8
+
depends: [
9
+
"dune" {>= "3.12"}
10
+
"ocaml" {>= "4.14"}
11
+
"fmt" {>= "0.9.0"}
12
+
"logs" {>= "0.7.0"}
13
+
"stringext" {>= "1.6.0"}
14
+
"tezt" {with-test & >= "4.1.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://gitlab.com/dkml/build-tools/MlFront.git"
32
+
url {
33
+
src:
34
+
"https://gitlab.com/api/v4/projects/60486861/packages/generic/src/2.3.0-5/MlFront.tar.gz"
35
+
checksum: [
36
+
"md5=ab44f53bf2de58dd79e705341b14efe7"
37
+
"sha512=1f38ce5fbc5a4d4656c0c1ce89356e155387b2421adff8f99e0596f5d7746bcb0a2a4b2c3efada51ab9cebd61210e475c135c78d0f15c4384f73bb81b190b3f0"
38
+
]
39
+
}
+37
packages/MlFront_Manip/MlFront_Manip.2.3.0/opam
+37
packages/MlFront_Manip/MlFront_Manip.2.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Binary manipulation tools for MlFront"
3
+
maintainer: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
4
+
authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://diskuv.com/mlfront/overview-1/"
7
+
bug-reports: "https://gitlab.com/dkml/build-tools/MlFront/-/issues"
8
+
depends: [
9
+
"dune" {>= "3.12"}
10
+
"ocaml" {>= "4.14"}
11
+
"tezt" {with-test & >= "4.1.0"}
12
+
"ppxlib" {with-test & >= "0.30.0"}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://gitlab.com/dkml/build-tools/MlFront.git"
30
+
url {
31
+
src:
32
+
"https://gitlab.com/api/v4/projects/60486861/packages/generic/src/2.3.0-5/MlFront.tar.gz"
33
+
checksum: [
34
+
"md5=ab44f53bf2de58dd79e705341b14efe7"
35
+
"sha512=1f38ce5fbc5a4d4656c0c1ce89356e155387b2421adff8f99e0596f5d7746bcb0a2a4b2c3efada51ab9cebd61210e475c135c78d0f15c4384f73bb81b190b3f0"
36
+
]
37
+
}
+37
packages/MlFront_ZipFile/MlFront_ZipFile.2.3.0/opam
+37
packages/MlFront_ZipFile/MlFront_ZipFile.2.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Zip files for MlFront"
3
+
maintainer: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
4
+
authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://diskuv.com/mlfront/overview-1/"
7
+
bug-reports: "https://gitlab.com/dkml/build-tools/MlFront/-/issues"
8
+
depends: [
9
+
"dune" {>= "3.12"}
10
+
"ocaml" {>= "4.14"}
11
+
"re" {>= "1.11.0"}
12
+
"tezt" {with-test & >= "4.1.0"}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://gitlab.com/dkml/build-tools/MlFront.git"
30
+
url {
31
+
src:
32
+
"https://gitlab.com/api/v4/projects/60486861/packages/generic/src/2.3.0-5/MlFront.tar.gz"
33
+
checksum: [
34
+
"md5=ab44f53bf2de58dd79e705341b14efe7"
35
+
"sha512=1f38ce5fbc5a4d4656c0c1ce89356e155387b2421adff8f99e0596f5d7746bcb0a2a4b2c3efada51ab9cebd61210e475c135c78d0f15c4384f73bb81b190b3f0"
36
+
]
37
+
}
+1
-2
packages/aws-config/aws-config.0.0.1/opam
+1
-2
packages/aws-config/aws-config.0.0.1/opam
···
13
13
"yojson" {>= "1.6.0"}
14
14
"logs"
15
15
]
16
-
build: ["dune" "build" "-j" jobs "-p" "aws-config"]
17
-
install: ["dune" "build" "--release" "@install"]
16
+
build: ["dune" "build" "-j" jobs "-p" name "@install"]
18
17
url {
19
18
src: "https://github.com/Nymphium/aws-config/archive/0.0.1.tar.gz"
20
19
checksum: [
+1
-1
packages/base/base.v0.17.0/opam
+1
-1
packages/base/base.v0.17.0/opam
+1
-1
packages/base/base.v0.17.1/opam
+1
-1
packages/base/base.v0.17.1/opam
+1
-1
packages/base_bigstring/base_bigstring.v0.17.0/opam
+1
-1
packages/base_bigstring/base_bigstring.v0.17.0/opam
···
16
16
"ppx_jane" {>= "v0.17" & < "v0.18"}
17
17
"dune" {>= "3.11.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "String type based on [Bigarray], for use in I/O and C-bindings"
21
21
description: "
22
22
String type based on [Bigarray], for use in I/O and C-bindings.
+1
-1
packages/base_quickcheck/base_quickcheck.v0.17.0/opam
+1
-1
packages/base_quickcheck/base_quickcheck.v0.17.0/opam
···
22
22
"dune" {>= "3.11.0"}
23
23
"ppxlib" {>= "0.28.0" & < "0.36.0"}
24
24
]
25
-
available: arch != "arm32" & arch != "x86_32"
25
+
available: arch != "x86_32"
26
26
synopsis: "Randomized testing framework, designed for compatibility with Base"
27
27
description: "
28
28
Base_quickcheck provides randomized testing in the style of Haskell's Quickcheck library,
+1
-1
packages/bin_prot/bin_prot.v0.17.0/opam
+1
-1
packages/bin_prot/bin_prot.v0.17.0/opam
+41
packages/boltzgen/boltzgen.0.9.5/opam
+41
packages/boltzgen/boltzgen.0.9.5/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Generate random tests using boltzmann sampling"
3
+
description: """
4
+
BoltzGen is a tool to generate Ocaml values. Given a type it generates a random value of this type using Boltzmann sampling
5
+
BoltzGen can also generate tests, given a function, a set of call of this function on generated random input is generated."""
6
+
maintainer: ["barbot@lacl.fr"]
7
+
authors: ["Benoît Barbot"]
8
+
license: "GPL-3.0-or-later"
9
+
homepage: "https://git.lacl.fr/barbot/boltzgen"
10
+
bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
11
+
depends: [
12
+
"ocaml" {>= "5.0.0"}
13
+
"dune" {>= "3.15" & >= "3.15"}
14
+
"ocaml-compiler-libs"
15
+
"cmdliner" {>= "1.1.0"}
16
+
"base-unix"
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
34
+
url {
35
+
src:
36
+
"https://git.lacl.fr/barbot/boltzgen/-/archive/release-0.9.5/boltzgen-release-0.9.5.tar.gz"
37
+
checksum: [
38
+
"md5=4a1533435c557fb19665bb0cffa8cfa6"
39
+
"sha512=8ec7d426663125b4a5ceca895252ebf7afc3c44034730e25ee994a152a049a221a8c3a6472777ec91980c7ceea70abbaf1fd20ff0ac61ca5855b0d600df64b22"
40
+
]
41
+
}
+1
-1
packages/capitalization/capitalization.v0.17.0/opam
+1
-1
packages/capitalization/capitalization.v0.17.0/opam
+1
-1
packages/coq-core/coq-core.8.17.0/opam
+1
-1
packages/coq-core/coq-core.8.17.0/opam
···
61
61
depopts: ["coq-native"]
62
62
63
63
url {
64
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
64
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
65
65
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
66
66
}
+1
-1
packages/coq-core/coq-core.8.17.1/opam
+1
-1
packages/coq-core/coq-core.8.17.1/opam
···
60
60
depopts: ["coq-native"]
61
61
62
62
url {
63
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
63
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
64
64
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
65
65
}
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.0/opam
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.0/opam
···
48
48
depopts: ["coq-native"]
49
49
50
50
url {
51
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
51
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
52
52
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
53
53
}
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.1/opam
+1
-1
packages/coq-stdlib/coq-stdlib.8.17.1/opam
···
48
48
depopts: ["coq-native"]
49
49
50
50
url {
51
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
51
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
52
52
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
53
53
}
+1
-1
packages/coq/coq.8.10.0/opam
+1
-1
packages/coq/coq.8.10.0/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.10.0.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0.tar.gz"
44
44
checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"
45
45
}
46
46
extra-source "fix-parallel-make.patch" {
+1
-1
packages/coq/coq.8.10.1/opam
+1
-1
packages/coq/coq.8.10.1/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.10.1.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1.tar.gz"
51
51
checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.10.2/opam
+1
-1
packages/coq/coq.8.10.2/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.10.2.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2.tar.gz"
51
51
checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.11.0/opam
+1
-1
packages/coq/coq.8.11.0/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.11.0.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0.tar.gz"
51
51
checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.11.1/opam
+1
-1
packages/coq/coq.8.11.1/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.11.1.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1.tar.gz"
51
51
checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.11.2/opam
+1
-1
packages/coq/coq.8.11.2/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.11.2.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2.tar.gz"
51
51
checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.12.0/opam
+1
-1
packages/coq/coq.8.12.0/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.12.0.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0.tar.gz"
51
51
checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.12.1/opam
+1
-1
packages/coq/coq.8.12.1/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.12.1.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1.tar.gz"
51
51
checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.12.2/opam
+1
-1
packages/coq/coq.8.12.2/opam
···
47
47
]
48
48
49
49
url {
50
-
src: "https://github.com/coq/coq/archive/V8.12.2.tar.gz"
50
+
src: "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2.tar.gz"
51
51
checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"
52
52
}
53
53
extra-source "coq.install" {
+1
-1
packages/coq/coq.8.13.0/opam
+1
-1
packages/coq/coq.8.13.0/opam
···
54
54
patches: [ "disable_warn_70.patch" ]
55
55
56
56
url {
57
-
src: "https://github.com/coq/coq/archive/V8.13.0.tar.gz"
57
+
src: "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0.tar.gz"
58
58
checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"
59
59
}
60
60
extra-source "disable_warn_70.patch" {
+1
-1
packages/coq/coq.8.13.1/opam
+1
-1
packages/coq/coq.8.13.1/opam
···
54
54
patches: [ "disable_warn_70.patch" ]
55
55
56
56
url {
57
-
src: "https://github.com/coq/coq/archive/V8.13.1.tar.gz"
57
+
src: "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1.tar.gz"
58
58
checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"
59
59
}
60
60
extra-source "disable_warn_70.patch" {
+1
-1
packages/coq/coq.8.13.2/opam
+1
-1
packages/coq/coq.8.13.2/opam
···
54
54
patches: [ "disable_warn_70.patch" ]
55
55
56
56
url {
57
-
src: "https://github.com/coq/coq/archive/V8.13.2.tar.gz"
57
+
src: "https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2.tar.gz"
58
58
checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"
59
59
}
60
60
extra-source "disable_warn_70.patch" {
+1
-1
packages/coq/coq.8.14.0/opam
+1
-1
packages/coq/coq.8.14.0/opam
···
52
52
patches: [ "dune-install-set-root.patch" "ld_stricter.patch" "disable_warn_70.patch" ]
53
53
54
54
url {
55
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.14.0.tar.gz"
55
+
src: "https://github.com/coq/coq/releases/download/V8.14.0/coq-8.14.0.tar.gz"
56
56
checksum: "sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"
57
57
}
58
58
extra-source "ld_stricter.patch" {
+1
-1
packages/coq/coq.8.14.1/opam
+1
-1
packages/coq/coq.8.14.1/opam
···
52
52
patches: [ "ld_stricter.patch" ]
53
53
54
54
url {
55
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.14.1.tar.gz"
55
+
src: "https://github.com/coq/coq/releases/download/V8.14.1/coq-8.14.1.tar.gz"
56
56
checksum: "sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3"
57
57
}
58
58
extra-source "ld_stricter.patch" {
+1
-1
packages/coq/coq.8.15.0/opam
+1
-1
packages/coq/coq.8.15.0/opam
+1
-1
packages/coq/coq.8.15.1/opam
+1
-1
packages/coq/coq.8.15.1/opam
+1
-1
packages/coq/coq.8.15.2/opam
+1
-1
packages/coq/coq.8.15.2/opam
+1
-1
packages/coq/coq.8.16.0/opam
+1
-1
packages/coq/coq.8.16.0/opam
+1
-1
packages/coq/coq.8.16.1/opam
+1
-1
packages/coq/coq.8.16.1/opam
+1
-1
packages/coq/coq.8.17.0/opam
+1
-1
packages/coq/coq.8.17.0/opam
···
40
40
dev-repo: "git+https://github.com/coq/coq.git"
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
44
44
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
45
45
}
+1
-1
packages/coq/coq.8.17.1/opam
+1
-1
packages/coq/coq.8.17.1/opam
···
40
40
dev-repo: "git+https://github.com/coq/coq.git"
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
44
44
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
45
45
}
+1
-1
packages/coq/coq.8.7.0/opam
+1
-1
packages/coq/coq.8.7.0/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.7.0.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.7.0/coq-8.7.0.tar.gz"
67
67
checksum: [
68
68
"sha256=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297"
69
69
"md5=4d79181b17c63fe5287aeaf6263077e7"
+1
-1
packages/coq/coq.8.7.1+1/opam
+1
-1
packages/coq/coq.8.7.1+1/opam
···
65
65
synopsis: "Formal proof management system"
66
66
flags: light-uninstall
67
67
url {
68
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
68
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
69
69
checksum: [
70
70
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
71
71
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coq/coq.8.7.1+2/opam
+1
-1
packages/coq/coq.8.7.1+2/opam
···
67
67
synopsis: "Formal proof management system"
68
68
flags: light-uninstall
69
69
url {
70
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
70
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
71
71
checksum: [
72
72
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
73
73
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coq/coq.8.7.1/opam
+1
-1
packages/coq/coq.8.7.1/opam
···
62
62
synopsis: "Formal proof management system"
63
63
flags: light-uninstall
64
64
url {
65
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
65
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
66
66
checksum: [
67
67
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
68
68
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coq/coq.8.7.2/opam
+1
-1
packages/coq/coq.8.7.2/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.7.2.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"
67
67
checksum: [
68
68
"sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"
69
69
"md5=470c8f2bd74a085e1f71d5e4770e64e7"
+1
-1
packages/coq/coq.8.8.0/opam
+1
-1
packages/coq/coq.8.8.0/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.8.0.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0.tar.gz"
67
67
checksum: [
68
68
"sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"
69
69
"md5=9c97bb78eb051178d8b3731ae042c73f"
+1
-1
packages/coq/coq.8.8.1/opam
+1
-1
packages/coq/coq.8.8.1/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.8.1.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1.tar.gz"
67
67
checksum: [
68
68
"sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"
69
69
"md5=2dc320d35d4b1ffce5db1dc92c3aeb24"
+1
-1
packages/coq/coq.8.8.2/opam
+1
-1
packages/coq/coq.8.8.2/opam
···
63
63
synopsis: "Formal proof management system"
64
64
flags: light-uninstall
65
65
url {
66
-
src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz"
66
+
src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"
67
67
checksum: [
68
68
"sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"
69
69
"md5=5d693cd1953a0dd74920b43d183bc26c"
+1
-1
packages/coq/coq.8.9.0/opam
+1
-1
packages/coq/coq.8.9.0/opam
···
58
58
synopsis: "Formal proof management system"
59
59
flags: light-uninstall
60
60
url {
61
-
src: "https://github.com/coq/coq/archive/V8.9.0.tar.gz"
61
+
src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"
62
62
checksum: [
63
63
"sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"
64
64
"md5=490c89609c1271fe7f20e6ea1bd107b5"
+1
-1
packages/coq/coq.8.9.1/opam
+1
-1
packages/coq/coq.8.9.1/opam
···
40
40
patches: ["ocaml408_compat.patch"]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.9.1.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"
44
44
checksum: [
45
45
"sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"
46
46
"md5=b0e47c588ca498073ad35eb5627a8852"
+1
-1
packages/coqide-server/coqide-server.8.17.0/opam
+1
-1
packages/coqide-server/coqide-server.8.17.0/opam
···
35
35
dev-repo: "git+https://github.com/coq/coq.git"
36
36
37
37
url {
38
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
38
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
39
39
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
40
40
}
+1
-1
packages/coqide-server/coqide-server.8.17.1/opam
+1
-1
packages/coqide-server/coqide-server.8.17.1/opam
···
35
35
dev-repo: "git+https://github.com/coq/coq.git"
36
36
37
37
url {
38
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
38
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
39
39
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
40
40
}
+1
-1
packages/coqide/coqide.8.10.0/opam
+1
-1
packages/coqide/coqide.8.10.0/opam
···
36
36
patches: ["fix-parallel-make.patch"]
37
37
38
38
url {
39
-
src: "https://github.com/coq/coq/archive/V8.10.0.tar.gz"
39
+
src: "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0.tar.gz"
40
40
checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"
41
41
}
42
42
extra-source "fix-parallel-make.patch" {
+1
-1
packages/coqide/coqide.8.10.1/opam
+1
-1
packages/coqide/coqide.8.10.1/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.10.1.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1.tar.gz"
44
44
checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"
45
45
}
46
46
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.10.2/opam
+1
-1
packages/coqide/coqide.8.10.2/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.10.2.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2.tar.gz"
44
44
checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"
45
45
}
46
46
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.11.0/opam
+1
-1
packages/coqide/coqide.8.11.0/opam
···
40
40
]
41
41
42
42
url {
43
-
src: "https://github.com/coq/coq/archive/V8.11.0.tar.gz"
43
+
src: "https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0.tar.gz"
44
44
checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"
45
45
}
46
46
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.11.1/opam
+1
-1
packages/coqide/coqide.8.11.1/opam
···
41
41
]
42
42
43
43
url {
44
-
src: "https://github.com/coq/coq/archive/V8.11.1.tar.gz"
44
+
src: "https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1.tar.gz"
45
45
checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"
46
46
}
47
47
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.11.2/opam
+1
-1
packages/coqide/coqide.8.11.2/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.11.2.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2.tar.gz"
46
46
checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.12.0/opam
+1
-1
packages/coqide/coqide.8.12.0/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.12.0.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0.tar.gz"
46
46
checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.12.1/opam
+1
-1
packages/coqide/coqide.8.12.1/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.12.1.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1.tar.gz"
46
46
checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.12.2/opam
+1
-1
packages/coqide/coqide.8.12.2/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.12.2.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2.tar.gz"
46
46
checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.13.0/opam
+1
-1
packages/coqide/coqide.8.13.0/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.13.0.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0.tar.gz"
46
46
checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.13.1/opam
+1
-1
packages/coqide/coqide.8.13.1/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.13.1.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1.tar.gz"
46
46
checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.13.2/opam
+1
-1
packages/coqide/coqide.8.13.2/opam
···
42
42
]
43
43
44
44
url {
45
-
src: "https://github.com/coq/coq/archive/V8.13.2.tar.gz"
45
+
src: "https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2.tar.gz"
46
46
checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"
47
47
}
48
48
extra-source "coqide.install" {
+1
-1
packages/coqide/coqide.8.14.0/opam
+1
-1
packages/coqide/coqide.8.14.0/opam
+1
-1
packages/coqide/coqide.8.14.1/opam
+1
-1
packages/coqide/coqide.8.14.1/opam
+1
-1
packages/coqide/coqide.8.15.0/opam
+1
-1
packages/coqide/coqide.8.15.0/opam
+1
-1
packages/coqide/coqide.8.15.1/opam
+1
-1
packages/coqide/coqide.8.15.1/opam
+1
-1
packages/coqide/coqide.8.15.2/opam
+1
-1
packages/coqide/coqide.8.15.2/opam
+1
-1
packages/coqide/coqide.8.16.0/opam
+1
-1
packages/coqide/coqide.8.16.0/opam
+1
-1
packages/coqide/coqide.8.16.1/opam
+1
-1
packages/coqide/coqide.8.16.1/opam
+1
-1
packages/coqide/coqide.8.17.0/opam
+1
-1
packages/coqide/coqide.8.17.0/opam
···
39
39
dev-repo: "git+https://github.com/coq/coq.git"
40
40
41
41
url {
42
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
42
+
src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"
43
43
checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
44
44
}
+1
-1
packages/coqide/coqide.8.17.1/opam
+1
-1
packages/coqide/coqide.8.17.1/opam
···
39
39
dev-repo: "git+https://github.com/coq/coq.git"
40
40
41
41
url {
42
-
src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
42
+
src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"
43
43
checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
44
44
}
+1
-1
packages/coqide/coqide.8.7.1/opam
+1
-1
packages/coqide/coqide.8.7.1/opam
···
37
37
synopsis: "IDE of the Coq formal proof management system."
38
38
flags: light-uninstall
39
39
url {
40
-
src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"
40
+
src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
41
41
checksum: [
42
42
"sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
43
43
"md5=15347f45471e2d5277c60585297cd3e0"
+1
-1
packages/coqide/coqide.8.7.2/opam
+1
-1
packages/coqide/coqide.8.7.2/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.7.2.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"
42
42
checksum: [
43
43
"sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"
44
44
"md5=470c8f2bd74a085e1f71d5e4770e64e7"
+1
-1
packages/coqide/coqide.8.8.0/opam
+1
-1
packages/coqide/coqide.8.8.0/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.8.0.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0.tar.gz"
42
42
checksum: [
43
43
"sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"
44
44
"md5=9c97bb78eb051178d8b3731ae042c73f"
+1
-1
packages/coqide/coqide.8.8.1/opam
+1
-1
packages/coqide/coqide.8.8.1/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.8.1.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1.tar.gz"
42
42
checksum: [
43
43
"sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"
44
44
"md5=2dc320d35d4b1ffce5db1dc92c3aeb24"
+1
-1
packages/coqide/coqide.8.8.2/opam
+1
-1
packages/coqide/coqide.8.8.2/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system."
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"
42
42
checksum: [
43
43
"sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"
44
44
"md5=5d693cd1953a0dd74920b43d183bc26c"
+1
-1
packages/coqide/coqide.8.9.0/opam
+1
-1
packages/coqide/coqide.8.9.0/opam
···
38
38
synopsis: "IDE of the Coq formal proof management system"
39
39
flags: light-uninstall
40
40
url {
41
-
src: "https://github.com/coq/coq/archive/V8.9.0.tar.gz"
41
+
src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"
42
42
checksum: [
43
43
"sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"
44
44
"md5=490c89609c1271fe7f20e6ea1bd107b5"
+1
-1
packages/coqide/coqide.8.9.1/opam
+1
-1
packages/coqide/coqide.8.9.1/opam
···
37
37
]
38
38
39
39
url {
40
-
src: "https://github.com/coq/coq/archive/V8.9.1.tar.gz"
40
+
src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"
41
41
checksum: [
42
42
"sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"
43
43
"md5=b0e47c588ca498073ad35eb5627a8852"
+1
-1
packages/core/core.v0.16.1/opam
+1
-1
packages/core/core.v0.16.1/opam
···
34
34
"variantslib" {>= "v0.16" & < "v0.17"}
35
35
"dune" {>= "2.0.0"}
36
36
]
37
-
available: arch != "arm32" & arch != "x86_32"
37
+
available: arch != "x86_32"
38
38
synopsis: "Industrial strength alternative to OCaml's standard library"
39
39
description: "
40
40
The Core suite of libraries is an industrial strength alternative to
+1
-1
packages/core/core.v0.16.2/opam
+1
-1
packages/core/core.v0.16.2/opam
···
34
34
"variantslib" {>= "v0.16" & < "v0.17"}
35
35
"dune" {>= "2.0.0"}
36
36
]
37
-
available: arch != "arm32" & arch != "x86_32"
37
+
available: arch != "x86_32"
38
38
synopsis: "Industrial strength alternative to OCaml's standard library"
39
39
description: "
40
40
The Core suite of libraries is an industrial strength alternative to
+1
-1
packages/core/core.v0.17.0/opam
+1
-1
packages/core/core.v0.17.0/opam
···
35
35
"variantslib" {>= "v0.17" & < "v0.18"}
36
36
"dune" {>= "3.11.0"}
37
37
]
38
-
available: arch != "arm32" & arch != "x86_32"
38
+
available: arch != "x86_32"
39
39
synopsis: "Industrial strength alternative to OCaml's standard library"
40
40
description: "
41
41
The Core suite of libraries is an industrial strength alternative to
+1
-1
packages/core/core.v0.17.1/opam
+1
-1
packages/core/core.v0.17.1/opam
···
35
35
"variantslib" {>= "v0.17" & < "v0.18"}
36
36
"dune" {>= "3.11.0"}
37
37
]
38
-
available: arch != "arm32" & arch != "x86_32"
38
+
available: arch != "x86_32"
39
39
synopsis: "Industrial strength alternative to OCaml's standard library"
40
40
description: "
41
41
The Core suite of libraries is an industrial strength alternative to
+49
packages/diffast-api/diffast-api.0.2/opam
+49
packages/diffast-api/diffast-api.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Diff/AST API"
4
+
description:
5
+
"Diff/AST API. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"ocaml" {>= "4.14"}
20
+
"dune" {>= "3.17"}
21
+
"diffast-misc"
22
+
"diffast-core" {= version}
23
+
"vlt" {>= "0.2.4"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
43
+
url {
44
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
45
+
checksum: [
46
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
47
+
"md5=7404586197ede6a4f0a0d00a69069b37"
48
+
]
49
+
}
+56
packages/diffast-core/diffast-core.0.2/opam
+56
packages/diffast-core/diffast-core.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Core functions of Diff/AST"
4
+
description:
5
+
"Core functions of Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
tags: ["abstract syntax tree" "differencing"]
16
+
homepage: "https://github.com/codinuum/diffast"
17
+
doc: "https://github.com/codinuum/diffast/README.md"
18
+
bug-reports: "https://github.com/codinuum/diffast/issues"
19
+
depends: [
20
+
"ocaml" {>= "4.14"}
21
+
"dune" {>= "3.17"}
22
+
"dune-site"
23
+
"camlp-streams"
24
+
"uuidm"
25
+
"csv"
26
+
"base64"
27
+
"sedlex"
28
+
"menhir"
29
+
"diffast-misc"
30
+
"vlt" {>= "0.2.4"}
31
+
"odoc" {with-doc}
32
+
]
33
+
build: [
34
+
["dune" "subst"] {dev}
35
+
[
36
+
"dune"
37
+
"build"
38
+
"-p"
39
+
name
40
+
"-j"
41
+
jobs
42
+
"--promote-install-files=false"
43
+
"@install"
44
+
"@runtest" {with-test}
45
+
"@doc" {with-doc}
46
+
]
47
+
["dune" "install" "-p" name "--create-install-files" name]
48
+
]
49
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
50
+
url {
51
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
52
+
checksum: [
53
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
54
+
"md5=7404586197ede6a4f0a0d00a69069b37"
55
+
]
56
+
}
+50
packages/diffast-langs-common/diffast-langs-common.0.2/opam
+50
packages/diffast-langs-common/diffast-langs-common.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Common functions for parsers of Diff/AST"
4
+
description:
5
+
"Common functions for parsers of Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"ocaml" {>= "4.14"}
20
+
"dune" {>= "3.17"}
21
+
"sedlex" {>= "3.3"}
22
+
"menhirLib"
23
+
"diffast-misc"
24
+
"vlt" {>= "0.2.4"}
25
+
"odoc" {with-doc}
26
+
]
27
+
build: [
28
+
["dune" "subst"] {dev}
29
+
[
30
+
"dune"
31
+
"build"
32
+
"-p"
33
+
name
34
+
"-j"
35
+
jobs
36
+
"--promote-install-files=false"
37
+
"@install"
38
+
"@runtest" {with-test}
39
+
"@doc" {with-doc}
40
+
]
41
+
["dune" "install" "-p" name "--create-install-files" name]
42
+
]
43
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
44
+
url {
45
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
46
+
checksum: [
47
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
48
+
"md5=7404586197ede6a4f0a0d00a69069b37"
49
+
]
50
+
}
+53
packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.2/opam
+53
packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "C++/C parser for Diff/AST"
4
+
description:
5
+
"C++/C parser for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
available: arch != "x86_32" & arch != "arm32" & arch != "s390x"
19
+
conflicts: [ "ocaml-option-fp" ]
20
+
depends: [
21
+
"dune" {>= "3.17"}
22
+
"ocaml" {>= "4.14"}
23
+
"camlp-streams"
24
+
"sedlex"
25
+
"menhir"
26
+
"diffast-langs-common" {= version}
27
+
"vlt" {>= "0.2.4"}
28
+
"odoc" {with-doc}
29
+
]
30
+
build: [
31
+
["dune" "subst"] {dev}
32
+
[
33
+
"dune"
34
+
"build"
35
+
"-p"
36
+
name
37
+
"-j"
38
+
jobs
39
+
"--promote-install-files=false"
40
+
"@install"
41
+
"@runtest" {with-test}
42
+
"@doc" {with-doc}
43
+
]
44
+
["dune" "install" "-p" name "--create-install-files" name]
45
+
]
46
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
47
+
url {
48
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
49
+
checksum: [
50
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
51
+
"md5=7404586197ede6a4f0a0d00a69069b37"
52
+
]
53
+
}
+49
packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.2/opam
+49
packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "C/C++ parser spec for Diff/AST"
4
+
description:
5
+
"C/C++ parser specification for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"dune-site"
22
+
"diffast-core" {= version}
23
+
"vlt" {>= "0.2.4"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
43
+
url {
44
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
45
+
checksum: [
46
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
47
+
"md5=7404586197ede6a4f0a0d00a69069b37"
48
+
]
49
+
}
+55
packages/diffast-langs-cpp/diffast-langs-cpp.0.2/opam
+55
packages/diffast-langs-cpp/diffast-langs-cpp.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "C++/C parser plugin for Diff/AST"
4
+
description:
5
+
"C++/C parser plugin for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"conf-gmp"
20
+
"conf-pkg-config"
21
+
"conf-zlib"
22
+
"dune" {>= "3.17"}
23
+
"ocaml" {>= "4.14"}
24
+
"dune-site"
25
+
"diffast-misc"
26
+
"diffast-core" {= version}
27
+
"diffast-langs-cpp-parsing" {= version}
28
+
"diffast-langs-cpp-spec" {= version}
29
+
"vlt" {>= "0.2.4"}
30
+
"odoc" {with-doc}
31
+
]
32
+
build: [
33
+
["dune" "subst"] {dev}
34
+
[
35
+
"dune"
36
+
"build"
37
+
"-p"
38
+
name
39
+
"-j"
40
+
jobs
41
+
"--promote-install-files=false"
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
["dune" "install" "-p" name "--create-install-files" name]
47
+
]
48
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
49
+
url {
50
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
51
+
checksum: [
52
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
53
+
"md5=7404586197ede6a4f0a0d00a69069b37"
54
+
]
55
+
}
+51
packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.2/opam
+51
packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Fortran parser for Diff/AST"
4
+
description:
5
+
"Fortran parser for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"camlp-streams"
22
+
"sedlex"
23
+
"menhir"
24
+
"diffast-langs-common" {= version}
25
+
"vlt" {>= "0.2.4"}
26
+
"odoc" {with-doc}
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"--promote-install-files=false"
38
+
"@install"
39
+
"@runtest" {with-test}
40
+
"@doc" {with-doc}
41
+
]
42
+
["dune" "install" "-p" name "--create-install-files" name]
43
+
]
44
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
45
+
url {
46
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
47
+
checksum: [
48
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
49
+
"md5=7404586197ede6a4f0a0d00a69069b37"
50
+
]
51
+
}
+49
packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.2/opam
+49
packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Fortran parser spec for Diff/AST"
4
+
description:
5
+
"Fortran parser specification for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"dune-site"
22
+
"diffast-core" {= version}
23
+
"vlt" {>= "0.2.4"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
43
+
url {
44
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
45
+
checksum: [
46
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
47
+
"md5=7404586197ede6a4f0a0d00a69069b37"
48
+
]
49
+
}
+55
packages/diffast-langs-fortran/diffast-langs-fortran.0.2/opam
+55
packages/diffast-langs-fortran/diffast-langs-fortran.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Fortran parser plugin for Diff/AST"
4
+
description:
5
+
"Fortran parser plugin for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"conf-gmp"
20
+
"conf-pkg-config"
21
+
"conf-zlib"
22
+
"dune" {>= "3.17"}
23
+
"ocaml" {>= "4.14"}
24
+
"dune-site"
25
+
"diffast-misc"
26
+
"diffast-core" {= version}
27
+
"diffast-langs-fortran-parsing" {= version}
28
+
"diffast-langs-fortran-spec" {= version}
29
+
"vlt" {>= "0.2.4"}
30
+
"odoc" {with-doc}
31
+
]
32
+
build: [
33
+
["dune" "subst"] {dev}
34
+
[
35
+
"dune"
36
+
"build"
37
+
"-p"
38
+
name
39
+
"-j"
40
+
jobs
41
+
"--promote-install-files=false"
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
["dune" "install" "-p" name "--create-install-files" name]
47
+
]
48
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
49
+
url {
50
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
51
+
checksum: [
52
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
53
+
"md5=7404586197ede6a4f0a0d00a69069b37"
54
+
]
55
+
}
+51
packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.2/opam
+51
packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Java parser for Diff/AST"
4
+
description:
5
+
"Java parser for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"camlp-streams"
22
+
"sedlex"
23
+
"menhir"
24
+
"diffast-langs-common" {= version}
25
+
"vlt" {>= "0.2.4"}
26
+
"odoc" {with-doc}
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"--promote-install-files=false"
38
+
"@install"
39
+
"@runtest" {with-test}
40
+
"@doc" {with-doc}
41
+
]
42
+
["dune" "install" "-p" name "--create-install-files" name]
43
+
]
44
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
45
+
url {
46
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
47
+
checksum: [
48
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
49
+
"md5=7404586197ede6a4f0a0d00a69069b37"
50
+
]
51
+
}
+49
packages/diffast-langs-java-spec/diffast-langs-java-spec.0.2/opam
+49
packages/diffast-langs-java-spec/diffast-langs-java-spec.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Java parser spec for Diff/AST"
4
+
description:
5
+
"Java parser specification for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"dune-site"
22
+
"diffast-core" {= version}
23
+
"vlt" {>= "0.2.4"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
43
+
url {
44
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
45
+
checksum: [
46
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
47
+
"md5=7404586197ede6a4f0a0d00a69069b37"
48
+
]
49
+
}
+55
packages/diffast-langs-java/diffast-langs-java.0.2/opam
+55
packages/diffast-langs-java/diffast-langs-java.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Java parser plugin for Diff/AST"
4
+
description:
5
+
"Java parser plugin for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"conf-gmp"
20
+
"conf-pkg-config"
21
+
"conf-zlib"
22
+
"dune" {>= "3.17"}
23
+
"ocaml" {>= "4.14"}
24
+
"dune-site"
25
+
"diffast-misc"
26
+
"diffast-core" {= version}
27
+
"diffast-langs-java-parsing" {= version}
28
+
"diffast-langs-java-spec" {= version}
29
+
"vlt" {>= "0.2.4"}
30
+
"odoc" {with-doc}
31
+
]
32
+
build: [
33
+
["dune" "subst"] {dev}
34
+
[
35
+
"dune"
36
+
"build"
37
+
"-p"
38
+
name
39
+
"-j"
40
+
jobs
41
+
"--promote-install-files=false"
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
["dune" "install" "-p" name "--create-install-files" name]
47
+
]
48
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
49
+
url {
50
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
51
+
checksum: [
52
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
53
+
"md5=7404586197ede6a4f0a0d00a69069b37"
54
+
]
55
+
}
+51
packages/diffast-langs-python-parsing/diffast-langs-python-parsing.0.2/opam
+51
packages/diffast-langs-python-parsing/diffast-langs-python-parsing.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Python parser for Diff/AST"
4
+
description:
5
+
"Python parser for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"camlp-streams"
22
+
"sedlex"
23
+
"menhir"
24
+
"diffast-langs-common" {= version}
25
+
"vlt" {>= "0.2.4"}
26
+
"odoc" {with-doc}
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"--promote-install-files=false"
38
+
"@install"
39
+
"@runtest" {with-test}
40
+
"@doc" {with-doc}
41
+
]
42
+
["dune" "install" "-p" name "--create-install-files" name]
43
+
]
44
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
45
+
url {
46
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
47
+
checksum: [
48
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
49
+
"md5=7404586197ede6a4f0a0d00a69069b37"
50
+
]
51
+
}
+49
packages/diffast-langs-python-spec/diffast-langs-python-spec.0.2/opam
+49
packages/diffast-langs-python-spec/diffast-langs-python-spec.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Python parser spec for Diff/AST"
4
+
description:
5
+
"Python parser specification for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"dune-site"
22
+
"diffast-core" {= version}
23
+
"vlt" {>= "0.2.4"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
43
+
url {
44
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
45
+
checksum: [
46
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
47
+
"md5=7404586197ede6a4f0a0d00a69069b37"
48
+
]
49
+
}
+55
packages/diffast-langs-python/diffast-langs-python.0.2/opam
+55
packages/diffast-langs-python/diffast-langs-python.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Python parser plugin for Diff/AST"
4
+
description:
5
+
"Python parser plugin for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"conf-gmp"
20
+
"conf-pkg-config"
21
+
"conf-zlib"
22
+
"dune" {>= "3.17"}
23
+
"ocaml" {>= "4.14"}
24
+
"dune-site"
25
+
"diffast-misc"
26
+
"diffast-core" {= version}
27
+
"diffast-langs-python-parsing" {= version}
28
+
"diffast-langs-python-spec" {= version}
29
+
"vlt" {>= "0.2.4"}
30
+
"odoc" {with-doc}
31
+
]
32
+
build: [
33
+
["dune" "subst"] {dev}
34
+
[
35
+
"dune"
36
+
"build"
37
+
"-p"
38
+
name
39
+
"-j"
40
+
jobs
41
+
"--promote-install-files=false"
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
["dune" "install" "-p" name "--create-install-files" name]
47
+
]
48
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
49
+
url {
50
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
51
+
checksum: [
52
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
53
+
"md5=7404586197ede6a4f0a0d00a69069b37"
54
+
]
55
+
}
+51
packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.2/opam
+51
packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Verilog parser for Diff/AST"
4
+
description:
5
+
"Verilog parser for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"camlp-streams"
22
+
"sedlex"
23
+
"menhir"
24
+
"diffast-langs-common" {= version}
25
+
"vlt" {>= "0.2.4"}
26
+
"odoc" {with-doc}
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"--promote-install-files=false"
38
+
"@install"
39
+
"@runtest" {with-test}
40
+
"@doc" {with-doc}
41
+
]
42
+
["dune" "install" "-p" name "--create-install-files" name]
43
+
]
44
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
45
+
url {
46
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
47
+
checksum: [
48
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
49
+
"md5=7404586197ede6a4f0a0d00a69069b37"
50
+
]
51
+
}
+49
packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.2/opam
+49
packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Verilog parser spec for Diff/AST"
4
+
description:
5
+
"Verilog parser specification for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"dune-site"
22
+
"diffast-core" {= version}
23
+
"vlt" {>= "0.2.4"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
43
+
url {
44
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
45
+
checksum: [
46
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
47
+
"md5=7404586197ede6a4f0a0d00a69069b37"
48
+
]
49
+
}
+55
packages/diffast-langs-verilog/diffast-langs-verilog.0.2/opam
+55
packages/diffast-langs-verilog/diffast-langs-verilog.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Verilog parser plugin for Diff/AST"
4
+
description:
5
+
"Verilog parser plugin for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"conf-gmp"
20
+
"conf-pkg-config"
21
+
"conf-zlib"
22
+
"dune" {>= "3.17"}
23
+
"ocaml" {>= "4.14"}
24
+
"dune-site"
25
+
"diffast-misc"
26
+
"diffast-core" {= version}
27
+
"diffast-langs-verilog-parsing" {= version}
28
+
"diffast-langs-verilog-spec" {= version}
29
+
"vlt" {>= "0.2.4"}
30
+
"odoc" {with-doc}
31
+
]
32
+
build: [
33
+
["dune" "subst"] {dev}
34
+
[
35
+
"dune"
36
+
"build"
37
+
"-p"
38
+
name
39
+
"-j"
40
+
jobs
41
+
"--promote-install-files=false"
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
["dune" "install" "-p" name "--create-install-files" name]
47
+
]
48
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
49
+
url {
50
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
51
+
checksum: [
52
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
53
+
"md5=7404586197ede6a4f0a0d00a69069b37"
54
+
]
55
+
}
+1
packages/encoding/encoding.0.0.4/opam
+1
packages/encoding/encoding.0.0.4/opam
+47
packages/fasmifra/fasmifra.2.1.0/opam
+47
packages/fasmifra/fasmifra.2.1.0/opam
···
1
+
opam-version: "2.0"
2
+
authors: "Francois Berenger"
3
+
maintainer: "unixjunkie@sdf.org"
4
+
homepage: "https://github.com/UnixJunkie/FASMIFRA"
5
+
bug-reports: "https://github.com/UnixJunkie/FASMIFRA/issues"
6
+
dev-repo: "git+https://github.com/UnixJunkie/FASMIFRA.git"
7
+
license: "GPL-3.0-or-later"
8
+
build: ["dune" "build" "-p" name "-j" jobs]
9
+
install: [
10
+
["cp" "bin/fasmifra_fragment.py" "%{bin}%/fasmifra_fragment.py"]
11
+
["cp" "bin/fasmifra_rm_cut_bonds.sh" "%{bin}%/fasmifra_rm_cut_bonds.sh"]
12
+
["cp" "bin/fasmifra_frag_dict.py" "%{bin}%/fasmifra_frag_dict.py"]
13
+
["cp" "bin/fasmifra_GA.sh" "%{bin}%/fasmifra_GA.sh"]
14
+
]
15
+
depends: [
16
+
"base-unix"
17
+
"batteries" {>= "3.3.0"}
18
+
"dolog" {>= "6.0.0"}
19
+
"dune" {>= "1.11"}
20
+
"minicli" {>= "5.0.0"}
21
+
"ocaml" {>= "5.0.0"}
22
+
"line_oriented" {>= "1.2.0"}
23
+
"conf-rdkit" {>= "1"}
24
+
"conf-python-3" {>= "1.0.0"}
25
+
]
26
+
synopsis: "Molecular Generation by Fast Assembly of SMILES Fragments"
27
+
description: """
28
+
Generate molecules fast given a molecular training set.
29
+
30
+
Properties of the generated molecules might significantly match
31
+
those of the training set (training set distribution matching).
32
+
33
+
Bibliography:
34
+
=============
35
+
36
+
Berenger, F., & Tsuda, K. (2021).
37
+
Molecular generation by Fast Assembly of (Deep) SMILES fragments.
38
+
Journal of Cheminformatics, 13(1), 1-10.
39
+
https://doi.org/10.1186/s13321-021-00566-4
40
+
"""
41
+
url {
42
+
src:
43
+
"https://github.com/UnixJunkie/FASMIFRA/archive/refs/tags/v2.1.0.tar.gz"
44
+
checksum: [
45
+
"sha256=ea3c1a2566069096ede8ee4720dbea3261f797a1002c2557f3dd7ec30e6a45ce"
46
+
]
47
+
}
+1
-1
packages/fieldslib/fieldslib.v0.17.0/opam
+1
-1
packages/fieldslib/fieldslib.v0.17.0/opam
···
14
14
"base" {>= "v0.17" & < "v0.18"}
15
15
"dune" {>= "3.11.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values"
19
19
description: "
20
20
Part of Jane Street's Core library
+1
-1
packages/frama-c/frama-c.26.0/opam
+1
-1
packages/frama-c/frama-c.26.0/opam
+1
-1
packages/frama-c/frama-c.26.0~beta/opam
+1
-1
packages/frama-c/frama-c.26.0~beta/opam
+1
-1
packages/frama-c/frama-c.26.1/opam
+1
-1
packages/frama-c/frama-c.26.1/opam
···
87
87
88
88
build: [
89
89
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
90
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"]
90
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"]
91
91
[make "-C" "doc" "download"] {with-doc}
92
92
]
93
93
+1
-1
packages/frama-c/frama-c.27.0/opam
+1
-1
packages/frama-c/frama-c.27.0/opam
···
88
88
89
89
build: [
90
90
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
91
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
91
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
92
92
"@install"
93
93
"@doc" { with-doc }
94
94
]
+1
-1
packages/frama-c/frama-c.27.0~beta/opam
+1
-1
packages/frama-c/frama-c.27.0~beta/opam
···
90
90
91
91
build: [
92
92
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
93
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"]
93
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"]
94
94
[make "-C" "doc" "download"] {with-doc}
95
95
]
96
96
+1
-1
packages/frama-c/frama-c.27.1/opam
+1
-1
packages/frama-c/frama-c.27.1/opam
···
88
88
89
89
build: [
90
90
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
91
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
91
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
92
92
"@install"
93
93
"@doc" { with-doc }
94
94
]
+1
-1
packages/frama-c/frama-c.28.0/opam
+1
-1
packages/frama-c/frama-c.28.0/opam
···
91
91
build: [
92
92
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
93
93
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
94
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
94
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
95
95
"@install"
96
96
"@doc" { with-doc }
97
97
]
+1
-1
packages/frama-c/frama-c.28.0~beta/opam
+1
-1
packages/frama-c/frama-c.28.0~beta/opam
···
93
93
build: [
94
94
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
95
95
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
96
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
96
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
97
97
"@install"
98
98
"@doc" { with-doc }
99
99
]
+1
-1
packages/frama-c/frama-c.28.1/opam
+1
-1
packages/frama-c/frama-c.28.1/opam
···
91
91
build: [
92
92
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
93
93
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
94
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
94
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
95
95
"@install"
96
96
"@doc" { with-doc }
97
97
]
+1
-1
packages/frama-c/frama-c.29.0/opam
+1
-1
packages/frama-c/frama-c.29.0/opam
···
94
94
build: [
95
95
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
96
96
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
97
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
97
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
98
98
"@install"
99
99
"@doc" { with-doc }
100
100
]
+1
-1
packages/frama-c/frama-c.29.0~beta/opam
+1
-1
packages/frama-c/frama-c.29.0~beta/opam
···
96
96
build: [
97
97
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
98
98
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
99
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
99
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
100
100
"@install"
101
101
"@doc" { with-doc }
102
102
]
+1
-1
packages/frama-c/frama-c.30.0/opam
+1
-1
packages/frama-c/frama-c.30.0/opam
···
96
96
build: [
97
97
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
98
98
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
99
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
99
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
100
100
"@install"
101
101
"@doc" { with-doc }
102
102
]
+1
-1
packages/frama-c/frama-c.30.0~beta/opam
+1
-1
packages/frama-c/frama-c.30.0~beta/opam
···
98
98
build: [
99
99
["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }
100
100
["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }
101
-
["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"
101
+
["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"
102
102
"@install"
103
103
"@doc" { with-doc }
104
104
]
+1
packages/frama-clang/frama-clang.0.0.14/opam
+1
packages/frama-clang/frama-clang.0.0.14/opam
+52
packages/fstar/fstar.2025.03.25/opam
+52
packages/fstar/fstar.2025.03.25/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "taramana@microsoft.com"
3
+
authors: [
4
+
"Nik Swamy <nswamy@microsoft.com>"
5
+
"Jonathan Protzenko <protz@microsoft.com>"
6
+
"Tahina Ramananandro <taramana@microsoft.com>"
7
+
]
8
+
homepage: "http://fstar-lang.org"
9
+
license: "Apache-2.0"
10
+
depends: [
11
+
"ocaml" {>= "4.14.0"}
12
+
"batteries"
13
+
"zarith" {>= "1.14"}
14
+
"stdint"
15
+
"yojson"
16
+
"dune" { >= "3.8.0"}
17
+
"memtrace" {>= "0.2.3"}
18
+
"menhirLib"
19
+
"menhir" {build & >= "20230415"}
20
+
"mtime" {>= "2.1.0"}
21
+
"pprint"
22
+
"sedlex"
23
+
"ppxlib" {>= "0.27.0"}
24
+
"process"
25
+
"ppx_deriving" {build}
26
+
"ppx_deriving_yojson" {build}
27
+
]
28
+
depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
29
+
build: [
30
+
[make "-j" jobs "ADMIT=1"]
31
+
]
32
+
install: [
33
+
[make "PREFIX=%{prefix}%" "install"]
34
+
]
35
+
post-messages: [
36
+
"""
37
+
F* requires specific versions of Z3 to work correctly, and will refuse to run
38
+
if the version string does not match. You should have z3-4.8.5 and z3-4.13.3
39
+
in your $PATH. For details, see
40
+
https://github.com/FStarLang/FStar/blob/master/INSTALL.md#runtime-dependency-particular-version-of-z3.
41
+
""" {success}
42
+
]
43
+
dev-repo: "git+https://github.com/FStarLang/FStar"
44
+
bug-reports: "https://github.com/FStarLang/FStar/issues"
45
+
synopsis: "Verification system for effectful programs"
46
+
url {
47
+
src: "https://github.com/FStarLang/FStar/archive/refs/tags/v2025.03.25.tar.gz"
48
+
checksum: [
49
+
"md5=2d7f02d2931ddc9c74abdac9eb165ed0"
50
+
"sha512=0131974e624146bc05cbdf668b961ef46a3a2edef3f29638b28e38c74bbb4254f9e9039341198c8d8be40eb05dd440bd6ac799b7d1d39c483103395863b8e1ab"
51
+
]
52
+
}
+35
packages/fswatch/fswatch.11-0.1.5/opam
+35
packages/fswatch/fswatch.11-0.1.5/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "zandoye@gmail.com"
3
+
authors: [ "ZAN DoYe" ]
4
+
homepage: "https://github.com/kandu/ocaml-fswatch/"
5
+
bug-reports: "https://github.com/kandu/ocaml-fswatch/issues"
6
+
license: "MIT"
7
+
dev-repo: "git+https://github.com/kandu/ocaml-fswatch"
8
+
build: [
9
+
["sh" "-exec" "echo \\(-I/usr/local/include/libfswatch/c -I/usr/include/libfswatch/c\\) > fswatch/src/inc_cflags"] { !(os-distribution = "homebrew" & arch = "arm64") & os-family != "bsd" }
10
+
["sh" "-exec" "echo -lfswatch > fswatch/src/inc_libs"] { !(os-distribution = "homebrew" & arch = "arm64") & os-family != "bsd" }
11
+
12
+
["sh" "-exec" "echo -I$(brew --prefix)/include/libfswatch/c > fswatch/src/inc_cflags"] { os-distribution = "homebrew" & arch = "arm64" }
13
+
["sh" "-exec" "echo \\(-L$(brew --prefix)/lib -lfswatch\\) > fswatch/src/inc_libs"] { os-distribution = "homebrew" & arch = "arm64" }
14
+
15
+
["sh" "-exec" "echo -I/usr/local/include/libfswatch/c > fswatch/src/inc_cflags"] { os-family = "bsd" }
16
+
["sh" "-exec" "echo \\(-L/usr/local/lib -lfswatch\\) > fswatch/src/inc_libs"] { os-family = "bsd" }
17
+
18
+
["dune" "build" "-p" name "-j" jobs]
19
+
]
20
+
depends: [
21
+
"ocaml" {>= "4.03.0"}
22
+
"conf-fswatch"
23
+
"dune" {>= "1.4"}
24
+
]
25
+
26
+
synopsis: "Bindings for libfswatch -- file change monitor"
27
+
description: """fswatch is a file change monitor that receives notifications when the contents of the specified files or directories are modified."""
28
+
29
+
url {
30
+
src: "https://github.com/kandu/ocaml-fswatch/archive/11-0.1.5.tar.gz"
31
+
checksum: [
32
+
"sha256=b8b694abf73ca633eafa5f611b7140adacd5102bdded99453cd2da4d58c8bd58"
33
+
"md5=bea57e7942c8230c4b329e48417609f2"
34
+
]
35
+
}
+35
packages/fswatch/fswatch.11-0.1.6/opam
+35
packages/fswatch/fswatch.11-0.1.6/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "zandoye@gmail.com"
3
+
authors: [ "ZAN DoYe" ]
4
+
homepage: "https://github.com/kandu/ocaml-fswatch/"
5
+
bug-reports: "https://github.com/kandu/ocaml-fswatch/issues"
6
+
license: "MIT"
7
+
dev-repo: "git+https://github.com/kandu/ocaml-fswatch"
8
+
build: [
9
+
["sh" "-exec" "echo \\(-I/usr/local/include/libfswatch/c -I/usr/include/libfswatch/c\\) > fswatch/src/inc_cflags"] { !(os-distribution = "homebrew" & arch = "arm64") & os-family != "bsd" }
10
+
["sh" "-exec" "echo -lfswatch > fswatch/src/inc_libs"] { !(os-distribution = "homebrew" & arch = "arm64") & os-family != "bsd" }
11
+
12
+
["sh" "-exec" "echo -I$(brew --prefix)/include/libfswatch/c > fswatch/src/inc_cflags"] { os-distribution = "homebrew" & arch = "arm64" }
13
+
["sh" "-exec" "echo \\(-L$(brew --prefix)/lib -lfswatch\\) > fswatch/src/inc_libs"] { os-distribution = "homebrew" & arch = "arm64" }
14
+
15
+
["sh" "-exec" "echo -I/usr/local/include/libfswatch/c > fswatch/src/inc_cflags"] { os-family = "bsd" }
16
+
["sh" "-exec" "echo \\(-L/usr/local/lib -lfswatch\\) > fswatch/src/inc_libs"] { os-family = "bsd" }
17
+
18
+
["dune" "build" "-p" name "-j" jobs]
19
+
]
20
+
depends: [
21
+
"ocaml" {>= "4.03.0"}
22
+
"conf-fswatch"
23
+
"dune" {>= "1.4"}
24
+
]
25
+
26
+
synopsis: "Bindings for libfswatch -- file change monitor"
27
+
description: """fswatch is a file change monitor that receives notifications when the contents of the specified files or directories are modified."""
28
+
29
+
url {
30
+
src: "https://github.com/kandu/ocaml-fswatch/archive/11-0.1.6.tar.gz"
31
+
checksum: [
32
+
"sha256=b70b4ac61b3fc36b2dcde9e87dcec410531f6addf21d6e437d75fd5eeb2efb73"
33
+
"md5=f7dc5c7ce67bd09e5ff09603a9cedbd2"
34
+
]
35
+
}
+1
-1
packages/gel/gel.v0.17.0/opam
+1
-1
packages/gel/gel.v0.17.0/opam
···
15
15
"ppx_jane" {>= "v0.17" & < "v0.18"}
16
16
"dune" {>= "3.11.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "A library to mark non-record fields global."
20
20
description: "
21
21
A library to mark non-record fields global. GEL stands for Global Even if inside a Local.
+77
packages/goblint-cil/goblint-cil.2.0.6/opam
+77
packages/goblint-cil/goblint-cil.2.0.6/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"A front-end for the C programming language that facilitates program analysis and transformation"
4
+
description: """
5
+
This is a fork of the 'cil' package used for 'goblint'. Major changes include:
6
+
* Support for C99 and C11.
7
+
* Compatibility with modern OCaml versions.
8
+
* Use Zarith instead of Num and use that for integer constants.
9
+
* Improved locations with columns and spans.
10
+
* Removal of unmaintained extensions and MSVC support.
11
+
* Use dune instead of make and ocamlbuild.
12
+
* Many bug fixes."""
13
+
maintainer: [
14
+
"Michael Schwarz <michael.schwarz93@gmail.com>"
15
+
"Simmo Saan <simmo.saan@gmail.com>"
16
+
]
17
+
authors: [
18
+
"George Necula"
19
+
"Scott McPeak"
20
+
"Westley Weimer"
21
+
"Gabriel Kerneis"
22
+
"Ralf Vogler"
23
+
"Michael Schwarz"
24
+
"Simmo Saan"
25
+
]
26
+
license: "BSD-3-Clause"
27
+
homepage: "https://github.com/goblint/cil"
28
+
bug-reports: "https://github.com/goblint/cil/issues"
29
+
depends: [
30
+
"ocaml" {>= "4.05.0"}
31
+
"ocamlfind" {with-test}
32
+
"zarith"
33
+
"hevea" {with-doc}
34
+
"dune" {>= "2.7"}
35
+
"dune-configurator"
36
+
"odoc" {with-doc}
37
+
"stdlib-shims"
38
+
"ppx_deriving_yojson" {>= "3.2"}
39
+
"yojson"
40
+
"conf-perl"
41
+
"cppo"
42
+
"conf-gcc"
43
+
]
44
+
conflicts: ["cil"]
45
+
build: [
46
+
["dune" "subst"] {dev}
47
+
[
48
+
"dune"
49
+
"build"
50
+
"-p"
51
+
name
52
+
"-j"
53
+
jobs
54
+
"@install"
55
+
"@runtest" {with-test}
56
+
"@doc" {with-doc}
57
+
]
58
+
]
59
+
dev-repo: "git+https://github.com/goblint/cil.git"
60
+
depexts: [
61
+
["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"}
62
+
["perl-FindBin"] {os-distribution = "fedora"}
63
+
["build-base"] {os-distribution = "alpine"}
64
+
]
65
+
available: arch = "x86_64" | arch = "arm64"
66
+
x-ci-accept-failures: [
67
+
"freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)
68
+
]
69
+
url {
70
+
src:
71
+
"https://github.com/goblint/cil/releases/download/2.0.6/goblint-cil-2.0.6.tbz"
72
+
checksum: [
73
+
"sha256=5577007bfac63c3f0609abdb74119fe674c9bc8529d790e90ef73a85964aa07a"
74
+
"sha512=f1a393fa92614ceaf857bec4df474d3e152c578d0ab5fdf791e9129668861ccaa37efae2f18aa539965d6c2ed4dabb47b4a5262aab55112e181935def06f18da"
75
+
]
76
+
}
77
+
x-commit-hash: "8385ab315bc7461f6801af57673c64731bfa036a"
+1
-1
packages/int_repr/int_repr.v0.17.0/opam
+1
-1
packages/int_repr/int_repr.v0.17.0/opam
+1
-1
packages/jane-street-headers/jane-street-headers.v0.17.0/opam
+1
-1
packages/jane-street-headers/jane-street-headers.v0.17.0/opam
+1
-1
packages/jst-config/jst-config.v0.17.0/opam
+1
-1
packages/jst-config/jst-config.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"dune-configurator"
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Compile-time configuration for Jane Street libraries"
21
21
description: "
22
22
Defines compile-time constants used in Jane Street libraries such as Base, Core, and
+48
packages/mazeppa/mazeppa.0.5.0/opam
+48
packages/mazeppa/mazeppa.0.5.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A modern supercompiler for call-by-value functional languages"
4
+
maintainer: ["hirrolot <hirrolot@gmail.com>"]
5
+
authors: ["hirrolot <hirrolot@gmail.com>"]
6
+
license: "MIT"
7
+
homepage: "https://github.com/mazeppa-dev/mazeppa"
8
+
doc: "https://github.com/mazeppa-dev/mazeppa"
9
+
bug-reports: "https://github.com/mazeppa-dev/mazeppa/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14"}
12
+
"dune" {>= "3.14"}
13
+
"pprint"
14
+
"checked_oint" {>= "0.4.1"}
15
+
"ppx_deriving"
16
+
"ppx_string_interpolation"
17
+
"ppx_yojson_conv"
18
+
"ppx_blob" {>= "0.9.0"}
19
+
"bisect_ppx"
20
+
"menhir" {>= "20180905"}
21
+
"spectrum" {>= "0.6.0"}
22
+
"clap"
23
+
"alcotest" {>= "1.7.0"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
dev-repo: "git+https://github.com/mazeppa-dev/mazeppa.git"
41
+
url {
42
+
src:
43
+
"https://github.com/mazeppa-dev/mazeppa/releases/download/v0.5.0/mazeppa-0.5.0.tar.gz"
44
+
checksum: [
45
+
"md5=c8e30c7642772fba62b20edff44f07a0"
46
+
"sha512=13bf59e70461397a1fd6b3039bb247f8e450277c4d490a451610e27968595cc4632592fee97008d8f44e71d7646e5636efa292568d07f024b4b1c25492764dd4"
47
+
]
48
+
}
+48
packages/mazeppa/mazeppa.0.5.1/opam
+48
packages/mazeppa/mazeppa.0.5.1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A modern supercompiler for call-by-value functional languages"
4
+
maintainer: ["hirrolot <hirrolot@gmail.com>"]
5
+
authors: ["hirrolot <hirrolot@gmail.com>"]
6
+
license: "MIT"
7
+
homepage: "https://github.com/mazeppa-dev/mazeppa"
8
+
doc: "https://github.com/mazeppa-dev/mazeppa"
9
+
bug-reports: "https://github.com/mazeppa-dev/mazeppa/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14"}
12
+
"dune" {>= "3.14"}
13
+
"pprint"
14
+
"checked_oint" {>= "0.4.1"}
15
+
"ppx_deriving"
16
+
"ppx_string_interpolation"
17
+
"ppx_yojson_conv"
18
+
"ppx_blob" {>= "0.9.0"}
19
+
"bisect_ppx"
20
+
"menhir" {>= "20180905"}
21
+
"spectrum" {>= "0.6.0"}
22
+
"clap"
23
+
"alcotest" {>= "1.7.0"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
dev-repo: "git+https://github.com/mazeppa-dev/mazeppa.git"
41
+
url {
42
+
src:
43
+
"https://github.com/mazeppa-dev/mazeppa/releases/download/v0.5.1/mazeppa-0.5.1.tar.gz"
44
+
checksum: [
45
+
"md5=f32fadf7ea524e31949a1bc55b8f9fdf"
46
+
"sha512=ed34d6b2fe94d9115bb2296b37cb75a00363387ef316707a0c2d0f8fb14dc672f742b5a5093012d73b273ee2409dfede2a8d0f2bc786707f170cd83ef7dcff5a"
47
+
]
48
+
}
+45
packages/melange/melange.5.1.0-414/opam
+45
packages/melange/melange.5.1.0-414/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Toolchain to produce JS from Reason/OCaml"
3
+
maintainer: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
4
+
authors: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
5
+
license: "LGPL-2.1-or-later"
6
+
homepage: "https://github.com/melange-re/melange"
7
+
bug-reports: "https://github.com/melange-re/melange/issues"
8
+
depends: [
9
+
"dune" {>= "3.13"}
10
+
"ocaml" {>= "4.14" & < "5.0"}
11
+
"cmdliner" {>= "1.1.0"}
12
+
"dune-build-info"
13
+
"cppo" {build}
14
+
"ounit" {with-test}
15
+
"reason" {dev & with-test}
16
+
"ppxlib" {>= "0.30.0" & < "0.36.0"}
17
+
"menhir" {>= "20201214"}
18
+
"reason-react-ppx" {with-test & post}
19
+
"merlin" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
available: arch != "x86_32" & arch != "arm32"
36
+
dev-repo: "git+https://github.com/melange-re/melange.git"
37
+
url {
38
+
src:
39
+
"https://github.com/melange-re/melange/releases/download/5.1.0-414/melange-5.1.0-414.tbz"
40
+
checksum: [
41
+
"sha256=4afd57c8ea823612024ec5f37ad5e1ff3a97fed753ba9619d10d676512dfa5ed"
42
+
"sha512=711fc4046b08ef602aefce6e11e5e039933ff7eafe326fcdfc4e5e9ae08d6e7b6a2dd3dc8c1bf1bbcb545b8be4772e6c4313f10ca65a332530a399be11058ef0"
43
+
]
44
+
}
45
+
x-commit-hash: "018b44a0d511e48bde78f0b1f7ac5750423bdd9f"
+45
packages/melange/melange.5.1.0-51/opam
+45
packages/melange/melange.5.1.0-51/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Toolchain to produce JS from Reason/OCaml"
3
+
maintainer: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
4
+
authors: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
5
+
license: "LGPL-2.1-or-later"
6
+
homepage: "https://github.com/melange-re/melange"
7
+
bug-reports: "https://github.com/melange-re/melange/issues"
8
+
depends: [
9
+
"dune" {>= "3.13"}
10
+
"ocaml" {>= "5.1.1" & < "5.2"}
11
+
"cmdliner" {>= "1.1.0"}
12
+
"dune-build-info"
13
+
"cppo" {build}
14
+
"ounit" {with-test}
15
+
"reason" {dev & with-test}
16
+
"ppxlib" {>= "0.30.0" & < "0.36.0"}
17
+
"menhir" {>= "20201214"}
18
+
"reason-react-ppx" {with-test & post}
19
+
"merlin" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
available: arch != "x86_32" & arch != "arm32"
36
+
dev-repo: "git+https://github.com/melange-re/melange.git"
37
+
url {
38
+
src:
39
+
"https://github.com/melange-re/melange/releases/download/5.1.0-51/melange-5.1.0-51.tbz"
40
+
checksum: [
41
+
"sha256=0c817cbd92c42ac15fea6e6d975fd3eb3aa31f22b10cca22b3687ffed0e1b092"
42
+
"sha512=a0b85e22b106df7e9448d12977b740f735445640d4a9368591bdf5e67a95b93d5aacf957086c524549e3402faf0916c3f501ba43a631c74d8af4a7c986842c09"
43
+
]
44
+
}
45
+
x-commit-hash: "168ea5c56d5f2b16cdf8070f44919d7e41a62e2d"
+45
packages/melange/melange.5.1.0-52/opam
+45
packages/melange/melange.5.1.0-52/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Toolchain to produce JS from Reason/OCaml"
3
+
maintainer: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
4
+
authors: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
5
+
license: "LGPL-2.1-or-later"
6
+
homepage: "https://github.com/melange-re/melange"
7
+
bug-reports: "https://github.com/melange-re/melange/issues"
8
+
depends: [
9
+
"dune" {>= "3.13"}
10
+
"ocaml" {>= "5.2" & < "5.3"}
11
+
"cmdliner" {>= "1.1.0"}
12
+
"dune-build-info"
13
+
"cppo" {build}
14
+
"ounit" {with-test}
15
+
"reason" {dev & with-test}
16
+
"ppxlib" {>= "0.30.0" & < "0.36.0"}
17
+
"menhir" {>= "20201214"}
18
+
"reason-react-ppx" {with-test & post}
19
+
"merlin" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
available: arch != "x86_32" & arch != "arm32"
36
+
dev-repo: "git+https://github.com/melange-re/melange.git"
37
+
url {
38
+
src:
39
+
"https://github.com/melange-re/melange/releases/download/5.1.0-52/melange-5.1.0-52.tbz"
40
+
checksum: [
41
+
"sha256=1062089c60a8dc900363213898bc39173926e0e07e57dca2d9ac95d2556adefd"
42
+
"sha512=6581a4a2f6f50783324967362acf4d5404b735e3c02f0d1659d58cb9b5a2a37b6f03c2346f652a2f77a042b84cfb27a0139d7674f81f0edb7a6b7b558c8c4235"
43
+
]
44
+
}
45
+
x-commit-hash: "7fef609b2770933f1d99ebfb05fe693e79880bb6"
+45
packages/melange/melange.5.1.0-53/opam
+45
packages/melange/melange.5.1.0-53/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Toolchain to produce JS from Reason/OCaml"
3
+
maintainer: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
4
+
authors: ["Antonio Nuno Monteiro <anmonteiro@gmail.com>"]
5
+
license: "LGPL-2.1-or-later"
6
+
homepage: "https://github.com/melange-re/melange"
7
+
bug-reports: "https://github.com/melange-re/melange/issues"
8
+
depends: [
9
+
"dune" {>= "3.13"}
10
+
"ocaml" {>= "5.3"}
11
+
"cmdliner" {>= "1.1.0"}
12
+
"dune-build-info"
13
+
"cppo" {build}
14
+
"ounit" {with-test}
15
+
"reason" {dev & with-test}
16
+
"ppxlib" {>= "0.30.0" & < "0.36.0"}
17
+
"menhir" {>= "20201214"}
18
+
"reason-react-ppx" {with-test & post}
19
+
"merlin" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
available: arch != "x86_32" & arch != "arm32"
36
+
dev-repo: "git+https://github.com/melange-re/melange.git"
37
+
url {
38
+
src:
39
+
"https://github.com/melange-re/melange/releases/download/5.1.0-53/melange-5.1.0-53.tbz"
40
+
checksum: [
41
+
"sha256=f7aac30f3ba5feff8373e2164cdb5b38a59457cadfec74b564c2b62d035ca4a9"
42
+
"sha512=39a0b7430035b5355bad4f42fb07d719da56e457d78399fc34c38e5eeb6e5e5259f06a1209dc00325818e3dc1dd9a5988f6a25c106d2ee0ee2033ab9074791cd"
43
+
]
44
+
}
45
+
x-commit-hash: "2432b02d9c1990ae62fd44fad8bb53ea35b1e6b0"
+38
packages/not-ocamlfind/not-ocamlfind.0.14/opam
+38
packages/not-ocamlfind/not-ocamlfind.0.14/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A small frontend for ocamlfind that adds a few useful commands"
3
+
license: "MIT"
4
+
x-maintenance-intent: [ "(latest)" ]
5
+
maintainer: "Chet Murthy <chetsky@gmail.com>"
6
+
7
+
(* Gerd wrote most of this code; I just modified it (and probably
8
+
introduced bugs. This is to silence opam *)
9
+
10
+
authors: "Chet Murthy <chetsky@gmail.com>"
11
+
homepage: "https://github.com/chetmurthy/not-ocamlfind"
12
+
bug-reports: "Chet Murthy <chetsky@gmail.com>"
13
+
depends: [
14
+
"ocamlfind" {>= "1.8.0"}
15
+
"camlp-streams"
16
+
"conf-m4" {build}
17
+
"fmt" {>= "0.8.8"}
18
+
"rresult" {>= "0.6.0"}
19
+
"ocamlgraph" {>= "2.0.0"}
20
+
"conf-which"
21
+
]
22
+
depexts: [
23
+
[
24
+
"xdot"
25
+
] {os-family = "debian"}
26
+
]
27
+
build: [
28
+
["./configure" "-bindir" bin "-sitelib" lib "-mandir" man "-config" "%{lib}%/findlib.conf" "-no-custom" "-no-topfind" {preinstalled}]
29
+
[make "all"]
30
+
]
31
+
install: [make "install"]
32
+
dev-repo: "git+https://github.com/chetmurthy/not-ocamlfind"
33
+
url {
34
+
src: "https://github.com/chetmurthy/not-ocamlfind/archive/refs/tags/0.14.tar.gz"
35
+
checksum: [
36
+
"sha512=98fda1ff916ebdc9ad960faea2c0f69955d443a2ad18ac79d0d3dffa843210a4c18a997df317c42aa6c92f8f6dc20a432b8b4f6b2abe76237f53d27459f348a2"
37
+
]
38
+
}
+42
packages/obelisk/obelisk.0.8.1/opam
+42
packages/obelisk/obelisk.0.8.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Pretty-printing for Menhir files"
3
+
description: """
4
+
Obelisk is a simple tool which produces pretty-printed output from a Menhir parser file (.mly).
5
+
It is inspired from yacc2latex and is also written in OCaml, but is aimed at supporting features from Menhir instead of only those of ocamlyacc."""
6
+
maintainer: ["Lélio Brun <lb@leliobrun.net>"]
7
+
authors: ["Lélio Brun"]
8
+
license: "MIT"
9
+
homepage: "https://github.com/Lelio-Brun/Obelisk"
10
+
doc: "https://github.com/Lelio-Brun/Obelisk/blob/master/README.md"
11
+
bug-reports: "https://github.com/Lelio-Brun/obelisk/issues"
12
+
depends: [
13
+
"dune" {>= "2.7"}
14
+
"ocaml" {>= "4.08"}
15
+
"menhir" {>= "20190613"}
16
+
"re" {>= "1.7.2"}
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
dev-repo: "git+https://github.com/Lelio-Brun/obelisk.git"
34
+
url {
35
+
src:
36
+
"https://github.com/Lelio-Brun/Obelisk/releases/download/v0.8.1/obelisk-0.8.1.tbz"
37
+
checksum: [
38
+
"sha256=fd0aee7700cadd6b9595716a3899a90324504273a5f60fd465866da93a3976a2"
39
+
"sha512=90c0bb6e6f98dad821c1cf545c4bfaa21187a0dbb62247c3dd18d5bea79006274e3b3e482db70c0e584bc34e26cf1ac7bb1cf80a016c167892f3bcc9c1875c4b"
40
+
]
41
+
}
42
+
x-commit-hash: "3b8cb17133628f9689e5656ff9d7f99bdcc6e68f"
+54
packages/ocaml-version/ocaml-version.4.0.0/opam
+54
packages/ocaml-version/ocaml-version.4.0.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Manipulate, parse and generate OCaml compiler version strings"
3
+
description: """\
4
+
This library provides facilities to parse version numbers of the OCaml compiler, and enumerates the various official OCaml releases and configuration variants.
5
+
6
+
OCaml version numbers are of the form `major.minor.patch+extra`, where the `patch` and `extra` fields are optional. This library offers the following functionality:
7
+
8
+
- Functions to parse and serialise OCaml compiler version numbers.
9
+
- Enumeration of official OCaml compiler version releases.
10
+
- Test compiler versions for a particular feature (e.g. the `bytes` type)
11
+
- [opam](https://opam.ocaml.org) compiler switch enumeration.
12
+
13
+
### Further information
14
+
15
+
- **Discussion:** Post on <https://discuss.ocaml.org/> with the `ocaml` tag under the Ecosystem category.
16
+
- **Bugs:** <https://github.com/ocurrent/ocaml-version/issues>
17
+
- **Docs:** <http://docs.mirage.io/ocaml-version>"""
18
+
maintainer: "Anil Madhavapeddy <anil@recoil.org>"
19
+
authors: "Anil Madhavapeddy <anil@recoil.org>"
20
+
license: "ISC"
21
+
tags: "org:ocamllabs"
22
+
homepage: "https://github.com/ocurrent/ocaml-version"
23
+
doc: "https://ocurrent.github.io/ocaml-version/doc"
24
+
bug-reports: "https://github.com/ocurrent/ocaml-version/issues"
25
+
depends: [
26
+
"dune" {>= "3.6"}
27
+
"ocaml" {>= "4.07.0"}
28
+
"alcotest" {with-test}
29
+
"odoc" {with-doc}
30
+
]
31
+
build: [
32
+
["dune" "subst"] {dev}
33
+
[
34
+
"dune"
35
+
"build"
36
+
"-p"
37
+
name
38
+
"-j"
39
+
jobs
40
+
"@install"
41
+
"@runtest" {with-test}
42
+
"@doc" {with-doc}
43
+
]
44
+
]
45
+
dev-repo: "git+https://github.com/ocurrent/ocaml-version.git"
46
+
url {
47
+
src:
48
+
"https://github.com/ocurrent/ocaml-version/releases/download/v4.0.0/ocaml-version-4.0.0.tbz"
49
+
checksum: [
50
+
"md5=6734fe7a4f8ac3bea39a0bcf40a31a82"
51
+
"sha512=093a7aadb382a21ab5ae2a1d87bc06f9ecb4584ae6a8a2b492ffdf23dc4ae2788ce19cdf2ea87191dc7ee391ae2d26b734342880742f73cb700933d8cf6856e5"
52
+
]
53
+
}
54
+
x-maintenance-intent: ["(latest)"]
+1
-1
packages/ocaml_intrinsics_kernel/ocaml_intrinsics_kernel.v0.17.0/opam
+1
-1
packages/ocaml_intrinsics_kernel/ocaml_intrinsics_kernel.v0.17.0/opam
+1
-1
packages/ocaml_intrinsics_kernel/ocaml_intrinsics_kernel.v0.17.1/opam
+1
-1
packages/ocaml_intrinsics_kernel/ocaml_intrinsics_kernel.v0.17.1/opam
+1
-1
packages/opsian/opsian.0.1/opam
+1
-1
packages/opsian/opsian.0.1/opam
···
21
21
available:
22
22
arch != "arm32" & arch != "arm64" & arch != "x86_32" & arch != "s390x" & arch != "ppc64" & arch != "riscv64" &
23
23
os-family != "arch" & os-family != "alpine" & os != "macos" & os != "freebsd"
24
-
build: ["dune" "build" "--release" "-j" jobs]
24
+
build: ["dune" "build" "-p" name "-j" jobs "@install"]
25
25
dev-repo: "git+https://github.com/Opsian/opsian-ocaml.git"
26
26
url {
27
27
src:
+47
packages/ostap/ostap.0.6.1/opam
+47
packages/ostap/ostap.0.6.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Parser-combinator library"
3
+
maintainer: ["Kakadu@pm.me"]
4
+
authors: [
5
+
"dboulytchev@gmail.com" "danila.borovkov1996@gmail.com" "Kakadu@pm.me"
6
+
]
7
+
license: "LGPL-2.1-or-later"
8
+
homepage: "https://github.com/PLTools/ostap"
9
+
bug-reports: "https://github.com/PLTools/ostap/issues"
10
+
depends: [
11
+
"dune" {>= "3.7"}
12
+
"ocaml" {>= "4.14" & < "5.0.0" | >= "5.3.0" & < "5.4.0"}
13
+
"re" {>= "1.10"}
14
+
"camlp5" {>= "8"}
15
+
"GT" {>= "0.5.4"}
16
+
"ocamlfind" {build}
17
+
"mdx" {with-test}
18
+
"odig" {with-doc}
19
+
"odoc" {with-doc}
20
+
"pa_ppx" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
dev-repo: "git+https://github.com/PLTools/ostap.git"
37
+
url {
38
+
src:
39
+
"https://github.com/PLTools/ostap/archive/refs/tags/v0.6.1.tar.gz"
40
+
#"https://github.com/PLTools/ostap/archive/refs/heads/master.zip"
41
+
checksum: [
42
+
"sha256=989467bb80273c973595a164a27cefcbc23ced3c2dffbb6ebb2346a55e4b4c53"
43
+
"sha512=24bdba5cabbf2dd6b5c437f83428a2de529124bbc1a0a703dbce1fea9b887defb6f0949c5c28772d15927bd50819088cf6a95b106795ebc341f12ca7617260b3"
44
+
]
45
+
}
46
+
x-commit-hash: "6f023a616a1b9000f62db3e5743e478ba1c2cacd"
47
+
+43
packages/owee/owee.0.8/opam
+43
packages/owee/owee.0.8/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OCaml library to work with DWARF format"
3
+
description: """
4
+
5
+
Owee is an experimental library to work with DWARF format.
6
+
It can parse ELF binaries and interpret DWARF debugline programs.
7
+
8
+
It can also be used to find locations of functions from the current process."""
9
+
maintainer: ["Frédéric Bour <frederic.bour@lakaban.net>"]
10
+
authors: ["Frédéric Bour <frederic.bour@lakaban.net>"]
11
+
license: "MIT"
12
+
homepage: "https://github.com/let-def/owee"
13
+
bug-reports: "https://github.com/let-def/owee/issues"
14
+
depends: [
15
+
"dune" {>= "3.0"}
16
+
"ocaml" {>= "4.08"}
17
+
"cmdliner" {with-test}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/let-def/owee.git"
35
+
available: arch != "x86_32" & arch != "arm32" & arch != "s390x" & os-family != "windows"
36
+
url {
37
+
src: "https://github.com/let-def/owee/releases/download/v0.8/owee-0.8.tbz"
38
+
checksum: [
39
+
"sha256=064f6245f5995d5d2f4f1f9c6d2992e2fdbe3dde328216baec7cfabd4857940d"
40
+
"sha512=c79cdaeedbd08ee58784e965a2865aff94d41013c4f978fd21ebd84df742402aeddaab2f1880bde0d0ff7311fe0565151882e6060590d751119ad0fd9d62a901"
41
+
]
42
+
}
43
+
x-commit-hash: "58e0c8223295bf18a82989220493bc3afb7e733f"
+1
-1
packages/parsexp/parsexp.v0.17.0/opam
+1
-1
packages/parsexp/parsexp.v0.17.0/opam
···
14
14
"sexplib0" {>= "v0.17" & < "v0.18"}
15
15
"dune" {>= "3.11.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "S-expression parsing library"
19
19
description: "
20
20
This library provides generic parsers for parsing S-expressions from
+1
-1
packages/ppx_assert/ppx_assert.v0.17.0/opam
+1
-1
packages/ppx_assert/ppx_assert.v0.17.0/opam
···
19
19
"dune" {>= "3.11.0"}
20
20
"ppxlib" {>= "0.28.0"}
21
21
]
22
-
available: arch != "arm32" & arch != "x86_32"
22
+
available: arch != "x86_32"
23
23
synopsis: "Assert-like extension nodes that raise useful errors on failure"
24
24
description: "
25
25
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_base/ppx_base.v0.17.0/opam
+1
-1
packages/ppx_base/ppx_base.v0.17.0/opam
+1
-1
packages/ppx_bench/ppx_bench.v0.17.0/opam
+1
-1
packages/ppx_bench/ppx_bench.v0.17.0/opam
···
15
15
"dune" {>= "3.11.0"}
16
16
"ppxlib" {>= "0.28.0" & < "0.36.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "Syntax extension for writing in-line benchmarks in ocaml code"
20
20
description: "
21
21
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_bin_prot/ppx_bin_prot.v0.17.0/opam
+1
-1
packages/ppx_bin_prot/ppx_bin_prot.v0.17.0/opam
···
18
18
"dune" {>= "3.11.0"}
19
19
"ppxlib" {>= "0.28.0" & < "0.36.0"}
20
20
]
21
-
available: arch != "arm32" & arch != "x86_32"
21
+
available: arch != "x86_32"
22
22
synopsis: "Generation of bin_prot readers and writers from types"
23
23
description: "
24
24
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_cold/ppx_cold.v0.17.0/opam
+1
-1
packages/ppx_cold/ppx_cold.v0.17.0/opam
···
15
15
"dune" {>= "3.11.0"}
16
16
"ppxlib" {>= "0.28.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "Expands [@cold] into [@inline never][@specialise never][@local never]"
20
20
description: "
21
21
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_compare/ppx_compare.v0.17.0/opam
+1
-1
packages/ppx_compare/ppx_compare.v0.17.0/opam
+1
-1
packages/ppx_custom_printf/ppx_custom_printf.v0.17.0/opam
+1
-1
packages/ppx_custom_printf/ppx_custom_printf.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Printf-style format-strings for user-defined string conversion"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+39
packages/ppx_deriving_hash/ppx_deriving_hash.0.1.3/opam
+39
packages/ppx_deriving_hash/ppx_deriving_hash.0.1.3/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "[@@deriving hash]"
3
+
description:
4
+
"Deriver for standard hash functions without extra dependencies."
5
+
maintainer: ["Simmo Saan <simmo.saan@gmail.com>"]
6
+
authors: ["Simmo Saan <simmo.saan@gmail.com>"]
7
+
license: "MIT"
8
+
homepage: "https://github.com/sim642/ppx_deriving_hash"
9
+
bug-reports: "https://github.com/sim642/ppx_deriving_hash/issues"
10
+
depends: [
11
+
"dune" {>= "2.8"}
12
+
"ppxlib" {>= "0.36.0"}
13
+
"ppx_deriving" {>= "5.0"}
14
+
"odoc" {with-doc}
15
+
]
16
+
build: [
17
+
["dune" "subst"] {dev}
18
+
[
19
+
"dune"
20
+
"build"
21
+
"-p"
22
+
name
23
+
"-j"
24
+
jobs
25
+
"@install"
26
+
"@runtest" {with-test}
27
+
"@doc" {with-doc}
28
+
]
29
+
]
30
+
dev-repo: "git+https://github.com/sim642/ppx_deriving_hash.git"
31
+
url {
32
+
src:
33
+
"https://github.com/sim642/ppx_deriving_hash/releases/download/0.1.3/ppx_deriving_hash-0.1.3.tbz"
34
+
checksum: [
35
+
"sha256=19bf51f397f255ab32a1aa44bbb6ca49e29b7cf46e4e8a9cc756ad90aee8bd09"
36
+
"sha512=9879a5cfc5dacd71e88a832eb96c6d8127f46f1d5619f149fd2d882a23e27170a0e4bca4f50132bcc48f53435168919377a8b66590465b0411a4e6c4c5e85eea"
37
+
]
38
+
}
39
+
x-commit-hash: "09fe8b1d95675006e0a889aa033a370f31000ac1"
+36
packages/ppx_deriving_yojson/ppx_deriving_yojson.3.10.0/opam
+36
packages/ppx_deriving_yojson/ppx_deriving_yojson.3.10.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "whitequark <whitequark@whitequark.org>"
3
+
authors: [ "whitequark <whitequark@whitequark.org>" ]
4
+
license: "MIT"
5
+
homepage: "https://github.com/ocaml-ppx/ppx_deriving_yojson"
6
+
bug-reports: "https://github.com/ocaml-ppx/ppx_deriving_yojson/issues"
7
+
dev-repo: "git+https://github.com/ocaml-ppx/ppx_deriving_yojson.git"
8
+
tags: [ "syntax" "json" ]
9
+
build: [
10
+
["dune" "subst"] {dev}
11
+
["dune" "build" "-p" name "-j" jobs]
12
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
13
+
]
14
+
depends: [
15
+
"ocaml" {>= "4.05.0"}
16
+
"dune" {>= "1.0"}
17
+
"yojson" {>= "1.6.0"}
18
+
"ppx_deriving" {>= "6.1"}
19
+
"ppxlib" {>= "0.36.0"}
20
+
"ounit2" {with-test}
21
+
]
22
+
synopsis:
23
+
"JSON codec generator for OCaml"
24
+
description: """
25
+
ppx_deriving_yojson is a ppx_deriving plugin that provides
26
+
a JSON codec generator.
27
+
"""
28
+
url {
29
+
src:
30
+
"https://github.com/ocaml-ppx/ppx_deriving_yojson/releases/download/v3.10.0/ppx_deriving_yojson-3.10.0.tbz"
31
+
checksum: [
32
+
"sha256=ced3d265e4287f1f18b09df6446a24444fad52b2a3054cbcbe0c9494d0e89b3f"
33
+
"sha512=038752a73690dc1b55031c119f57ee27fbee0d51a4a541d2f31ad1baf8b05637396c0b97a7dbfd77db600b689e90a62bfff7ca3fcf74545bd5b32dc3dabff511"
34
+
]
35
+
}
36
+
x-commit-hash: "89f6c1deb9e2daa4370e70bae11ba76b9ca19e98"
+1
-1
packages/ppx_diff/ppx_diff.v0.17.0/opam
+1
-1
packages/ppx_diff/ppx_diff.v0.17.0/opam
···
20
20
"dune" {>= "3.11.0"}
21
21
"ppxlib" {>= "0.28.0"}
22
22
]
23
-
available: arch != "arm32" & arch != "x86_32"
23
+
available: arch != "x86_32"
24
24
synopsis: "A PPX rewriter that genreates the implementation of [Ldiffable.S]."
25
25
description: "
26
26
A PPX rewriter that generates the implementation of [Ldiffable.S]. Generates diffs and update functions for OCaml types.
+1
-1
packages/ppx_disable_unused_warnings/ppx_disable_unused_warnings.v0.17.0/opam
+1
-1
packages/ppx_disable_unused_warnings/ppx_disable_unused_warnings.v0.17.0/opam
···
15
15
"dune" {>= "3.11.0"}
16
16
"ppxlib" {>= "0.28.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "Expands [@disable_unused_warnings] into [@warning \"-20-26-32-33-34-35-36-37-38-39-60-66-67\"]"
20
20
description: "
21
21
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_enumerate/ppx_enumerate.v0.17.0/opam
+1
-1
packages/ppx_enumerate/ppx_enumerate.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Generate a list containing all values of a finite type"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_expect/ppx_expect.v0.16.1/opam
+1
-1
packages/ppx_expect/ppx_expect.v0.16.1/opam
+1
-1
packages/ppx_expect/ppx_expect.v0.17.0/opam
+1
-1
packages/ppx_expect/ppx_expect.v0.17.0/opam
···
18
18
"dune" {>= "3.11.0"}
19
19
"ppxlib" {>= "0.28.0" & < "0.36.0"}
20
20
]
21
-
available: arch != "arm32" & arch != "x86_32" & os != "win32"
21
+
available: arch != "x86_32" & os != "win32"
22
22
synopsis: "Cram like framework for OCaml"
23
23
description: "
24
24
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_expect/ppx_expect.v0.17.1/opam
+1
-1
packages/ppx_expect/ppx_expect.v0.17.1/opam
+1
-1
packages/ppx_expect/ppx_expect.v0.17.2/opam
+1
-1
packages/ppx_expect/ppx_expect.v0.17.2/opam
+1
-1
packages/ppx_fields_conv/ppx_fields_conv.v0.17.0/opam
+1
-1
packages/ppx_fields_conv/ppx_fields_conv.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Generation of accessor and iteration functions for ocaml records"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_fixed_literal/ppx_fixed_literal.v0.17.0/opam
+1
-1
packages/ppx_fixed_literal/ppx_fixed_literal.v0.17.0/opam
+1
-1
packages/ppx_globalize/ppx_globalize.v0.17.0/opam
+1
-1
packages/ppx_globalize/ppx_globalize.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "A ppx rewriter that generates functions to copy local values to the global heap"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_hash/ppx_hash.v0.17.0/opam
+1
-1
packages/ppx_hash/ppx_hash.v0.17.0/opam
···
18
18
"dune" {>= "3.11.0"}
19
19
"ppxlib" {>= "0.28.0"}
20
20
]
21
-
available: arch != "arm32" & arch != "x86_32"
21
+
available: arch != "x86_32"
22
22
synopsis: "A ppx rewriter that generates hash functions from type expressions and definitions"
23
23
description: "
24
24
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_here/ppx_here.v0.17.0/opam
+1
-1
packages/ppx_here/ppx_here.v0.17.0/opam
+1
-1
packages/ppx_ignore_instrumentation/ppx_ignore_instrumentation.v0.17.0/opam
+1
-1
packages/ppx_ignore_instrumentation/ppx_ignore_instrumentation.v0.17.0/opam
···
14
14
"dune" {>= "3.11.0"}
15
15
"ppxlib" {>= "0.28.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "Ignore Jane Street specific instrumentation extensions"
19
19
description: "
20
20
Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler
+1
-1
packages/ppx_inline_test/ppx_inline_test.v0.16.1/opam
+1
-1
packages/ppx_inline_test/ppx_inline_test.v0.16.1/opam
···
16
16
"dune" {>= "3.11.1"}
17
17
"ppxlib" {>= "0.28.0" & < "0.36.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Syntax extension for writing in-line tests in ocaml code"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_inline_test/ppx_inline_test.v0.17.0/opam
+1
-1
packages/ppx_inline_test/ppx_inline_test.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0" & < "0.36.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Syntax extension for writing in-line tests in ocaml code"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_jane/ppx_jane.v0.17.0/opam
+1
-1
packages/ppx_jane/ppx_jane.v0.17.0/opam
+1
-1
packages/ppx_let/ppx_let.v0.17.0/opam
+1
-1
packages/ppx_let/ppx_let.v0.17.0/opam
+1
-1
packages/ppx_log/ppx_log.v0.17.0/opam
+1
-1
packages/ppx_log/ppx_log.v0.17.0/opam
···
28
28
"dune" {>= "3.11.0"}
29
29
"ppxlib" {>= "0.28.0"}
30
30
]
31
-
available: arch != "arm32" & arch != "x86_32"
31
+
available: arch != "x86_32"
32
32
synopsis: "Ppx_sexp_message-like extension nodes for lazily rendering log messages"
33
33
description: "
34
34
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_module_timer/ppx_module_timer.v0.17.0/opam
+1
-1
packages/ppx_module_timer/ppx_module_timer.v0.17.0/opam
···
18
18
"dune" {>= "3.11.0"}
19
19
"ppxlib" {>= "0.28.0"}
20
20
]
21
-
available: arch != "arm32" & arch != "x86_32"
21
+
available: arch != "x86_32"
22
22
synopsis: "Ppx rewriter that records top-level module startup times"
23
23
description: "
24
24
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_optcomp/ppx_optcomp.v0.17.0/opam
+1
-1
packages/ppx_optcomp/ppx_optcomp.v0.17.0/opam
+1
-1
packages/ppx_optional/ppx_optional.v0.17.0/opam
+1
-1
packages/ppx_optional/ppx_optional.v0.17.0/opam
+1
-1
packages/ppx_pipebang/ppx_pipebang.v0.17.0/opam
+1
-1
packages/ppx_pipebang/ppx_pipebang.v0.17.0/opam
···
14
14
"dune" {>= "3.11.0"}
15
15
"ppxlib" {>= "0.28.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "A ppx rewriter that inlines reverse application operators `|>` and `|!`"
19
19
description: "
20
20
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_sexp_conv/ppx_sexp_conv.v0.17.0/opam
+1
-1
packages/ppx_sexp_conv/ppx_sexp_conv.v0.17.0/opam
···
17
17
"dune" {>= "3.11.0"}
18
18
"ppxlib" {>= "0.28.0" & < "0.36.0"}
19
19
]
20
-
available: arch != "arm32" & arch != "x86_32"
20
+
available: arch != "x86_32"
21
21
synopsis: "[@@deriving] plugin to generate S-expression conversion functions"
22
22
description: "
23
23
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_sexp_message/ppx_sexp_message.v0.17.0/opam
+1
-1
packages/ppx_sexp_message/ppx_sexp_message.v0.17.0/opam
···
17
17
"dune" {>= "3.11.0"}
18
18
"ppxlib" {>= "0.28.0"}
19
19
]
20
-
available: arch != "arm32" & arch != "x86_32"
20
+
available: arch != "x86_32"
21
21
synopsis: "A ppx rewriter for easy construction of s-expressions"
22
22
description: "
23
23
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_sexp_value/ppx_sexp_value.v0.17.0/opam
+1
-1
packages/ppx_sexp_value/ppx_sexp_value.v0.17.0/opam
···
17
17
"dune" {>= "3.11.0"}
18
18
"ppxlib" {>= "0.28.0"}
19
19
]
20
-
available: arch != "arm32" & arch != "x86_32"
20
+
available: arch != "x86_32"
21
21
synopsis: "A ppx rewriter that simplifies building s-expressions from ocaml values"
22
22
description: "
23
23
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_stable/ppx_stable.v0.17.0/opam
+1
-1
packages/ppx_stable/ppx_stable.v0.17.0/opam
···
15
15
"dune" {>= "3.11.0"}
16
16
"ppxlib" {>= "0.28.0" & < "0.36.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "Stable types conversions generator"
20
20
description: "
21
21
A ppx extension for easier implementation of conversion functions between almost
+1
-1
packages/ppx_stable_witness/ppx_stable_witness.v0.17.0/opam
+1
-1
packages/ppx_stable_witness/ppx_stable_witness.v0.17.0/opam
···
15
15
"dune" {>= "3.11.0"}
16
16
"ppxlib" {>= "0.28.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "Ppx extension for deriving a witness that a type is intended to be stable. In this\n context, stable means that the serialization format will never change. This allows\n programs running at different versions of the code to safely communicate."
20
20
description: "
21
21
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_string/ppx_string.v0.17.0/opam
+1
-1
packages/ppx_string/ppx_string.v0.17.0/opam
+1
-1
packages/ppx_string_conv/ppx_string_conv.v0.17.0/opam
+1
-1
packages/ppx_string_conv/ppx_string_conv.v0.17.0/opam
+1
-1
packages/ppx_tydi/ppx_tydi.v0.17.0/opam
+1
-1
packages/ppx_tydi/ppx_tydi.v0.17.0/opam
···
15
15
"dune" {>= "3.11.0"}
16
16
"ppxlib" {>= "0.28.0" & < "0.36.0"}
17
17
]
18
-
available: arch != "arm32" & arch != "x86_32"
18
+
available: arch != "x86_32"
19
19
synopsis: "Let expressions, inferring pattern type from expression."
20
20
description: "
21
21
Provides a ppx for [let%tydi]: type-directed [let] bindings. In [let%tydi a = b in ...], [a]'s type is inferred from [b] rather than the other way around. This is convenient for record patterns whose fields are not in scope.
+1
-1
packages/ppx_typerep_conv/ppx_typerep_conv.v0.17.0/opam
+1
-1
packages/ppx_typerep_conv/ppx_typerep_conv.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0" & < "0.36.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Generation of runtime types from type declarations"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppx_variants_conv/ppx_variants_conv.v0.17.0/opam
+1
-1
packages/ppx_variants_conv/ppx_variants_conv.v0.17.0/opam
···
16
16
"dune" {>= "3.11.0"}
17
17
"ppxlib" {>= "0.28.0" & < "0.36.0"}
18
18
]
19
-
available: arch != "arm32" & arch != "x86_32"
19
+
available: arch != "x86_32"
20
20
synopsis: "Generation of accessor and iteration functions for ocaml variant types"
21
21
description: "
22
22
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppxlib_jane/ppxlib_jane.v0.17.0/opam
+1
-1
packages/ppxlib_jane/ppxlib_jane.v0.17.0/opam
···
14
14
"dune" {>= "3.11.0"}
15
15
"ppxlib" {>= "0.28.0" & < "0.36.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "Utilities for working with Jane Street AST constructs"
19
19
description: "
20
20
Part of the Jane Street's PPX rewriters collection.
+1
-1
packages/ppxlib_jane/ppxlib_jane.v0.17.1/opam
+1
-1
packages/ppxlib_jane/ppxlib_jane.v0.17.1/opam
+1
-1
packages/ppxlib_jane/ppxlib_jane.v0.17.2/opam
+1
-1
packages/ppxlib_jane/ppxlib_jane.v0.17.2/opam
···
14
14
"dune" {>= "3.11.0"}
15
15
"ppxlib" {>= "0.28.0" & < "0.36.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "Utilities for working with Jane Street AST constructs"
19
19
description: "
20
20
Part of the Jane Street's PPX rewriters collection.
+49
packages/safemoney/safemoney.0.3.0/opam
+49
packages/safemoney/safemoney.0.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A type safe money manipulation library"
3
+
description: "A type safe money manipulation library"
4
+
maintainer: ["geoffrey.borough@outlook.com"]
5
+
authors: ["Geoffrey Borough"]
6
+
license: "MIT"
7
+
homepage: "https://github.com/gborough/safemoney"
8
+
doc: "https://gborough.github.io/safemoney/safemoney"
9
+
bug-reports: "https://github.com/gborough/safemoney/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14.0"}
12
+
"base"
13
+
"dune" {>= "3.0"}
14
+
"zarith" {>= "1.5.0"}
15
+
"stdint"
16
+
"angstrom" {>= "0.16.0"}
17
+
"re"
18
+
"yojson"
19
+
"ppx_deriving"
20
+
"ppx_deriving_yojson"
21
+
"ppx_jane"
22
+
"sexplib"
23
+
"ppx_expect" {with-test}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
dev-repo: "git+https://github.com/gborough/safemoney.git"
41
+
url {
42
+
src:
43
+
"https://github.com/gborough/safemoney/releases/download/0.3.0/safemoney-0.3.0.tbz"
44
+
checksum: [
45
+
"sha256=22dfaf4e200245d285d95bd419e9dd02a2893db028f6d5379beed9359ceb7e3d"
46
+
"sha512=340e04126bd40e9bb3ab962e3220f298a6398ce567a27bbf290ac40c12dba0cfc52f11753dccbcc70c010909614136c268665e604659ca1c48b92e5163e7e58c"
47
+
]
48
+
}
49
+
x-commit-hash: "67a161f2259016bd0fbad3a0f482f45b14afeed2"
+1
-1
packages/sexplib/sexplib.v0.17.0/opam
+1
-1
packages/sexplib/sexplib.v0.17.0/opam
+1
-1
packages/sexplib0/sexplib0.v0.17.0/opam
+1
-1
packages/sexplib0/sexplib0.v0.17.0/opam
···
13
13
"ocaml" {>= "4.14.0"}
14
14
"dune" {>= "3.11.0"}
15
15
]
16
-
available: arch != "arm32" & arch != "x86_32"
16
+
available: arch != "x86_32"
17
17
synopsis: "Library containing the definition of S-expressions and some base converters"
18
18
description: "
19
19
Part of Jane Street's Core library
+1
packages/smtml/smtml.0.6.1/opam
+1
packages/smtml/smtml.0.6.1/opam
+1
-1
packages/splittable_random/splittable_random.v0.17.0/opam
+1
-1
packages/splittable_random/splittable_random.v0.17.0/opam
···
18
18
"ppx_sexp_message" {>= "v0.17" & < "v0.18"}
19
19
"dune" {>= "3.11.0"}
20
20
]
21
-
available: arch != "arm32" & arch != "x86_32"
21
+
available: arch != "x86_32"
22
22
synopsis: "PRNG that can be split into independent streams"
23
23
description: "
24
24
PRNG that can be split into independent streams
+1
-1
packages/stdio/stdio.v0.17.0/opam
+1
-1
packages/stdio/stdio.v0.17.0/opam
+1
-1
packages/time_now/time_now.v0.17.0/opam
+1
-1
packages/time_now/time_now.v0.17.0/opam
···
18
18
"ppx_optcomp" {>= "v0.17" & < "v0.18"}
19
19
"dune" {>= "3.11.0"}
20
20
]
21
-
available: arch != "arm32" & arch != "x86_32"
21
+
available: arch != "x86_32"
22
22
synopsis: "Reports the current time"
23
23
description: "
24
24
Provides a single function to report the current time in nanoseconds
+1
-1
packages/typerep/typerep.v0.17.0/opam
+1
-1
packages/typerep/typerep.v0.17.0/opam
···
14
14
"base" {>= "v0.17" & < "v0.18"}
15
15
"dune" {>= "3.11.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "Typerep is a library for runtime types"
19
19
url {
20
20
src: "https://github.com/janestreet/typerep/archive/refs/tags/v0.17.0.tar.gz"
+1
-1
packages/typerep/typerep.v0.17.1/opam
+1
-1
packages/typerep/typerep.v0.17.1/opam
+1
-1
packages/variantslib/variantslib.v0.17.0/opam
+1
-1
packages/variantslib/variantslib.v0.17.0/opam
···
14
14
"base" {>= "v0.17" & < "v0.18"}
15
15
"dune" {>= "3.11.0"}
16
16
]
17
-
available: arch != "arm32" & arch != "x86_32"
17
+
available: arch != "x86_32"
18
18
synopsis: "Part of Jane Street's Core library"
19
19
description: "
20
20
The Core suite of libraries is an industrial strength alternative to
+2
-2
packages/vscoq-language-server/vscoq-language-server.2.2.5/opam
+2
-2
packages/vscoq-language-server/vscoq-language-server.2.2.5/opam
···
12
12
depends: [
13
13
"ocaml" { >= "4.14" }
14
14
"dune" { >= "3.5" }
15
-
"coq-core" { ((>= "8.18" < "8.21") | (= "dev")) }
16
-
"coq-stdlib" { ((>= "8.18" < "8.21") | (= "dev")) }
15
+
"coq-core" { ((>= "8.18" < "9.1") | (= "dev")) }
16
+
"coq-stdlib" { ((>= "8.18" < "9.1") | (= "dev")) }
17
17
"yojson"
18
18
"jsonrpc" { >= "1.15"}
19
19
"ocamlfind"
+48
packages/yocaml/yocaml.2.2.0/opam
+48
packages/yocaml/yocaml.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Core engine of the YOCaml Static Site Generator"
3
+
description: "YOCaml is a build system dedicated to generate static document"
4
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
6
+
license: "GPL-3.0-or-later"
7
+
homepage: "https://github.com/xhtmlboi/yocaml"
8
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
9
+
depends: [
10
+
"dune" {>= "3.14"}
11
+
"ocaml" {>= "5.1.1"}
12
+
"odoc" {with-doc}
13
+
"sherlodoc" {with-doc}
14
+
"fmt" {with-test}
15
+
"alcotest" {with-test & >= "1.3.0"}
16
+
"qcheck" {with-test}
17
+
"qcheck-alcotest" {with-test}
18
+
"ppx_expect"
19
+
"mdx" {with-test & = "2.5.0"}
20
+
"ocamlformat" {with-dev-setup}
21
+
"ocp-indent" {with-dev-setup}
22
+
"merlin" {with-dev-setup}
23
+
"utop" {with-dev-setup}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
40
+
url {
41
+
src:
42
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
43
+
checksum: [
44
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
45
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
46
+
]
47
+
}
48
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+41
packages/yocaml_cmarkit/yocaml_cmarkit.2.2.0/opam
+41
packages/yocaml_cmarkit/yocaml_cmarkit.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Yocaml plugin for using Markdown (via Cmarkit package) as a Markup language"
4
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
6
+
license: "GPL-3.0-or-later"
7
+
homepage: "https://github.com/xhtmlboi/yocaml"
8
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
9
+
depends: [
10
+
"dune" {>= "3.14"}
11
+
"ocaml" {>= "5.1.1"}
12
+
"ppx_expect"
13
+
"mdx" {with-test & = "2.5.0"}
14
+
"yocaml" {= version}
15
+
"cmarkit"
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
33
+
url {
34
+
src:
35
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
36
+
checksum: [
37
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
38
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
39
+
]
40
+
}
41
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+43
packages/yocaml_eio/yocaml_eio.2.2.0/opam
+43
packages/yocaml_eio/yocaml_eio.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "The Eio runtime YOCaml"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"yocaml" {= version}
14
+
"yocaml_runtime" {= version}
15
+
"eio" {= "1.1"}
16
+
"eio_main" {= "1.1"}
17
+
"cohttp-eio" {>= "6.0.0~beta2"}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
35
+
url {
36
+
src:
37
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
38
+
checksum: [
39
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
40
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
41
+
]
42
+
}
43
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+48
packages/yocaml_git/yocaml_git.2.2.0/opam
+48
packages/yocaml_git/yocaml_git.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Yocaml plugins for generating Yocaml program into a Git repository"
4
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
6
+
license: "GPL-3.0-or-later"
7
+
homepage: "https://github.com/xhtmlboi/yocaml"
8
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
9
+
depends: [
10
+
"dune" {>= "3.14"}
11
+
"ocaml" {>= "5.1.1"}
12
+
"ppx_expect"
13
+
"mdx" {with-test & = "2.5.0"}
14
+
"lwt" {>= "5.7.0"}
15
+
"mimic" {>= "0.0.9"}
16
+
"cstruct" {>= "6.2.0"}
17
+
"git-kv" {>= "0.1.3"}
18
+
"git-unix" {>= "3.16.1"}
19
+
"mirage-clock" {>= "4.2.0"}
20
+
"mirage-crypto-rng" {>= "2.0.0"}
21
+
"yocaml" {= version}
22
+
"yocaml_runtime" {= version}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
40
+
url {
41
+
src:
42
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
43
+
checksum: [
44
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
45
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
46
+
]
47
+
}
48
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+40
packages/yocaml_jingoo/yocaml_jingoo.2.2.0/opam
+40
packages/yocaml_jingoo/yocaml_jingoo.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Yocaml plugin for using Jingoo as a template language"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"yocaml" {= version}
14
+
"jingoo" {>= "1.5.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
32
+
url {
33
+
src:
34
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
35
+
checksum: [
36
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
37
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
38
+
]
39
+
}
40
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+40
packages/yocaml_mustache/yocaml_mustache.2.2.0/opam
+40
packages/yocaml_mustache/yocaml_mustache.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Yocaml plugin for using Mustache as a template language"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"yocaml" {= version}
14
+
"mustache" {= "3.3.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
32
+
url {
33
+
src:
34
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
35
+
checksum: [
36
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
37
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
38
+
]
39
+
}
40
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+41
packages/yocaml_omd/yocaml_omd.2.2.0/opam
+41
packages/yocaml_omd/yocaml_omd.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Yocaml plugin for using Markdown (via OMD package) as a Markup language"
4
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
6
+
license: "GPL-3.0-or-later"
7
+
homepage: "https://github.com/xhtmlboi/yocaml"
8
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
9
+
depends: [
10
+
"dune" {>= "3.14"}
11
+
"ocaml" {>= "5.1.1"}
12
+
"ppx_expect"
13
+
"mdx" {with-test & = "2.5.0"}
14
+
"yocaml" {= version}
15
+
"omd" {>= "2.0.0~alpha4"}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
33
+
url {
34
+
src:
35
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
36
+
checksum: [
37
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
38
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
39
+
]
40
+
}
41
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+40
packages/yocaml_otoml/yocaml_otoml.2.2.0/opam
+40
packages/yocaml_otoml/yocaml_otoml.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Yocaml plugin for dealing with TOML as metadata provider"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"yocaml" {= version}
14
+
"otoml" {>= "1.0.5"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
32
+
url {
33
+
src:
34
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
35
+
checksum: [
36
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
37
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
38
+
]
39
+
}
40
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+44
packages/yocaml_runtime/yocaml_runtime.2.2.0/opam
+44
packages/yocaml_runtime/yocaml_runtime.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Tool for describing runtimes (using Logs and Digestif)"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"yocaml" {= version}
14
+
"cohttp" {>= "5.3.11"}
15
+
"magic-mime" {>= "1.3.1"}
16
+
"logs" {>= "0.7.0"}
17
+
"fmt" {>= "0.9.0"}
18
+
"digestif" {>= "1.2.0"}
19
+
"odoc" {with-doc}
20
+
]
21
+
build: [
22
+
["dune" "subst"] {dev}
23
+
[
24
+
"dune"
25
+
"build"
26
+
"-p"
27
+
name
28
+
"-j"
29
+
jobs
30
+
"@install"
31
+
"@runtest" {with-test}
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
36
+
url {
37
+
src:
38
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
39
+
checksum: [
40
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
41
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
42
+
]
43
+
}
44
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+41
packages/yocaml_unix/yocaml_unix.2.2.0/opam
+41
packages/yocaml_unix/yocaml_unix.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "The Unix runtime for YOCaml"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"httpcats" {>= "0.0.1"}
14
+
"yocaml" {= version}
15
+
"yocaml_runtime" {= version}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
33
+
url {
34
+
src:
35
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
36
+
checksum: [
37
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
38
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
39
+
]
40
+
}
41
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"
+40
packages/yocaml_yaml/yocaml_yaml.2.2.0/opam
+40
packages/yocaml_yaml/yocaml_yaml.2.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Yocaml plugin for dealing with Yaml as metadata provider"
3
+
maintainer: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
4
+
authors: ["The XHTMLBoy <xhtmlboi@gmail.com>"]
5
+
license: "GPL-3.0-or-later"
6
+
homepage: "https://github.com/xhtmlboi/yocaml"
7
+
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
8
+
depends: [
9
+
"dune" {>= "3.14"}
10
+
"ocaml" {>= "5.1.1"}
11
+
"ppx_expect"
12
+
"mdx" {with-test & = "2.5.0"}
13
+
"yocaml" {= version}
14
+
"yaml" {>= "3.2.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
32
+
url {
33
+
src:
34
+
"https://github.com/xhtmlboi/yocaml/releases/download/v2.2.0/yocaml-2.2.0.tbz"
35
+
checksum: [
36
+
"sha256=967db87e63b7da8c3f127df5461eb86d0da9d41ef20e1957beacec9df5ec760c"
37
+
"sha512=930d98d22f19232b498a399e86c88a8ec87d49886eaeb1c296ff48b6d7f1da6c420c53472028410ef83d1914e8268924636353378b5e99bf0e93783769519c9f"
38
+
]
39
+
}
40
+
x-commit-hash: "39ac1112c7186f1308b778d3cfc668645d05901f"