this repo has no description
Merge branch 'ocaml:master' into master
authored by
dkalinichenko-js
and committed by
GitHub
9914fcce
f3bc9d1c
+294
-1
+34
packages/containers-data/containers-data.3.12/opam
+34
packages/containers-data/containers-data.3.12/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "simon.cruanes.2007@m4x.org"
3
+
synopsis: "A set of advanced datatypes for containers"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "build" "-p" name "-j" jobs]
7
+
["dune" "build" "@doc" "-p" name ] {with-doc}
8
+
["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "x86_32" & arch != "arm32"}
9
+
]
10
+
depends: [
11
+
"ocaml" { >= "4.03.0" }
12
+
"dune" { >= "2.0" }
13
+
"containers" { = version }
14
+
"seq"
15
+
(("ocaml" {with-test & < "4.08"} & "qcheck-core" {>= "0.17" & with-test})
16
+
| ("ocaml" {with-test & >= "4.08"} & "qcheck-core" {>= "0.20" & with-test}))
17
+
"iter" { with-test }
18
+
"gen" { with-test }
19
+
"mdx" { with-test }
20
+
"odoc" { with-doc }
21
+
]
22
+
tags: [ "containers" "RAL" "functional" "vector" "okasaki" ]
23
+
homepage: "https://github.com/c-cube/ocaml-containers/"
24
+
doc: "https://c-cube.github.io/ocaml-containers"
25
+
dev-repo: "git+https://github.com/c-cube/ocaml-containers.git"
26
+
bug-reports: "https://github.com/c-cube/ocaml-containers/issues/"
27
+
authors: "Simon Cruanes"
28
+
url {
29
+
src: "https://github.com/c-cube/ocaml-containers/archive/v3.12.tar.gz"
30
+
checksum: [
31
+
"md5=d74226924b65697a8558eb34a6074417"
32
+
"sha512=d5094e362f9ad7fe91aa060ef5c9805812cf888b326f0f0070f929205a83169a64c78dfce58a2ec0da77555b21c69a1f287fb38da9867cd6b16507f6c20fa666"
33
+
]
34
+
}
+34
packages/containers-thread/containers-thread.3.12/opam
+34
packages/containers-thread/containers-thread.3.12/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "simon.cruanes.2007@m4x.org"
3
+
license: "BSD-2-Clause"
4
+
synopsis: "An extension of containers for threading"
5
+
build: [
6
+
["dune" "build" "-p" name "-j" jobs]
7
+
["dune" "build" "@doc" "-p" name ] {with-doc}
8
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
9
+
]
10
+
depends: [
11
+
"ocaml" { >= "4.03.0" }
12
+
"dune" { >= "2.0" }
13
+
"base-threads"
14
+
"dune-configurator"
15
+
"containers" { = version }
16
+
"iter" { with-test }
17
+
(("ocaml" {with-test & < "4.08"} & "qcheck-core" {>= "0.17" & with-test})
18
+
| ("ocaml" {with-test & >= "4.08"} & "qcheck-core" {>= "0.18" & with-test}))
19
+
"uutf" { with-test }
20
+
"odoc" { with-doc }
21
+
]
22
+
tags: [ "containers" "thread" "semaphore" "blocking queue" ]
23
+
homepage: "https://github.com/c-cube/ocaml-containers/"
24
+
doc: "https://c-cube.github.io/ocaml-containers"
25
+
dev-repo: "git+https://github.com/c-cube/ocaml-containers.git"
26
+
bug-reports: "https://github.com/c-cube/ocaml-containers/issues/"
27
+
authors: "Simon Cruanes"
28
+
url {
29
+
src: "https://github.com/c-cube/ocaml-containers/archive/v3.12.tar.gz"
30
+
checksum: [
31
+
"md5=d74226924b65697a8558eb34a6074417"
32
+
"sha512=d5094e362f9ad7fe91aa060ef5c9805812cf888b326f0f0070f929205a83169a64c78dfce58a2ec0da77555b21c69a1f287fb38da9867cd6b16507f6c20fa666"
33
+
]
34
+
}
+41
packages/containers/containers.3.12/opam
+41
packages/containers/containers.3.12/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "simon.cruanes.2007@m4x.org"
3
+
license: "BSD-2-Clause"
4
+
synopsis: "A modular, clean and powerful extension of the OCaml standard library"
5
+
build: [
6
+
["dune" "build" "-p" name "-j" jobs]
7
+
["dune" "build" "@doc" "-p" name ] {with-doc}
8
+
["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "x86_32" & arch != "arm32"}
9
+
]
10
+
depends: [
11
+
"ocaml" { >= "4.03.0" }
12
+
"dune" { >= "2.0" }
13
+
"dune-configurator"
14
+
"seq" # compat
15
+
"either" # compat
16
+
(("ocaml" {with-test & < "4.08"} & "qcheck-core" {>= "0.17" & with-test})
17
+
| ("ocaml" {with-test & >= "4.08"} & "qcheck-core" {>= "0.18" & with-test}))
18
+
"yojson" { with-test }
19
+
"iter" { with-test }
20
+
"gen" { with-test }
21
+
"csexp" { with-test }
22
+
"uutf" { with-test }
23
+
"odoc" { with-doc }
24
+
]
25
+
depopts: [
26
+
"base-unix"
27
+
"base-threads"
28
+
]
29
+
tags: [ "stdlib" "containers" "iterators" "list" "heap" "queue" ]
30
+
homepage: "https://github.com/c-cube/ocaml-containers/"
31
+
doc: "https://c-cube.github.io/ocaml-containers"
32
+
dev-repo: "git+https://github.com/c-cube/ocaml-containers.git"
33
+
bug-reports: "https://github.com/c-cube/ocaml-containers/issues/"
34
+
authors: "Simon Cruanes"
35
+
url {
36
+
src: "https://github.com/c-cube/ocaml-containers/archive/v3.12.tar.gz"
37
+
checksum: [
38
+
"md5=d74226924b65697a8558eb34a6074417"
39
+
"sha512=d5094e362f9ad7fe91aa060ef5c9805812cf888b326f0f0070f929205a83169a64c78dfce58a2ec0da77555b21c69a1f287fb38da9867cd6b16507f6c20fa666"
40
+
]
41
+
}
+26
packages/minisat/minisat.0.5/opam
+26
packages/minisat/minisat.0.5/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "simon.cruanes.2007@m4x.org"
3
+
synopsis: "Bindings to Minisat-C-1.14.1, with the solver included"
4
+
build: [
5
+
["dune" "build" "-p" name "-j" jobs]
6
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
7
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
8
+
]
9
+
license: "BSD-2-clause"
10
+
depends: [
11
+
"ocaml" {>= "4.03" }
12
+
"dune" {>= "1.0"}
13
+
"odoc" {with-doc}
14
+
]
15
+
tags: [ "minisat" "solver" "SAT" ]
16
+
homepage: "https://github.com/c-cube/ocaml-minisat/"
17
+
dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
18
+
bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
19
+
authors: "simon.cruanes.2007@m4x.org"
20
+
url {
21
+
src: "https://github.com/c-cube/ocaml-minisat/archive/v0.5.tar.gz"
22
+
checksum: [
23
+
"md5=ae4a6feb34787f8814671af796e8cf5b"
24
+
"sha512=41c6c4ba2149a1afed90c7e55122dfe7239fba7221d649152549f42285b887d0cd62ac434d76eac58527b635afa4adc9d1c183cbd921eb6f927baa76371559eb"
25
+
]
26
+
}
+61
packages/tar-mirage/tar-mirage.2.5.0/opam
+61
packages/tar-mirage/tar-mirage.2.5.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Read and write tar format files via MirageOS interfaces"
3
+
description: """
4
+
tar is a simple library to read and write tar files with an emphasis on
5
+
streaming. This library is functorised over external OS dependencies
6
+
to facilitate embedding within MirageOS.
7
+
"""
8
+
maintainer: ["dave@recoil.org"]
9
+
authors: ["Dave Scott" "Thomas Gazagnaire" "David Allsopp" "Antonin Décimo"]
10
+
license: "ISC"
11
+
tags: ["org:xapi-project" "org:mirage"]
12
+
homepage: "https://github.com/mirage/ocaml-tar"
13
+
doc: "https://mirage.github.io/ocaml-tar/"
14
+
bug-reports: "https://github.com/mirage/ocaml-tar/issues"
15
+
depends: [
16
+
"dune" {>= "2.9"}
17
+
"ocaml" {>= "4.08.0"}
18
+
"cstruct" {>= "1.9.0"}
19
+
"lwt" {>= "5.6.0"}
20
+
"mirage-block" {>= "2.0.0"}
21
+
"mirage-clock" {>= "4.0.0"}
22
+
"mirage-kv" {>= "6.0.0"}
23
+
"optint"
24
+
"ptime"
25
+
"tar" {= version}
26
+
"mirage-block-unix" {with-test & >= "2.13.0"}
27
+
"mirage-clock-unix" {with-test & >= "4.0.0"}
28
+
"alcotest" {>= "1.7.0" & with-test}
29
+
"alcotest-lwt" {>= "1.7.0" & with-test}
30
+
"tar-unix" {with-test & = version}
31
+
"odoc" {with-doc}
32
+
]
33
+
conflicts: [
34
+
"result" {< "1.5"}
35
+
]
36
+
build: [
37
+
["dune" "subst"] {dev}
38
+
[
39
+
"dune"
40
+
"build"
41
+
"-p"
42
+
name
43
+
"-j"
44
+
jobs
45
+
"--promote-install-files=false"
46
+
"@install"
47
+
"@runtest" {with-test}
48
+
"@doc" {with-doc}
49
+
]
50
+
["dune" "install" "-p" name "--create-install-files" name]
51
+
]
52
+
dev-repo: "git+https://github.com/mirage/ocaml-tar.git"
53
+
url {
54
+
src:
55
+
"https://github.com/mirage/ocaml-tar/releases/download/v2.5.0/tar-2.5.0.tbz"
56
+
checksum: [
57
+
"sha256=06fd25f419fb65648cef70e363beead722a95f250165f4629b3f7ee283c1b85b"
58
+
"sha512=90e1d667cbf31ee3424280b0d6fddf5bcf51228b29eee48d45e81615706c25f3ea64fd403138875755ddeec44ae96be34d7852a1840fc7eabf88b3a6f3dd46dd"
59
+
]
60
+
}
61
+
x-commit-hash: "1e3b706e948ce8ed3590d6c4849fcd2db539210c"
+48
packages/tar-unix/tar-unix.2.5.0/opam
+48
packages/tar-unix/tar-unix.2.5.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Decode and encode tar format files from Unix"
3
+
description: """
4
+
tar is a simple library to read and write tar files with an emphasis on
5
+
streaming. This library provides a Unix or Windows compatible interface.
6
+
"""
7
+
maintainer: ["dave@recoil.org"]
8
+
authors: ["Dave Scott" "Thomas Gazagnaire" "David Allsopp" "Antonin Décimo"]
9
+
license: "ISC"
10
+
tags: ["org:xapi-project" "org:mirage"]
11
+
homepage: "https://github.com/mirage/ocaml-tar"
12
+
doc: "https://mirage.github.io/ocaml-tar/"
13
+
bug-reports: "https://github.com/mirage/ocaml-tar/issues"
14
+
depends: [
15
+
"dune" {>= "2.9"}
16
+
"ocaml" {>= "4.08.0"}
17
+
"cstruct" {>= "6.0.0"}
18
+
"cstruct-lwt"
19
+
"lwt"
20
+
"tar" {= version}
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"--promote-install-files=false"
33
+
"@install"
34
+
"@runtest" {with-test}
35
+
"@doc" {with-doc}
36
+
]
37
+
["dune" "install" "-p" name "--create-install-files" name]
38
+
]
39
+
dev-repo: "git+https://github.com/mirage/ocaml-tar.git"
40
+
url {
41
+
src:
42
+
"https://github.com/mirage/ocaml-tar/releases/download/v2.5.0/tar-2.5.0.tbz"
43
+
checksum: [
44
+
"sha256=06fd25f419fb65648cef70e363beead722a95f250165f4629b3f7ee283c1b85b"
45
+
"sha512=90e1d667cbf31ee3424280b0d6fddf5bcf51228b29eee48d45e81615706c25f3ea64fd403138875755ddeec44ae96be34d7852a1840fc7eabf88b3a6f3dd46dd"
46
+
]
47
+
}
48
+
x-commit-hash: "1e3b706e948ce8ed3590d6c4849fcd2db539210c"
+49
packages/tar/tar.2.5.0/opam
+49
packages/tar/tar.2.5.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Decode and encode tar format files in pure OCaml"
3
+
description: """
4
+
tar is a simple library to read and write tar files with an emphasis on
5
+
streaming.
6
+
7
+
This is pure OCaml code, no C bindings.
8
+
"""
9
+
maintainer: ["dave@recoil.org"]
10
+
authors: ["Dave Scott" "Thomas Gazagnaire" "David Allsopp" "Antonin Décimo"]
11
+
license: "ISC"
12
+
tags: ["org:xapi-project" "org:mirage"]
13
+
homepage: "https://github.com/mirage/ocaml-tar"
14
+
doc: "https://mirage.github.io/ocaml-tar/"
15
+
bug-reports: "https://github.com/mirage/ocaml-tar/issues"
16
+
depends: [
17
+
"dune" {>= "2.9"}
18
+
"camlp-streams"
19
+
"ocaml" {>= "4.08.0"}
20
+
"cstruct" {>= "6.0.0"}
21
+
"decompress" {>= "1.5.1"}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/mirage/ocaml-tar.git"
41
+
url {
42
+
src:
43
+
"https://github.com/mirage/ocaml-tar/releases/download/v2.5.0/tar-2.5.0.tbz"
44
+
checksum: [
45
+
"sha256=06fd25f419fb65648cef70e363beead722a95f250165f4629b3f7ee283c1b85b"
46
+
"sha512=90e1d667cbf31ee3424280b0d6fddf5bcf51228b29eee48d45e81615706c25f3ea64fd403138875755ddeec44ae96be34d7852a1840fc7eabf88b3a6f3dd46dd"
47
+
]
48
+
}
49
+
x-commit-hash: "1e3b706e948ce8ed3590d6c4849fcd2db539210c"
+1
-1
packages/toplevel_backend/toplevel_backend.v0.15.0/opam
+1
-1
packages/toplevel_backend/toplevel_backend.v0.15.0/opam