this repo has no description

Compare changes

Choose any two refs to compare.

Changed files
+2800 -15
.github
workflows
packages
arrayjit
arrayjit.0.5.2
base
base.v0.16.4
base.v0.17.1
camldiets
camldiets.0.3
camyll
camyll.0.4.4
checked_oint
checked_oint.0.5.0
chrome-trace
chrome-trace.3.18.0
conan
conan.0.0.6
conan-cli
conan-cli.0.0.6
conan-database
conan-database.0.0.6
conan-lwt
conan-lwt.0.0.6
conan-unix
conan-unix.0.0.6
conf-cuda
conf-cuda.1
conf-cuda-config
conf-cuda-config.1
conf-gmp
conf-gmp.5
conf-gmp-powm-sec
conf-gmp-powm-sec.4
core_unix
core_unix.v0.16.0
core_unix.v0.17.0
cudajit
cudajit.0.7.0
diffast
diffast.0.2
domainslib
domainslib.0.5.2
dune
dune.3.18.0
dune-action-plugin
dune-action-plugin.3.18.0
dune-build-info
dune-build-info.3.18.0
dune-configurator
dune-configurator.3.18.0
dune-glob
dune-glob.3.18.0
dune-private-libs
dune-private-libs.3.18.0
dune-rpc
dune-rpc.3.18.0
dune-rpc-lwt
dune-rpc-lwt.3.18.0
dune-site
dune-site.3.18.0
dyn
dyn.3.18.0
gappa
gappa.1.3.5
http-lwt-client
http-lwt-client.0.3.2
icalendar
icalendar.0.1.11
jasmin
jasmin.2025.02.1
linol
linol.0.9
linol-eio
linol-eio.0.9
linol-lwt
linol-lwt.0.9
mazeppa
mazeppa.0.5.2
neural_nets_lib
neural_nets_lib.0.5.2
ocaml-option-tsan
ocaml-option-tsan.1
ocamlc-loc
ocamlc-loc.3.18.0
opam-build
opam-build.0.2.5
opam-test
opam-test.0.2.5
ordering
ordering.3.18.0
plist-xml
plist-xml.0.5.1
ppx_deriving_qcheck
ppx_deriving_qcheck.0.7
ppx_trace
ppx_trace.0.9.1
pratter
pratter.5.0.1
qcheck
qcheck.0.25
qcheck-alcotest
qcheck-alcotest.0.25
qcheck-core
qcheck-core.0.25
qcheck-lin
qcheck-lin.0.8
qcheck-multicoretests-util
qcheck-multicoretests-util.0.8
qcheck-ounit
qcheck-ounit.0.25
qcheck-stm
qcheck-stm.0.8
reason
reason.3.16.0
reason-react-ppx
reason-react-ppx.0.14.1
reason-react-ppx.0.15.0
rtop
rtop.3.16.0
smtml
smtml.0.6.2
stdcompat
stdcompat.20.0
stdcompat.20.1
stdune
stdune.3.18.0
subprocess
subprocess.0.2.1
trace
trace.0.9.1
trace-fuchsia
trace-fuchsia.0.9.1
trace-tef
trace-tef.0.9.1
xdg
xdg.3.18.0
+1 -1
.github/workflows/windows.yml
···
- name: Get changed files
id: changed-files
if: github.event_name != 'push'
-
uses: tj-actions/changed-files@v44
+
uses: tj-actions/changed-files@v46
- name: List all changed packages
id: changed-packages
+66
packages/arrayjit/arrayjit.0.5.2/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis:
+
"An array language compiler with multiple backends (CPU, CUDA), staged compilation"
+
description:
+
"The optimizing compiler sub-package of OCANNL. Use neural_nets_lib instead to also get: nice syntax, shape inference, backpropagation, optimizers."
+
maintainer: ["Lukasz Stafiniak <lukstafi@gmail.com>"]
+
authors: ["Lukasz Stafiniak"]
+
license: "BSD-2-Clause"
+
tags: ["deeplearning" "array" "jit" "CUDA"]
+
homepage: "https://github.com/lukstafi/ocannl"
+
doc: "https://github.com/lukstafi/ocannl/blob/master/README.md"
+
bug-reports: "https://github.com/lukstafi/ocannl/issues"
+
depends: [
+
"ocaml" {>= "5.2.0"}
+
"dune" {>= "3.16"}
+
"base" {>= "v0.17.0"}
+
"ctypes" {>= "0.23"}
+
"ctypes-foreign" {>= "0.23"}
+
"printbox" {>= "0.12"}
+
"printbox-text" {>= "0.12"}
+
"stdio"
+
"sexplib"
+
"num"
+
"saturn_lockfree" {>= "0.5.0"}
+
"ppxlib"
+
"ppx_compare"
+
"ppx_hash"
+
"ppx_here"
+
"ppx_sexp_conv"
+
"ppx_string"
+
"ppx_variants_conv"
+
"ppx_expect"
+
"ppx_minidebug" {>= "2.2.0"}
+
"odoc" {with-doc}
+
]
+
depopts: [
+
"cudajit" {>= "0.7.0"}
+
"gccjit" {>= "0.3.2"}
+
]
+
conflicts: [
+
"cudajit" {< "0.7.0"}
+
"gccjit" {< "0.3.2"}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/lukstafi/ocannl.git"
+
url {
+
src: "https://github.com/ahrefs/ocannl/archive/refs/tags/0.5.2.tar.gz"
+
checksum: [
+
"md5=1f62613c37076ccb1c57a78c13a1a388"
+
"sha512=bccea3b2ad2cd6a96b1f03aaf8e127c800687a69191e5d09c7adf5e26c3bccd73f993eef91154a1ce2bcf4eeebf5bdb8d5372932018b4307515e8b6f5f4e94ab"
+
]
+
}
+39
packages/base/base.v0.16.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Jane Street developers"
+
authors: ["Jane Street Group, LLC"]
+
homepage: "https://github.com/janestreet/base"
+
bug-reports: "https://github.com/janestreet/base/issues"
+
dev-repo: "git+https://github.com/janestreet/base.git"
+
doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/base/index.html"
+
license: "MIT"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" {>= "4.14.0"}
+
"sexplib0" {>= "v0.16" & < "v0.17"}
+
"dune" {>= "2.0.0"}
+
"dune-configurator"
+
]
+
synopsis: "Full standard library replacement for OCaml"
+
description: "
+
Full standard library replacement for OCaml
+
+
Base is a complete and portable alternative to the OCaml standard
+
library. It provides all standard functionalities one would expect
+
from a language standard library. It uses consistent conventions
+
across all of its module.
+
+
Base aims to be usable in any context. As a result system dependent
+
features such as I/O are not offered by Base. They are instead
+
provided by companion libraries such as stdio:
+
+
https://github.com/janestreet/stdio
+
"
+
url {
+
src: "https://github.com/janestreet/base/archive/refs/tags/v0.16.4.tar.gz"
+
checksum: [
+
"md5=1716b735b93c9d068dd9790bb40d6562"
+
"sha512=ab1bf389889dda97235a76782858521256ab65290831c1234781bc4b3ec8186680616f64b922b0c9dfd11b2ed46e0be9e9b8778904a97ef5f849132b925fd210"
+
]
+
}
+8
packages/base/base.v0.17.1/opam
···
"sha512=ed5eb5e83d8085fc06f111862d609b393e394bbdcc6e25bab50030a250ffa2e540dbee02169b6f28ec220f10f61d189cd7b5646eece910c63620f5174fb5a655"
]
}
+
patches: ["fix-mpopcnt.patch" { arch="arm64" & os="macos"} ]
+
extra-source "fix-mpopcnt.patch" {
+
src:
+
"https://patch-diff.githubusercontent.com/raw/janestreet/base/pull/180.diff"
+
checksum: [
+
"sha256=78fecf4719e82aec5fc17a1140df18b07c1a640d3336c39dcd5cd85206bcede3"
+
]
+
}
+39
packages/camldiets/camldiets.0.3/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order"
+
description:
+
"A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order."
+
maintainer: ["Oliver Friedmann" "Martin Lange"]
+
authors: ["Oliver Friedmann" "Martin Lange"]
+
license: "BSD-3-clause"
+
homepage: "https://github.com/tcsprojects/camldiets"
+
bug-reports: "https://github.com/tcsprojects/camldiets/issues"
+
depends: [
+
"ocaml"
+
"dune" {>= "3.10"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/tcsprojects/camldiets.git"
+
url {
+
src:
+
"https://github.com/tcsprojects/camldiets/releases/download/v0.3/camldiets-0.3.tbz"
+
checksum: [
+
"sha256=53835314f6a6a15ef01790a5a1aa1e2097566de9b4bc0c424e9a694fcaa90c7f"
+
"sha512=0de67240cdb1fa582e43c7580875cdcdcb18cc4a1bacf46b395c26608009319c3d1474d1463ad5c552b367f3b3110ef50de8abeb058184f66b5dd1d70abea810"
+
]
+
}
+
x-commit-hash: "7583e1147b9e42066bc59c486b83c40dc1a3295c"
+62
packages/camyll/camyll.0.4.4/opam
···
+
opam-version: "2.0"
+
synopsis: "A static site generator"
+
description: """
+
Camyll is a static site generator.
+
+
Features:
+
+
- Conversion from Markdown to HTML
+
- Syntax highlighting of any language via user-provided TextMate grammars
+
- Post tagging
+
- Processing of literate Agda"""
+
maintainer: ["Alan Hu <ahulambda@gmail.com>"]
+
authors: ["Alan Hu <ahulambda@gmail.com>"]
+
license: "MIT"
+
tags: ["blog" "web" "website"]
+
homepage: "https://alan-j-hu.github.io/camyll"
+
bug-reports: "https://github.com/alan-j-hu/camyll/issues"
+
depends: [
+
"dune" {>= "2.7"}
+
"angstrom" {>= "0.15"}
+
"calendar" {>= "2.01"}
+
"cmarkit" {>= "0.3.0"}
+
"cmdliner" {>= "1.1"}
+
"ezjsonm" {>= "1.3"}
+
"httpaf" {>= "0.7.1"}
+
"httpaf-lwt-unix" {>= "0.7.1"}
+
"jingoo" {>= "1.4"}
+
"markup" {>= "0.8"}
+
"ocaml" {>= "4.14"}
+
"otoml" {>= "0.9.3"}
+
"plist-xml" {>= "0.5"}
+
"re" {>= "1.9"}
+
"slug" {>= "1.0"}
+
"textmate-language" {>= "0.3.2"}
+
"uri" {>= "4.2"}
+
"yaml" {>= "3.1"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/alan-j-hu/camyll.git"
+
url {
+
src:
+
"https://github.com/alan-j-hu/camyll/releases/download/0.4.4/camyll-0.4.4.tbz"
+
checksum: [
+
"sha256=bc11cb792e76dec7580c8cea508a76887a89b6fc6795719165345b38189f964b"
+
"sha512=cecf98760e4718dd46a9466cc473406defbf652a3b7e59b63797caf9418fb0e6cbca3124e28544b6a3e4e8a0974d3ea9661274b2bab01baa8bed3e6248fc155c"
+
]
+
}
+
x-commit-hash: "b737bda7620d9f179119cfb6eab6b00fe5cfbc6c"
+41
packages/checked_oint/checked_oint.0.5.0/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "An OCaml library for checked integer arithmetic"
+
maintainer: ["hirrolot <hirrolot@gmail.com>"]
+
authors: ["hirrolot <hirrolot@gmail.com>"]
+
license: "MIT"
+
homepage: "https://github.com/hirrolot/checked_oint"
+
bug-reports: "https://github.com/hirrolot/checked_oint/issues"
+
depends: [
+
"ocaml" {>= "4.13"}
+
"dune" {>= "3.14"}
+
"ppx_deriving"
+
"ppx_enumerate"
+
"bisect_ppx"
+
"alcotest" {>= "1.7.0"}
+
"odoc" {with-doc}
+
]
+
available: arch != "arm32" & arch != "x86_32"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/hirrolot/checked_oint.git"
+
url {
+
src:
+
"https://github.com/hirrolot/checked_oint/releases/download/v0.5.0/checked_oint-0.5.0.tar.gz"
+
checksum: [
+
"md5=051bf003209fc93803434c25b4a61e25"
+
"sha512=98237a6114bc6c2da3777a7ee6555ebd29f10a129de237f3b11bf266aee75627a292bec9eeff5ad7f4d090fd5de865fda952f0c4b60e7bc0c0eb62cdc85387f0"
+
]
+
}
+41
packages/chrome-trace/chrome-trace.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Chrome trace event generation library"
+
description:
+
"This library offers no backwards compatibility guarantees. Use at your own risk."
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+48
packages/conan/conan.0.0.6/opam
···
+
opam-version: "2.0"
+
synopsis: "Identify type of your file (such as the MIME type)"
+
description: """\
+
Conan is a re-implementation in OCaml of the file command.
+
The library is system-agnostic and can be used with MirageOS."""
+
maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/mirage/conan"
+
doc: "https://mirage.github.io/conan/"
+
bug-reports: "https://github.com/mirage/conan/issues"
+
depends: [
+
"ocaml" {>= "4.08.0"}
+
"re" {>= "1.12.0"}
+
"dune" {>= "2.9.0"}
+
"uutf"
+
"ptime"
+
"alcotest" {>= "0.8.1" & with-test}
+
"crowbar" {>= "0.2" & with-test}
+
"fmt" {with-test}
+
"rresult" {>= "0.6" & with-test}
+
"mirage" {with-test}
+
"mirage-unix" {with-test}
+
"mirage-bootvar-unix" {with-test}
+
"mirage-console-unix" {with-test}
+
"mirage-clock-unix" {with-test}
+
"mirage-logs" {with-test}
+
"mirage-types" {with-test}
+
"mirage-types-lwt" {with-test}
+
"mirage-runtime" {with-test}
+
]
+
conflicts: ["ocaml-option-flambda"]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "install" "-p" name "--create-install-files" name]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/mirage/conan.git"
+
url {
+
src:
+
"https://github.com/mirage/conan/releases/download/v0.0.6/conan-0.0.6.tbz"
+
checksum: [
+
"sha256=b210257b881715ffb9dcbf88678c8559ec2aef26795a5304afd5a8b4bbf11e16"
+
"sha512=5b46c70c237a6c40b1119bdc33e30fb4911d9f60e5b6bc3976604a0a4bd17635ecbb0862b9944e6022090ab0f1d01bd5e1832b465a7c2c5328e88d7cf23c2e40"
+
]
+
}
+
x-commit-hash: "e24abf9eaff494e3bbd72262cf754fa29306108d"
+49
packages/conan-cli/conan-cli.0.0.6/opam
···
+
opam-version: "2.0"
+
synopsis: "Identify type of your file (such as the MIME type)"
+
description: """\
+
Conan is a re-implementation in OCaml of the file command.
+
The library is system-agnostic and can be used with MirageOS."""
+
maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/mirage/conan"
+
doc: "https://mirage.github.io/conan/"
+
bug-reports: "https://github.com/mirage/conan/issues"
+
depends: [
+
"ocaml" {>= "4.08.0"}
+
"conan" {= version}
+
"conan-database" {= version}
+
"conan-unix" {= version}
+
"dune" {>= "2.9.0"}
+
"dune-site"
+
"alcotest" {>= "0.8.1" & with-test}
+
"crowbar" {with-test}
+
"fmt" {with-test}
+
"rresult" {>= "0.6" & with-test}
+
"mirage" {with-test}
+
"mirage-unix" {with-test}
+
"mirage-bootvar-unix" {with-test}
+
"mirage-console-unix" {with-test}
+
"mirage-clock-unix" {with-test}
+
"mirage-logs" {with-test}
+
"mirage-types" {with-test}
+
"mirage-types-lwt" {with-test}
+
"mirage-runtime" {with-test}
+
]
+
conflicts: ["ocaml-option-flambda"]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "install" "-p" name "--create-install-files" name]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/mirage/conan.git"
+
url {
+
src:
+
"https://github.com/mirage/conan/releases/download/v0.0.6/conan-0.0.6.tbz"
+
checksum: [
+
"sha256=b210257b881715ffb9dcbf88678c8559ec2aef26795a5304afd5a8b4bbf11e16"
+
"sha512=5b46c70c237a6c40b1119bdc33e30fb4911d9f60e5b6bc3976604a0a4bd17635ecbb0862b9944e6022090ab0f1d01bd5e1832b465a7c2c5328e88d7cf23c2e40"
+
]
+
}
+
x-commit-hash: "e24abf9eaff494e3bbd72262cf754fa29306108d"
+33
packages/conan-database/conan-database.0.0.6/opam
···
+
opam-version: "2.0"
+
synopsis: "A database of decision trees to recognize MIME type"
+
maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/dinosaure/conan"
+
doc: "https://dinosaure.github.io/conan/"
+
bug-reports: "https://github.com/dinosaure/conan/issues"
+
depends: [
+
"dune" {>= "2.9.0"}
+
"conan" {= version}
+
"alcotest" {>= "0.8.1" & with-test}
+
"crowbar" {with-test}
+
"fmt" {with-test}
+
"rresult" {>= "0.6" & with-test}
+
]
+
conflicts: ["ocaml-option-flambda"]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "install" "-p" name "--create-install-files" name]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/dinosaure/conan.git"
+
url {
+
src:
+
"https://github.com/mirage/conan/releases/download/v0.0.6/conan-0.0.6.tbz"
+
checksum: [
+
"sha256=b210257b881715ffb9dcbf88678c8559ec2aef26795a5304afd5a8b4bbf11e16"
+
"sha512=5b46c70c237a6c40b1119bdc33e30fb4911d9f60e5b6bc3976604a0a4bd17635ecbb0862b9944e6022090ab0f1d01bd5e1832b465a7c2c5328e88d7cf23c2e40"
+
]
+
}
+
x-commit-hash: "e24abf9eaff494e3bbd72262cf754fa29306108d"
+39
packages/conan-lwt/conan-lwt.0.0.6/opam
···
+
opam-version: "2.0"
+
synopsis: "Identify type of your file (such as the MIME type)"
+
description: """\
+
Conan is a re-implementation in OCaml of the file command.
+
The library is system-agnostic and can be used with MirageOS."""
+
maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
license: "MIT"
+
homepage: "https://github.com/mirage/conan"
+
doc: "https://mirage.github.io/conan/"
+
bug-reports: "https://github.com/mirage/conan/issues"
+
depends: [
+
"ocaml" {>= "4.08.0"}
+
"dune" {>= "2.9.0"}
+
"lwt"
+
"bigstringaf" {>= "0.2.0"}
+
"conan" {= version}
+
"alcotest" {>= "0.8.1" & with-test}
+
"crowbar" {with-test}
+
"fmt" {with-test}
+
"rresult" {>= "0.6" & with-test}
+
]
+
conflicts: ["ocaml-option-flambda"]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "install" "-p" name "--create-install-files" name]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/mirage/conan.git"
+
url {
+
src:
+
"https://github.com/mirage/conan/releases/download/v0.0.6/conan-0.0.6.tbz"
+
checksum: [
+
"sha256=b210257b881715ffb9dcbf88678c8559ec2aef26795a5304afd5a8b4bbf11e16"
+
"sha512=5b46c70c237a6c40b1119bdc33e30fb4911d9f60e5b6bc3976604a0a4bd17635ecbb0862b9944e6022090ab0f1d01bd5e1832b465a7c2c5328e88d7cf23c2e40"
+
]
+
}
+
x-commit-hash: "e24abf9eaff494e3bbd72262cf754fa29306108d"
+38
packages/conan-unix/conan-unix.0.0.6/opam
···
+
opam-version: "2.0"
+
synopsis: "Identify type of your file (such as the MIME type)"
+
description: """\
+
Conan is a re-implementation in OCaml of the file command.
+
The library is system-agnostic and can be used with MirageOS."""
+
maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/mirage/conan"
+
doc: "https://mirage.github.io/conan/"
+
bug-reports: "https://github.com/mirage/conan/issues"
+
depends: [
+
"ocaml" {>= "4.08.0"}
+
"base-unix"
+
"conan" {= version}
+
"dune" {>= "2.9.0"}
+
"alcotest" {>= "0.8.1" & with-test}
+
"crowbar" {with-test}
+
"fmt" {with-test}
+
"rresult" {>= "0.6" & with-test}
+
]
+
conflicts: ["ocaml-option-flambda"]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "install" "-p" name "--create-install-files" name]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/mirage/conan.git"
+
url {
+
src:
+
"https://github.com/mirage/conan/releases/download/v0.0.6/conan-0.0.6.tbz"
+
checksum: [
+
"sha256=b210257b881715ffb9dcbf88678c8559ec2aef26795a5304afd5a8b4bbf11e16"
+
"sha512=5b46c70c237a6c40b1119bdc33e30fb4911d9f60e5b6bc3976604a0a4bd17635ecbb0862b9944e6022090ab0f1d01bd5e1832b465a7c2c5328e88d7cf23c2e40"
+
]
+
}
+
x-commit-hash: "e24abf9eaff494e3bbd72262cf754fa29306108d"
+6 -6
packages/conf-cuda/conf-cuda.1/opam
···
#include \"cuda.h\"
#include \"nvrtc.h\"
"]
-
["sh" "-exc" "cc -c $CFLAGS -I%{conf-cuda-config:cuda_path}%/include test.c"]
+
["sh" "-exc" "$(ocamlc -config-var c_compiler) -c $CFLAGS -I'%{conf-cuda-config:cuda_path}%/include' test.c"]
]
# Note: the minimal set of packages directly from NVidia repositories, e.g. for cudajit:
# "cuda-cudart-X-Y" "cuda-cudart-dev-X-Y" "cuda-runtime-X-Y" "cuda-nvrtc-X-Y" "cuda-nvrtc-dev-X-Y"
···
[ CUDA_PATH = "%{conf-cuda-config:cuda_path}%" ]
]
post-messages: [
-
"Make sure that CUDA is properly installed under the path %{conf-cuda-config:cuda_path}%; or properly set the CUDA_PATH environment variable and re-install opam package conf-cuda-config. See: https://docs.nvidia.com/cuda/ Failing configuration: CUDA_PATH=%{conf-cuda-config:cuda_path}%, is-WSL %{conf-cuda-config:is_wsl}%, OS family %{os-family}%"
+
"Make sure that CUDA is properly installed under the path %{conf-cuda-config:cuda_path}%; or properly set the CUDA_PATH environment variable and re-install opam package conf-cuda-config. We recommend using the latest version of CUDA, at least v12.8. See: https://docs.nvidia.com/cuda/ Failing configuration: CUDA_PATH=%{conf-cuda-config:cuda_path}%, is-WSL %{conf-cuda-config:is_wsl}%, OS family %{os-family}%"
{failure & conf-cuda-config:cuda_preinstalled}
"Execute: $ sudo add-apt-repository multiverse; sudo apt update; sudo apt-get install nvidia-cuda-dev nvidia-cuda-toolkit"
{failure & !conf-cuda-config:cuda_preinstalled & !conf-cuda-config:is_wsl & os-family = "debian" & os-distribution != "ubuntu"}
···
(os-family = "opensuse" | os-distribution = "opensuse-leap" | os-distribution = "opensuse-tumbleweed")}
"Execute: $ sudo pacman -Sy cuda"
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os-family = "arch"}
-
"Alternatively: manually install CUDA or verify that CUDA_PATH is set properly, and re-install opam package conf-cuda-config. See: https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html"
+
"Alternatively: manually install CUDA or verify that CUDA_PATH is set properly, and re-install opam package conf-cuda-config. We recommend using the latest version of CUDA, at least v12.8. See: https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html"
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os = "linux"}
-
"Manually install CUDA or verify that CUDA_PATH is set properly, and re-install opam package conf-cuda-config. See: https://docs.nvidia.com/cuda/cuda-installation-guide-microsoft-windows/index.html"
-
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os = "windows"}
+
"Manually install CUDA or verify that CUDA_PATH is set properly. See: https://docs.nvidia.com/cuda/cuda-installation-guide-microsoft-windows/index.html"
+
{failure & os-family = "windows"}
"If CUDA is supported on your system, manually install CUDA or verify that CUDA_PATH is set properly, and re-install opam package conf-cuda-config. See: https://docs.nvidia.com/cuda/"
-
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os != "linux" & os != "windows"}
+
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os != "linux" & os-family != "windows"}
]
synopsis: "Virtual package relying on a CUDA system installation"
description:
+26 -1
packages/conf-cuda-config/conf-cuda-config.1/opam
···
wsl_distro_name: "$WSL_DISTRO_NAME"
}
EOF
-
"""]
+
"""] { os-family != "windows" }
+
["sh" "-exc" """
+
if [ -d "$CUDA_PATH" ]; then
+
CUDA_PREINSTALLED="true"
+
elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v12.8" ]; then
+
CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v12.8"
+
CUDA_PREINSTALLED="true"
+
elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v12.9" ]; then
+
CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v12.9"
+
CUDA_PREINSTALLED="true"
+
elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v13.0" ]; then
+
CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v13.0"
+
CUDA_PREINSTALLED="true"
+
elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v13.1" ]; then
+
CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v13.1"
+
CUDA_PREINSTALLED="true"
+
elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA" ]; then
+
CUDA_PREINSTALLED="true"
+
else
+
CUDA_PREINSTALLED="false"
+
fi
+
echo 'opam-version: \"2.0\" variables { cuda_preinstalled: \"'$CUDA_PREINSTALLED'\" cuda_path: \"'$CUDA_PATH'\" }' > conf-cuda-config.config
+
"""] { os-family = "windows" }
+
[ "sh" "-exc" "cat conf-cuda-config.config" ] {os-family = "windows"}
+
[ "powershell" "-Command" "(Get-Content -Raw conf-cuda-config.config) -replace '\\\\', '\\\\' | Set-Content conf-cuda-config.config" ] {os-family = "windows"}
+
[ "sh" "-exc" "cat conf-cuda-config.config" ] {os-family = "windows"}
]
post-messages: [
"NOTE: assuming CUDA will be installed under %{conf-cuda-config:cuda_path}%"
+51
packages/conf-gmp/conf-gmp.5/opam
···
+
opam-version: "2.0"
+
maintainer: "nbraud"
+
homepage: "http://gmplib.org/"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
license: "GPL-1.0-or-later"
+
build: [
+
["sh" "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c"] { os != "win32" }
+
[
+
"sh"
+
"-exc"
+
"$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
+
] {os = "win32" & os-distribution = "cygwinports"}
+
[
+
"sh"
+
"-exc"
+
"%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
+
] {os = "win32" & os-distribution != "cygwinports"}
+
]
+
depends: [
+
"conf-pkg-config" {os = "macos"}
+
(("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-i686" {os = "win32" & os-distribution != "cygwinports"}) |
+
("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-x86_64" {os = "win32" & os-distribution != "cygwinports"}))
+
]
+
depexts: [
+
["libgmp-dev"] {os-family = "debian"}
+
["libgmp-dev"] {os-family = "ubuntu"}
+
["gmp"] {os = "macos" & os-distribution = "homebrew"}
+
["gmp"] {os-distribution = "macports" & os = "macos"}
+
["gmp" "gmp-devel"] {os-distribution = "centos"}
+
["gmp" "gmp-devel"] {os-distribution = "fedora" | os-family = "fedora"}
+
["gmp" "gmp-devel"] {os-distribution = "ol"}
+
["gmp"] {os = "openbsd"}
+
["gmp"] {os = "freebsd"}
+
["gmp-dev"] {os-distribution = "alpine"}
+
["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
+
["gmp"] {os = "win32" & os-distribution = "cygwinports"}
+
["gmp"] {os-distribution = "nixos"}
+
]
+
synopsis: "Virtual package relying on a GMP lib system installation"
+
description:
+
"This package can only install if the GMP lib is installed on the system."
+
authors: "nbraud"
+
flags: conf
+
extra-source "test.c" {
+
src:
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.4"
+
checksum: [
+
"sha256=54a30735f1f271a2531526747e75716f4490dd7bc1546efd6498ccfe3cc4d6fb"
+
"md5=2fd2970c293c36222a6d299ec155823f"
+
]
+
}
+38
packages/conf-gmp-powm-sec/conf-gmp-powm-sec.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Etienne Millon <etienne@cryptosense.com>"
+
homepage: "http://gmplib.org/"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
license: "GPL-1.0-or-later"
+
build: [
+
["sh" "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c"] { os != "win32" }
+
[
+
"sh"
+
"-exc"
+
"$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
+
] {os = "win32" & os-distribution = "cygwinports"}
+
[
+
"sh"
+
"-exc"
+
"%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
+
] {os = "win32" & os-distribution != "cygwinports"}
+
]
+
depends: [
+
"conf-gmp"
+
("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} |
+
"host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"})
+
]
+
synopsis:
+
"Virtual package relying on a GMP lib with constant-time modular exponentiation"
+
description: """
+
This package can only install if the GMP lib is installed on the system and
+
corresponds to a version that has the mpz_powm_sec function."""
+
authors: "Etienne Millon <etienne@cryptosense.com>"
+
flags: conf
+
extra-source "test.c" {
+
src:
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp-powm-sec/test.c.3"
+
checksum: [
+
"sha256=388b3879530257a7e6e59b68208ee2a52de7be30e40eb4d3a54419708fdad490"
+
"md5=29317f477fa828e18428660ef31064fb"
+
]
+
}
+1 -2
packages/core_unix/core_unix.v0.16.0/opam
···
description: "
Unix-specific extensions to some of the modules defined in [core] and [core_kernel].
"
-
depexts: ["linux-headers"] {os-family = "alpine"}
-
available: [ !(os = "freebsd" & os-version >= "14") ]
+
available: [ !(os = "freebsd" & os-version >= "14") & os-distribution != "alpine" ]
url {
src: "https://ocaml.janestreet.com/ocaml-core/v0.16/files/core_unix-v0.16.0.tar.gz"
checksum: "sha256=4f70a9d3a761799d00c0a207942b4abd9f1a144bbcb19df98021d9fb7bfa9e5f"
+2 -2
packages/core_unix/core_unix.v0.17.0/opam
···
["dune" "build" "-p" name "-j" jobs]
]
depends: [
-
"ocaml" {>= "5.1.0"}
+
"ocaml" {>= "5.1.0" & < "5.3"}
"core" {>= "v0.17" & < "v0.18"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"expect_test_helpers_core" {>= "v0.17" & < "v0.18"}
···
"dune" {>= "3.11.0"}
"spawn" {>= "v0.15"}
]
-
available: [ (arch = "x86_64" | arch = "arm64") & !(os = "freebsd" & os-version >= "14") ]
+
available: [ (arch = "x86_64" | arch = "arm64") & !(os = "freebsd" & os-version >= "14") & os-distribution != "alpine"]
synopsis: "Unix-specific portions of Core"
description: "
Unix-specific extensions to some of the modules defined in [core] and [core_kernel].
+54
packages/cudajit/cudajit.0.7.0/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis:
+
"Bindings to the `cuda` and `nvrtc` libraries with a unified interface"
+
description:
+
"Bindings to manually selected parts of `lcuda` and `lnvrtc`, with a few types and conversion functions to facilitate use."
+
maintainer: ["Lukasz Stafiniak <lukstafi@gmail.com>"]
+
authors: ["Lukasz Stafiniak"]
+
license: "MIT"
+
tags: ["cuda" "jit" "nvrtc"]
+
homepage: "https://github.com/lukstafi/ocaml-cudajit"
+
doc: "https://github.com/lukstafi/ocaml-cudajit/blob/master/README.md"
+
bug-reports: "https://github.com/lukstafi/ocaml-cudajit/issues"
+
depends: [
+
"ocaml" {>= "4.13"}
+
"dune" {>= "3.16"}
+
"ctypes" {>= "0.14.0"}
+
"ctypes-foreign"
+
"sexplib0"
+
"ppx_sexp_conv"
+
"ppx_expect"
+
"conf-cuda"
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/lukstafi/ocaml-cudajit.git"
+
post-messages: [
+
"NOTE: CUDA drivers are outside the scope of system packages and might need to be installed manually."
+
{failure & !conf-cuda-config:is_wsl}
+
"NOTE: double-check if CUDA drivers for Windows are installed and Linux libraries don't hide WSL stubs; see: https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html#network-repo-installation-for-wsl"
+
{failure & conf-cuda-config:is_wsl}
+
]
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/lukstafi/ocaml-cudajit/archive/refs/tags/0.7.0.tar.gz"
+
checksum: [
+
"md5=a317edb6a5e41c7923b37d92af4c87f0"
+
"sha512=63d31e1949629e2dc9f3acd82716540d6377362376ed07cfef23b75f0e346adec337b8e1afdbb25088e3c9cc4ac54ee3c96fe024a81be044289cad106db019e2"
+
]
+
}
+69
packages/diffast/diffast.0.2/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "Diff/AST: A fine-grained source code differencing tool"
+
description:
+
"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."
+
maintainer: [
+
"Codinuum <codinuum@me.com>"
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
+
]
+
authors: [
+
"Codinuum <codinuum@me.com>"
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
+
]
+
license: "Apache-2.0"
+
homepage: "https://github.com/codinuum/diffast"
+
doc: "https://github.com/codinuum/diffast/README.md"
+
bug-reports: "https://github.com/codinuum/diffast/issues"
+
depends: [
+
"dune" {>= "3.17"}
+
"ocaml" {>= "4.14"}
+
"diffast-misc"
+
"diffast-core" {= version}
+
"diffast-etc"
+
"diffast-api" {= version}
+
"diffast-cli" {= version}
+
"diffast-git" {= version}
+
"diffast-git-cli" {= version}
+
"diffast-langs-common" {= version}
+
"diffast-langs-cpp-parsing" {= version}
+
"diffast-langs-cpp-spec" {= version}
+
"diffast-langs-cpp" {= version}
+
"diffast-langs-fortran-parsing" {= version}
+
"diffast-langs-fortran-spec" {= version}
+
"diffast-langs-fortran" {= version}
+
"diffast-langs-java-parsing" {= version}
+
"diffast-langs-java-spec" {= version}
+
"diffast-langs-java" {= version}
+
"diffast-langs-python-parsing" {= version}
+
"diffast-langs-python-spec" {= version}
+
"diffast-langs-python" {= version}
+
"diffast-langs-verilog-parsing" {= version}
+
"diffast-langs-verilog-spec" {= version}
+
"diffast-langs-verilog" {= version}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"--promote-install-files=false"
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
["dune" "install" "-p" name "--create-install-files" name]
+
]
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
+
url {
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
+
checksum: [
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
+
"md5=7404586197ede6a4f0a0d00a69069b37"
+
]
+
}
+44
packages/domainslib/domainslib.0.5.2/opam
···
+
opam-version: "2.0"
+
synopsis: "Parallel Structures over Domains for Multicore OCaml"
+
maintainer: ["KC Sivaramakrishnan <kc@kcsrk.info>" "Sudha Parimala"]
+
authors: ["KC Sivaramakrishnan <kc@kcsrk.info>"]
+
license: "ISC"
+
homepage: "https://github.com/ocaml-multicore/domainslib"
+
doc: "https://ocaml-multicore.github.io/domainslib/doc"
+
bug-reports: "https://github.com/ocaml-multicore/domainslib/issues"
+
depends: [
+
"dune" {>= "3.0"}
+
"ocaml" {>= "5.0"}
+
"saturn" {>= "1.0.0"}
+
"domain-local-await" {>= "0.1.0"}
+
"kcas" {>= "0.3.0" & with-test}
+
"mirage-clock-unix" {with-test & >= "4.2.0"}
+
"qcheck-core" {with-test & >= "0.20"}
+
"qcheck-multicoretests-util" {with-test & >= "0.1"}
+
"qcheck-stm" {with-test & >= "0.1"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ocaml-multicore/domainslib.git"
+
url {
+
src:
+
"https://github.com/ocaml-multicore/domainslib/releases/download/0.5.2/domainslib-0.5.2.tbz"
+
checksum: [
+
"sha256=a720ece2cb41b2a591ad1a44a2db9ecd5573e8b7b5112e8d46d0f275f9af1caf"
+
"sha512=08300d827a7aadd164929177ee15ef45a729a10b961efbb1df7051b1ddf9f869a3c77b58aa277e17ad2002f292b4970af1d8d6b9576f448e769996a36e64ed56"
+
]
+
}
+
x-commit-hash: "2a884868ff69c13ecef8efecca9ba1102ff11a7f"
+73
packages/dune/dune.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Fast, portable, and opinionated build system"
+
description: """
+
+
Dune is a build system that was designed to simplify the release of
+
Jane Street packages. It reads metadata from "dune" files following a
+
very simple s-expression syntax.
+
+
Dune is fast, has very low-overhead, and supports parallel builds on
+
all platforms. It has no system dependencies; all you need to build
+
dune or packages using dune is OCaml. You don't need make or bash
+
as long as the packages themselves don't use bash explicitly.
+
+
Dune is composable; supporting multi-package development by simply
+
dropping multiple repositories into the same directory.
+
+
Dune also supports multi-context builds, such as building against
+
several opam roots/switches simultaneously. This helps maintaining
+
packages across several versions of OCaml and gives cross-compilation
+
for free.
+
"""
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
conflicts: [
+
"merlin" {< "3.4.0"}
+
"ocaml-lsp-server" {< "1.3.0"}
+
"dune-configurator" {< "2.3.0"}
+
"odoc" {< "2.0.1"}
+
"dune-release" {< "1.3.0"}
+
"js_of_ocaml-compiler" {< "3.6.0"}
+
"jbuilder" {= "transition"}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["ocaml" "boot/bootstrap.ml" "-j" jobs]
+
["./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" jobs]
+
]
+
depends: [
+
# Please keep the lower bound in sync with .github/workflows/workflow.yml,
+
# dune-project and min_ocaml_version in bootstrap.ml
+
"ocaml" {>= "4.08"}
+
"base-unix"
+
"base-threads"
+
"lwt" { with-dev-setup & os != "win32" }
+
"cinaps" { with-dev-setup }
+
"csexp" { with-dev-setup & >= "1.3.0" }
+
"js_of_ocaml" { with-dev-setup & >= "6.0.1" & os != "win32" }
+
"js_of_ocaml-compiler" { with-dev-setup & >= "6.0.1" & os != "win32" }
+
"mdx" { with-dev-setup & >= "2.3.0" & os != "win32" }
+
"menhir" { with-dev-setup & os != "win32" }
+
"ocamlfind" { with-dev-setup & os != "win32" }
+
"odoc" { with-dev-setup & >= "2.4.0" & os != "win32" }
+
"ppx_expect" { with-dev-setup & >= "v0.17" & os != "win32" }
+
"ppx_inline_test" { with-dev-setup & os != "win32" }
+
"ppxlib" { with-dev-setup & >= "0.35.0" & os != "win32" }
+
"ctypes" { with-dev-setup & os != "win32" }
+
"utop" { with-dev-setup & >= "2.6.0" & os != "win32" }
+
"melange" { with-dev-setup & >= "5.1.0-51" & os != "win32" }
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+54
packages/dune-action-plugin/dune-action-plugin.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "[experimental] API for writing dynamic Dune actions"
+
description: """
+
+
This library is experimental. No backwards compatibility is implied.
+
+
dune-action-plugin provides an API for writing dynamic Dune actions.
+
Dynamic dune actions do not need to declare their dependencies
+
upfront; they are instead discovered automatically during the
+
execution of the action.
+
"""
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"dune-glob" {= version}
+
"csexp" {>= "1.5.0"}
+
"ppx_expect" {with-test}
+
"stdune" {= version}
+
"dune-private-libs" {= version}
+
"dune-rpc" {= version}
+
"base-unix"
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+47
packages/dune-build-info/dune-build-info.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Embed build information inside executable"
+
description: """
+
The build-info library allows to access information about how the
+
executable was built, such as the version of the project at which it
+
was built or the list of statically linked libraries with their
+
versions. It supports reporting the version from the version control
+
system during development to get an precise reference of when the
+
executable was built.
+
"""
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+51
packages/dune-configurator/dune-configurator.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Helper library for gathering system configuration"
+
description: """
+
dune-configurator is a small library that helps writing OCaml scripts that
+
test features available on the system, in order to generate config.h
+
files for instance.
+
Among other things, dune-configurator allows one to:
+
- test if a C program compiles
+
- query pkg-config
+
- import #define from OCaml header files
+
- generate config.h file
+
"""
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08.0"}
+
"base-unix"
+
"csexp" {>= "1.5.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+44
packages/dune-glob/dune-glob.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Glob string matching language supported by dune"
+
description:
+
"dune-glob provides a parser and interpreter for globs as understood by dune language."
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"stdune" {= version}
+
"dyn"
+
"ordering"
+
"dune-private-libs" {= version}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+52
packages/dune-private-libs/dune-private-libs.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Private libraries of Dune"
+
description: """
+
!!!!!!!!!!!!!!!!!!!!!!
+
!!!!! DO NOT USE !!!!!
+
!!!!!!!!!!!!!!!!!!!!!!
+
+
This package contains code that is shared between various dune-xxx
+
packages. However, it is not meant for public consumption and provides
+
no stability guarantee.
+
"""
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"csexp" {>= "1.5.0"}
+
"pp" {>= "1.1.0"}
+
"dyn" {= version}
+
"stdune" {= version}
+
"ocaml" {>= "4.08"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(none)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+45
packages/dune-rpc/dune-rpc.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Communicate with dune using rpc"
+
description: "Library to connect and control a running dune instance"
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"csexp"
+
"ordering"
+
"dyn"
+
"xdg"
+
"stdune" {= version}
+
"pp" {>= "1.1.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+43
packages/dune-rpc-lwt/dune-rpc-lwt.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Communicate with dune using rpc and Lwt"
+
description: "Specialization of dune-rpc to Lwt"
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"dune-rpc" {= version}
+
"csexp" {>= "1.5.0"}
+
"lwt" {>= "5.6.0"}
+
"base-unix"
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+39
packages/dune-site/dune-site.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Embed locations information inside executable and libraries"
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"dune-private-libs" {= version}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(latest)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+42
packages/dyn/dyn.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Dynamic type"
+
description: "Dynamic type"
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08.0"}
+
"ordering" {= version}
+
"pp" {>= "1.1.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(none)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+62
packages/gappa/gappa.1.3.5/opam
···
+
opam-version: "2.0"
+
maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
+
authors: "Guillaume Melquiond"
+
bug-reports: "https://gitlab.inria.fr/gappa/gappa/-/issues"
+
homepage: "https://gitlab.inria.fr/gappa/gappa"
+
dev-repo: "git+https://gitlab.inria.fr/gappa/gappa.git"
+
license: "CeCILL"
+
patches: [
+
"remake.patch"
+
"0001-Added-configure-for-c-11.patch"
+
]
+
build: [
+
[ "autoreconf" ]
+
# Note: configure.in seems to reference this file
+
[ "touch" "stamp-config_h.in" ]
+
[ "./configure"
+
# If someone knows how to ask MacPorts for the usual include and lib path, please tell me
+
"CXXFLAGS=-I/opt/local/include" { os-distribution = "macports" & os = "macos" }
+
"LDFLAGS=-L/opt/local/lib" { os-distribution = "macports" & os = "macos" }
+
# Support installing on Apple Silicon with Homebrew
+
"CXXFLAGS=-I/opt/homebrew/include" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}
+
"LDFLAGS=-L/opt/homebrew/lib" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}
+
"--build=%{arch}%-pc-cygwin" { os = "win32" & os-distribution = "cygwinports" }
+
"--host=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }
+
"--target=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }
+
"--prefix=%{prefix}%"
+
]
+
[ "./remake" "--jobs=%{jobs}%" ]
+
]
+
install: [ "./remake" "-d" "install" ]
+
depends: [
+
"conf-g++" {build}
+
"conf-autoconf" {build}
+
"conf-automake" {build}
+
"conf-gmp"
+
"conf-mpfr"
+
"conf-boost"
+
"conf-bison" {build}
+
"conf-flex" {build}
+
]
+
available: arch != "x86_32"
+
synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
+
url {
+
src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"
+
checksum: "sha512=60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6"
+
}
+
extra-source "remake.patch" {
+
src:
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gappa/remake.patch"
+
checksum: [
+
"sha256=365967b9cd294d485302b6c14a072ac06d3238bfeb313eaae07159a8542fc5ff"
+
"md5=d66b718118ae5bf61c661905f6f0db96"
+
]
+
}
+
extra-source "0001-Added-configure-for-c-11.patch" {
+
src:
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gappa/0001-Added-configure-for-c-11.patch"
+
checksum: [
+
"sha256=5d9ff1e6461834c2d3d6c4cb1f9dd7424a4a681b40cab19a6fbbe0ff8d50284e"
+
"md5=b6a6dbe9a12feae79eab038864208a3c"
+
]
+
}
+42
packages/http-lwt-client/http-lwt-client.0.3.2/opam
···
+
opam-version: "2.0"
+
maintainer: "Robur <team@robur.coop>"
+
authors: ["Robur <team@robur.coop>"]
+
homepage: "https://github.com/robur-coop/http-lwt-client"
+
dev-repo: "git+https://github.com/robur-coop/http-lwt-client.git"
+
bug-reports: "https://github.com/robur-coop/http-lwt-client/issues"
+
license: "BSD-3-clause"
+
+
depends: [
+
"ocaml" {>= "4.08.0"}
+
"dune" {>= "2.0.0"}
+
"cmdliner" {>= "1.1.0"}
+
"logs"
+
"lwt"
+
"base64" {>= "3.1.0"}
+
"faraday-lwt-unix"
+
"httpaf" {>= "0.7.0"}
+
"tls" {>= "1.0.0"}
+
"tls-lwt" {>= "1.0.0"}
+
"ca-certs"
+
"fmt"
+
"bos"
+
"happy-eyeballs-lwt"
+
"h2" {>= "0.10.0"}
+
]
+
conflicts: [ "result" {< "1.5"} ]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
+
synopsis: "A simple HTTP client using http/af, h2, and lwt"
+
x-maintenance-intent: [ "(latest)" ]
+
url {
+
src:
+
"https://github.com/robur-coop/http-lwt-client/releases/download/v0.3.2/http-lwt-client-0.3.2.tbz"
+
checksum: [
+
"sha256=488bc9d06135d404126a6090d8d58811bf3d7f0d119277d511e0a205cf6db5a5"
+
"sha512=86c2bfc74a9b3736e1f9a9edddbacb0b0969f379d9cb47336afd307523b6647b1bdaaaf98ca3a5c2716e9a32b5b022a5cbd47373078653d2278a86b0f7a761df"
+
]
+
}
+
x-commit-hash: "f0245150db0c37752a36bc75b92217b9601c251b"
+50
packages/icalendar/icalendar.0.1.11/opam
···
+
opam-version: "2.0"
+
maintainer: [
+
"Stefanie Schirmer @linse"
+
]
+
authors: [
+
"Stefanie Schirmer @linse"
+
"Hannes Mehnert"
+
]
+
homepage: "https://github.com/robur-coop/icalendar"
+
bug-reports: "https://github.com/robur-coop/icalendar/issues"
+
dev-repo: "git+https://github.com/robur-coop/icalendar.git"
+
tags: ["org:mirage" "org:robur"]
+
doc: "https://robur-coop.github.io/icalendar/"
+
license: "ISC"
+
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
+
depends: [
+
"ocaml" {>= "4.10.0"}
+
"dune" {>= "1.3"}
+
"alcotest" {with-test}
+
"fmt"
+
"angstrom" {>= "0.14.0"}
+
"re" {>= "1.7.2"}
+
"uri"
+
"ptime"
+
"ppx_deriving"
+
"gmap" {>= "0.3.0"}
+
]
+
+
synopsis: "A library to parse and print the iCalendar (RFC 5545) format"
+
description: """
+
Parse and print .ics files as specified in RFC 5545.
+
Supports recurrent events, but only to the day level of detail.
+
Does not support vJournal components.
+
"""
+
x-maintenance-intent: [ "(latest)" ]
+
url {
+
src:
+
"https://github.com/robur-coop/icalendar/releases/download/v0.1.11/icalendar-0.1.11.tbz"
+
checksum: [
+
"sha256=be425cf4f272d08d4102207f637169750fb0845ab2f6fc109dd242e95552c346"
+
"sha512=791b747e463edd27823905625352e476931710fde2ea6248e94334a994ec4a08fb86c2c03bac0e359b7a17529d5b479b65d0111c9677e06769c01bb904a268dc"
+
]
+
}
+
x-commit-hash: "5462bc2a0780f2b879c75a62aec91305ed1f5825"
+44
packages/jasmin/jasmin.2025.02.1/opam
···
+
opam-version: "2.0"
+
synopsis: "Compiler for High-Assurance and High-Speed Cryptography"
+
description: """
+
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin
+
implementations aim at being efficient, safe, correct, and secure.
+
"""
+
maintainer: "Jean-Christophe Lรฉchenet <jean-christophe.lechenet@inria.fr>"
+
author: "Jasmin authors and contributors"
+
license: "MIT"
+
homepage: "https://github.com/jasmin-lang/jasmin"
+
bug-reports: "https://github.com/jasmin-lang/jasmin/issues"
+
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
+
+
depends: [
+
"ocaml" {>= "4.11" & build}
+
"batteries" {>= "3.5.0"}
+
"menhir" {>= "20160825" & build}
+
"menhirLib"
+
"camlidl"
+
"zarith" {>= "1.9.0"}
+
"apron" {>= "v0.9.12"}
+
"conf-ppl"
+
"yojson" {>= "1.6.0"}
+
"dune" {>= "3.2"}
+
"cmdliner" {>= "1.1" & build }
+
"angstrom" {>= "0.14.0"}
+
"ocamlfind" { build }
+
]
+
build: [
+
[make "-C" "compiler" "build"]
+
]
+
install: [
+
["mkdir" "-p" "%{prefix}%/bin"]
+
["cp" "-L" "compiler/_build/install/default/bin/jasminc" "%{prefix}%/bin/jasminc"]
+
["cp" "-L" "compiler/_build/install/default/bin/jasmin2tex" "%{prefix}%/bin/jasmin2tex"]
+
["cp" "-L" "compiler/_build/install/default/bin/jasmin-ct" "%{prefix}%/bin/jasmin-ct"]
+
["cp" "-L" "compiler/_build/install/default/bin/jasmin2ec" "%{prefix}%/bin/jasmin2ec"]
+
["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"]
+
["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""]
+
]
+
url {
+
src: "https://github.com/jasmin-lang/jasmin/releases/download/v2025.02.1/jasmin-compiler-v2025.02.1.tar.bz2"
+
checksum: "sha256=ed6184b6c4c9e3f47edf48331656290af66b672ce267a80309e9961055fee619"
+
}
+40
packages/linol/linol.0.9/opam
···
+
opam-version: "2.0"
+
synopsis: "LSP server library"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Simon Cruanes"]
+
license: "MIT"
+
homepage: "https://github.com/c-cube/linol"
+
bug-reports: "https://github.com/c-cube/linol/issues"
+
depends: [
+
"dune" {>= "2.0"}
+
"yojson" {>= "1.6"}
+
"logs"
+
"trace" {>= "0.4"}
+
"lsp" {>= "1.19" & < "1.23"}
+
"jsonrpc" {>= "1.19" & < "1.23"}
+
"ocaml" {>= "4.14"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/c-cube/linol.git"
+
url {
+
src: "https://github.com/c-cube/linol/releases/download/v0.9/linol-0.9.tbz"
+
checksum: [
+
"sha256=7f3ef80e73a69289589a906990f18de52ce4a46e6447b30aea77f87aae677e63"
+
"sha512=713340015bee1807cd39e76048d8b30d6d24a4f262e3dfaacfe8726b52e1f8f93c5184a50485cfa657ff0ee66a813c7ec8bc812580dec489a5b81051e3ddb0e6"
+
]
+
}
+
x-commit-hash: "a63ac9b5cb6288d756a2d5f6a748e1a9c52f70af"
+41
packages/linol-eio/linol-eio.0.9/opam
···
+
opam-version: "2.0"
+
synopsis: "LSP server library (with Eio for concurrency)"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Nick Hu"]
+
license: "MIT"
+
homepage: "https://github.com/c-cube/linol"
+
bug-reports: "https://github.com/c-cube/linol/issues"
+
depends: [
+
"dune" {>= "2.0"}
+
"yojson" {>= "1.6"}
+
"linol" {= version}
+
"base-unix"
+
"eio" {>= "1.0" & < "2.0"}
+
"eio_main" {with-test}
+
"lsp" {>= "1.19" & < "1.23"}
+
"jsonrpc" {>= "1.19" & < "1.23"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/c-cube/linol.git"
+
url {
+
src: "https://github.com/c-cube/linol/releases/download/v0.9/linol-0.9.tbz"
+
checksum: [
+
"sha256=7f3ef80e73a69289589a906990f18de52ce4a46e6447b30aea77f87aae677e63"
+
"sha512=713340015bee1807cd39e76048d8b30d6d24a4f262e3dfaacfe8726b52e1f8f93c5184a50485cfa657ff0ee66a813c7ec8bc812580dec489a5b81051e3ddb0e6"
+
]
+
}
+
x-commit-hash: "a63ac9b5cb6288d756a2d5f6a748e1a9c52f70af"
+40
packages/linol-lwt/linol-lwt.0.9/opam
···
+
opam-version: "2.0"
+
synopsis: "LSP server library (with Lwt for concurrency)"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Simon Cruanes"]
+
license: "MIT"
+
homepage: "https://github.com/c-cube/linol"
+
bug-reports: "https://github.com/c-cube/linol/issues"
+
depends: [
+
"dune" {>= "2.0"}
+
"yojson" {>= "1.6"}
+
"linol" {= version}
+
"base-unix"
+
"lwt" {>= "5.1" & < "6.0"}
+
"lsp" {>= "1.19" & < "1.23"}
+
"jsonrpc" {>= "1.19" & < "1.23"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/c-cube/linol.git"
+
url {
+
src: "https://github.com/c-cube/linol/releases/download/v0.9/linol-0.9.tbz"
+
checksum: [
+
"sha256=7f3ef80e73a69289589a906990f18de52ce4a46e6447b30aea77f87aae677e63"
+
"sha512=713340015bee1807cd39e76048d8b30d6d24a4f262e3dfaacfe8726b52e1f8f93c5184a50485cfa657ff0ee66a813c7ec8bc812580dec489a5b81051e3ddb0e6"
+
]
+
}
+
x-commit-hash: "a63ac9b5cb6288d756a2d5f6a748e1a9c52f70af"
+48
packages/mazeppa/mazeppa.0.5.2/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "A modern supercompiler for call-by-value functional languages"
+
maintainer: ["mazeppa-dev <mazeppa.dev@protonmail.com>"]
+
authors: ["mazeppa-dev <mazeppa.dev@protonmail.com>"]
+
license: "MIT"
+
homepage: "https://github.com/mazeppa-dev/mazeppa"
+
doc: "https://github.com/mazeppa-dev/mazeppa"
+
bug-reports: "https://github.com/mazeppa-dev/mazeppa/issues"
+
depends: [
+
"ocaml" {>= "4.14"}
+
"dune" {>= "3.14"}
+
"pprint"
+
"checked_oint" {>= "0.5.0"}
+
"ppx_deriving"
+
"ppx_string_interpolation"
+
"ppx_yojson_conv"
+
"ppx_blob" {>= "0.9.0"}
+
"bisect_ppx"
+
"menhir" {>= "20180905"}
+
"spectrum" {>= "0.6.0"}
+
"clap"
+
"alcotest" {>= "1.7.0"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/mazeppa-dev/mazeppa.git"
+
url {
+
src:
+
"https://github.com/mazeppa-dev/mazeppa/releases/download/v0.5.2/mazeppa-0.5.2.tar.gz"
+
checksum: [
+
"md5=6b8b1051babf32d3d050935d5fade88c"
+
"sha512=33a2defbf8257d2cf39916d433411e6f10f9fc80069bbeaf29db669b635c0c3a92552c1b9abc0206b80cb9720bb31386c5ba5cf3d97a7dce571962d2f83aad91"
+
]
+
}
+61
packages/neural_nets_lib/neural_nets_lib.0.5.2/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis:
+
"A from-scratch Deep Learning framework with an optimizing compiler, shape inference, concise syntax"
+
description:
+
"OCaml Compiles Algorithms for Neural Networks Learning is a compiled Deep Learning framework that puts emphasis on low-level backends (like tinygrad), shape inference, concise notation (ab)using PPX."
+
maintainer: ["Lukasz Stafiniak <lukstafi@gmail.com>"]
+
authors: ["Lukasz Stafiniak"]
+
license: "BSD-2-Clause"
+
tags: ["deeplearning" "tensor" "backprop" "jit" "gccjit" "CUDA"]
+
homepage: "https://github.com/lukstafi/ocannl"
+
doc: "https://github.com/lukstafi/ocannl/blob/master/README.md"
+
bug-reports: "https://github.com/lukstafi/ocannl/issues"
+
depends: [
+
"ocaml" {>= "5.2.0"}
+
"dune" {>= "3.16"}
+
"base" {>= "v0.17.0"}
+
"arrayjit" {>= "0.5.2"}
+
"printbox" {>= "0.12"}
+
"printbox-text" {>= "0.12"}
+
"printbox-ext-plot" {>= "0.12"}
+
"angstrom" {>= "0.15"}
+
"stdio"
+
"sexplib"
+
"num"
+
"time_now"
+
"ppxlib"
+
"ppx_compare"
+
"ppx_fields_conv"
+
"ppx_hash"
+
"ppx_here"
+
"ppx_sexp_conv"
+
"ppx_string"
+
"ppx_variants_conv"
+
"ppx_expect"
+
"ppx_minidebug" {>= "2.2.0"}
+
"odoc" {with-doc}
+
"md2mld" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/lukstafi/ocannl.git"
+
url {
+
src: "https://github.com/ahrefs/ocannl/archive/refs/tags/0.5.2.tar.gz"
+
checksum: [
+
"md5=1f62613c37076ccb1c57a78c13a1a388"
+
"sha512=bccea3b2ad2cd6a96b1f03aaf8e127c800687a69191e5d09c7adf5e26c3bccd73f993eef91154a1ce2bcf4eeebf5bdb8d5372932018b4307515e8b6f5f4e94ab"
+
]
+
}
+1 -1
packages/ocaml-option-tsan/ocaml-option-tsan.1/opam
···
"ocaml-option-bytecode-only"
"ocaml-option-32bit"
"ocaml-option-leak-sanitizer"
-
"ocaml-option-address-sanitier"
+
"ocaml-option-address-sanitizer"
]
available: os != "win32"
maintainer: "David Allsopp <david@tarides.com>"
+45
packages/ocamlc-loc/ocamlc-loc.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Parse ocaml compiler output into structured form"
+
description:
+
"This library offers no backwards compatibility guarantees. Use at your own risk."
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08.0"}
+
"dyn" {= version}
+
"odoc" {with-doc}
+
]
+
conflicts: [
+
"ocaml-lsp-server" {< "1.15.0"}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(none)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+29
packages/opam-build/opam-build.0.2.5/opam
···
+
opam-version: "2.0"
+
synopsis: "An opam plugin to build projects"
+
maintainer: "Kate <kit-ty-kate@outlook.com>"
+
description: """
+
opam-build allows to build any project easily with just one command: opam build. This will setup a local switch and install all the required dependencies.
+
"""
+
authors: "Kate <kit-ty-kate@outlook.com>"
+
license: "MIT"
+
homepage: "https://github.com/kit-ty-kate/opam-build"
+
bug-reports: "https://github.com/kit-ty-kate/opam-build/issues"
+
depends: [
+
"ocaml" {>= "4.08"}
+
"dune" {>= "2.0"}
+
"opam-client" {>= "2.3" & < "2.4"}
+
"cmdliner" {>= "1.1"}
+
"xdg" {>= "3.0.0"}
+
]
+
available: opam-version >= "2.3" & opam-version < "2.4"
+
flags: plugin
+
build: ["dune" "build" "-p" name "-j" jobs]
+
dev-repo: "git+https://github.com/kit-ty-kate/opam-build.git"
+
url {
+
src:
+
"https://github.com/kit-ty-kate/opam-build/releases/download/v0.2.5/opam-build-0.2.5.tar.gz"
+
checksum: [
+
"md5=7d68bc72a303aafa5d1546fa6bc55d7b"
+
"sha512=a07acfff1f566c9f4e50fba8b9dae9c25a09acd304e6a5c260602e31eb3932aef02795de16f2616ba78a93db2499114cc6a1371d65dd34c1a45418b16f75886a"
+
]
+
}
+29
packages/opam-test/opam-test.0.2.5/opam
···
+
opam-version: "2.0"
+
synopsis: "An opam plugin to test projects"
+
maintainer: "Kate <kit-ty-kate@outlook.com>"
+
description: """
+
opam-test: similar to opam-build, this will setup a local switch and install all the required dependencies, but will also run the tests on top of it. It also circumvents issues with cyclic test dependencies in opam (where the tests require a package that needs the library it is trying to test). Such cyclic dependency is present in packages such as odoc or base. See https://github.com/ocaml/opam/issues/4594
+
"""
+
authors: "Kate <kit-ty-kate@outlook.com>"
+
license: "MIT"
+
homepage: "https://github.com/kit-ty-kate/opam-build"
+
bug-reports: "https://github.com/kit-ty-kate/opam-build/issues"
+
depends: [
+
"ocaml" {>= "4.08"}
+
"dune" {>= "2.0"}
+
"opam-client" {>= "2.3" & < "2.4"}
+
"cmdliner" {>= "1.1"}
+
"xdg" {>= "3.0.0"}
+
]
+
available: opam-version >= "2.3" & opam-version < "2.4"
+
flags: plugin
+
build: ["dune" "build" "-p" name "-j" jobs]
+
dev-repo: "git+https://github.com/kit-ty-kate/opam-build.git"
+
url {
+
src:
+
"https://github.com/kit-ty-kate/opam-build/releases/download/v0.2.5/opam-build-0.2.5.tar.gz"
+
checksum: [
+
"md5=7d68bc72a303aafa5d1546fa6bc55d7b"
+
"sha512=a07acfff1f566c9f4e50fba8b9dae9c25a09acd304e6a5c260602e31eb3932aef02795de16f2616ba78a93db2499114cc6a1371d65dd34c1a45418b16f75886a"
+
]
+
}
+40
packages/ordering/ordering.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Element ordering"
+
description: "Element ordering"
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(none)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+48
packages/plist-xml/plist-xml.0.5.1/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"Reading and writing of plist files in the XML format in pure OCaml"
+
description: """
+
Reading and writing of plist files in the XML format in pure OCaml.
+
+
Implementation of https://www.apple.com/DTDs/PropertyList-1.0.dtd."""
+
maintainer: ["Alan Hu <ahulambda@gmail.com>"]
+
authors: ["Alan Hu <ahulambda@gmail.com>"]
+
license: "MIT"
+
homepage: "https://github.com/alan-j-hu/ocaml-plist-xml"
+
doc: "https://alan-j-hu.github.io/ocaml-plist-xml/"
+
bug-reports: "https://github.com/alan-j-hu/ocaml-plist-xml/issues"
+
depends: [
+
"dune" {>= "2.7"}
+
"base64" {>= "3.4"}
+
"ISO8601" {>= "0.2.6"}
+
"menhir" {>= "20220210"}
+
"ocaml" {>= "4.13"}
+
"xmlm" {>= "1.4"}
+
"eio" {>= "0.7" & with-test}
+
"eio_main" {>= "0.7" & with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/alan-j-hu/ocaml-plist-xml.git"
+
url {
+
src:
+
"https://github.com/alan-j-hu/ocaml-plist-xml/releases/download/0.5.1/plist-xml-0.5.1.tbz"
+
checksum: [
+
"sha256=3c40af8ede1c1e0b2893e44f5caecac7f1017271e820a9a57124ac736a49a678"
+
"sha512=bfdf0e6134a0369ffd0266db75f218037619fd0709d5812aa12aea6c4f4b996bd97264e8cbbb90817347d52bb380659c50f87b23b828b44cdd1a3d1d34818226"
+
]
+
}
+
x-commit-hash: "66cd5f23fb0b884e0564741f667861c16a873328"
+31
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.7/opam
···
+
opam-version: "2.0"
+
synopsis: "PPX Deriver for QCheck"
+
maintainer: "valentin.chb@gmail.com"
+
authors: "the qcheck contributors"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/c-cube/qcheck/"
+
bug-reports: "https://github.com/c-cube/qcheck/-/issues"
+
depends: [
+
"dune" {>= "2.8.0"}
+
"ocaml" {>= "4.08.0"}
+
"qcheck-core" {>= "0.24"}
+
"ppxlib" {>= "0.36.0"}
+
"ppx_deriving" {>= "6.1.0"}
+
"odoc" {with-doc}
+
"alcotest" {with-test & >= "1.4.0"}
+
"qcheck-alcotest" {with-test & >= "0.24"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
+
url {
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
+
checksum: [
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
+
]
+
}
+
x-maintenance-intent: ["(latest)"]
+45
packages/ppx_trace/ppx_trace.0.9.1/opam
···
+
opam-version: "2.0"
+
synopsis: "A ppx-based preprocessor for trace"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Simon Cruanes"]
+
license: "MIT"
+
tags: ["trace" "ppx"]
+
homepage: "https://github.com/c-cube/ocaml-trace"
+
bug-reports: "https://github.com/c-cube/ocaml-trace/issues"
+
depends: [
+
"ocaml" {>= "4.12"}
+
"ppxlib" {>= "0.28" & < "0.36"}
+
"trace" {= version}
+
"trace-tef" {= version & with-test}
+
"dune" {>= "2.9"}
+
"odoc" {with-doc}
+
]
+
depopts: [
+
"mtime" {>= "2.0"}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"--promote-install-files=false"
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
["dune" "install" "-p" name "--create-install-files" name]
+
]
+
dev-repo: "git+https://github.com/c-cube/ocaml-trace.git"
+
url {
+
src:
+
"https://github.com/c-cube/ocaml-trace/releases/download/v0.9.1/trace-0.9.1.tbz"
+
checksum: [
+
"sha256=9739d5f46becb407e96943f4f0d6d0919e03c14299ab9c2ddbb8d46b6f7a3ea4"
+
"sha512=500230dedc834cbb8535a1624408c2f0e67683bacef5e4a55b7639c4013f6247d3aa4cbc56b61810d0138f736c1245b6b334bd3991c2e86d03faee47b729c547"
+
]
+
}
+
x-commit-hash: "35bb142cd077068781725ac8b20116506781ac72"
+46
packages/pratter/pratter.5.0.1/opam
···
+
opam-version: "2.0"
+
synopsis: "Parse strings of tokens and mixfix operators"
+
description: """
+
Pratter allows to transform strings of symbols and mixfix operators to full
+
binary trees.
+
Pratter is convenient for parsing languages made of terms with many mixfix
+
operators with different associativities and precedences such as
+
arithmetic or ฮป-calculi.
+
In contrast to parser generators, parsing rules can be edited dynamically.
+
"""
+
maintainer: ["Gabriel Hondet <koizel#pratter@aleeas.com>"]
+
authors: ["Gabriel Hondet <koizel#pratter@aleeas.com>"]
+
license: "BSD-3-Clause"
+
homepage: "https://forge.tedomum.net/koizel/pratter"
+
bug-reports: "forge+koizel-pratter-440-88vbl82x0jh05jaaqy5kwyojw-issue@tedomum.net"
+
depends: [
+
"ocaml" {>= "4.10.0"}
+
"dune" {>= "2.7"}
+
# Release 1.5.0 of alcotest fixes interactions with the result library
+
"alcotest" {with-test & >= "1.5.0" & < "2"}
+
"qcheck" {with-test & >= "0.12" }
+
"qcheck-alcotest" {with-test & >= "0.12"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://forge.tedomum.net/koizel/pratter"
+
url {
+
src: "https://forge.tedomum.net/koizel/pratter/-/archive/5.0.1/pratter-5.0.1.tar.bz2"
+
checksum: [
+
"md5=7a75f978f8746f5745318422d562e361"
+
"sha256=1083dd78ef5413366fdd0bcfcdb19a59f92d145f677d89a502a5da109e965cac"
+
]
+
}
+35
packages/qcheck/qcheck.0.25/opam
···
+
opam-version: "2.0"
+
synopsis: "Compatibility package for qcheck"
+
maintainer: "simon.cruanes.2007@m4x.org"
+
authors: "the qcheck contributors"
+
license: "BSD-2-Clause"
+
tags: ["test" "property" "quickcheck"]
+
homepage: "https://github.com/c-cube/qcheck/"
+
doc: "http://c-cube.github.io/qcheck/"
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
+
depends: [
+
"dune" {>= "2.8.0"}
+
"base-unix"
+
"qcheck-core" {= version}
+
"qcheck-ounit" {= version}
+
"alcotest" {with-test & >= "1.2.0"}
+
"odoc" {with-doc}
+
"ocaml" {>= "4.08.0"}
+
]
+
conflicts: [
+
"ounit" {< "2.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
+
url {
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
+
checksum: [
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
+
]
+
}
+
x-maintenance-intent: ["(latest)"]
+31
packages/qcheck-alcotest/qcheck-alcotest.0.25/opam
···
+
opam-version: "2.0"
+
synopsis: "Alcotest backend for qcheck"
+
maintainer: "simon.cruanes.2007@m4x.org"
+
authors: "the qcheck contributors"
+
license: "BSD-2-Clause"
+
tags: ["test" "quickcheck" "qcheck" "alcotest"]
+
homepage: "https://github.com/c-cube/qcheck/"
+
doc: "http://c-cube.github.io/qcheck/"
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
+
depends: [
+
"dune" {>= "2.8.0"}
+
"base-unix"
+
"qcheck-core" {= version}
+
"alcotest" {>= "1.2.0"}
+
"odoc" {with-doc}
+
"ocaml" {>= "4.08.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
+
url {
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
+
checksum: [
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
+
]
+
}
+
x-maintenance-intent: ["(latest)"]
+33
packages/qcheck-core/qcheck-core.0.25/opam
···
+
opam-version: "2.0"
+
synopsis: "Core qcheck library"
+
maintainer: "simon.cruanes.2007@m4x.org"
+
authors: "the qcheck contributors"
+
license: "BSD-2-Clause"
+
tags: ["test" "property" "quickcheck"]
+
homepage: "https://github.com/c-cube/qcheck/"
+
doc: "http://c-cube.github.io/qcheck/"
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
+
depends: [
+
"dune" {>= "2.8.0"}
+
"base-unix"
+
"alcotest" {with-test & >= "1.2.0"}
+
"odoc" {with-doc}
+
"ocaml" {>= "4.08.0"}
+
]
+
conflicts: [
+
"ounit" {< "2.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
+
url {
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
+
checksum: [
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
+
]
+
}
+
x-maintenance-intent: ["(latest)"]
+53
packages/qcheck-lin/qcheck-lin.0.8/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "A multicore testing library for OCaml"
+
description: """
+
A testing library based on QCheck to test interface behaviour under parallel
+
usage. Lin will generate and run random parallel tests and check the observed
+
behaviour for sequential consistency, that is, whether they can be linearized
+
and explained by some sequential interleaving."""
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
+
license: "BSD-2-clause"
+
tags: [
+
"test"
+
"property"
+
"qcheck"
+
"quickcheck"
+
"parallelism"
+
"sequential consistency"
+
]
+
homepage: "https://github.com/ocaml-multicore/multicoretests"
+
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
+
depends: [
+
"dune" {>= "3.0"}
+
"ocaml" {>= "4.12"}
+
"qcheck-core" {>= "0.25"}
+
"qcheck-multicoretests-util" {= version}
+
"odoc" {with-doc}
+
]
+
depopts: ["base-domains"]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
+
checksum: [
+
"md5=8e7634814a61bf765ac6989f7fdc49cb"
+
"sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
+
]
+
}
+43
packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.8/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis:
+
"Various utility functions for property-based testing of multicore programs"
+
description: """
+
A small library of utility functions for QCheck-based testing of
+
multicore programs."""
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
+
license: "BSD-2-clause"
+
tags: ["test" "property" "qcheck" "quickcheck" "multicore" "non-determinism"]
+
homepage: "https://github.com/ocaml-multicore/multicoretests"
+
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
+
depends: [
+
"dune" {>= "3.0"}
+
"ocaml" {>= "4.12"}
+
"qcheck-core" {>= "0.25"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
+
checksum: [
+
"md5=8e7634814a61bf765ac6989f7fdc49cb"
+
"sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
+
]
+
}
+31
packages/qcheck-ounit/qcheck-ounit.0.25/opam
···
+
opam-version: "2.0"
+
synopsis: "OUnit backend for qcheck"
+
maintainer: "simon.cruanes.2007@m4x.org"
+
authors: "the qcheck contributors"
+
license: "BSD-2-Clause"
+
tags: ["qcheck" "quickcheck" "ounit"]
+
homepage: "https://github.com/c-cube/qcheck/"
+
doc: "http://c-cube.github.io/qcheck/"
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
+
depends: [
+
"dune" {>= "2.8.0"}
+
"base-unix"
+
"qcheck-core" {= version}
+
"ounit2"
+
"odoc" {with-doc}
+
"ocaml" {>= "4.08.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
+
url {
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
+
checksum: [
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
+
]
+
}
+
x-maintenance-intent: ["(latest)"]
+53
packages/qcheck-stm/qcheck-stm.0.8/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis:
+
"State-machine testing library for sequential and parallel model-based tests"
+
description: """
+
A state-machine testing library based on QCheck that can generate both
+
sequential and parallel tests against a declarative model."""
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
+
license: "BSD-2-clause"
+
tags: [
+
"test"
+
"property"
+
"qcheck"
+
"quickcheck"
+
"state-machine testing"
+
"model-based testing"
+
"parallel testing"
+
]
+
homepage: "https://github.com/ocaml-multicore/multicoretests"
+
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
+
depends: [
+
"dune" {>= "3.0"}
+
"ocaml" {>= "4.12"}
+
"qcheck-core" {>= "0.25"}
+
"qcheck-multicoretests-util" {= version}
+
"odoc" {with-doc}
+
]
+
depopts: ["base-domains"]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
+
checksum: [
+
"md5=8e7634814a61bf765ac6989f7fdc49cb"
+
"sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
+
]
+
}
+50
packages/reason/reason.3.16.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Reason: Syntax & Toolchain for OCaml"
+
description: """
+
Reason gives OCaml a new syntax that is remniscient of languages like
+
JavaScript. It's also the umbrella project for a set of tools for the OCaml &
+
JavaScript ecosystem."""
+
maintainer: [
+
"Jordan Walke <jordojw@gmail.com>"
+
"Antonio Nuno Monteiro <anmonteiro@gmail.com>"
+
]
+
authors: ["Jordan Walke <jordojw@gmail.com>"]
+
license: "MIT"
+
homepage: "https://reasonml.github.io/"
+
bug-reports: "https://github.com/reasonml/reason/issues"
+
depends: [
+
"dune" {>= "3.8"}
+
"ocaml" {>= "4.08" & < "5.4"}
+
"ocamlfind" {build}
+
"dune-build-info" {>= "2.9.3"}
+
"menhir" {>= "20180523"}
+
"merlin-extend" {>= "0.6.2"}
+
"fix"
+
"ppx_derivers"
+
"cppo"
+
"ppxlib" {>= "0.36.0"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/reasonml/reason.git"
+
url {
+
src:
+
"https://github.com/reasonml/reason/releases/download/3.16.0/reason-3.16.0.tbz"
+
checksum: [
+
"sha256=47b0e43a7d348e2a850658ab4bec5a4fbbb9fd4ff3ec8a1c1816511558c5364e"
+
"sha512=0d8dbe33ac17b765ea018522910a333831fec278ae4da25ba039ce4d2d8152f9b2fbba5b40c453241bf4323e55e0dc070170b04caa35742c6e33a7f726feafb3"
+
]
+
}
+
x-commit-hash: "c77eebbe79e8dd46b0733b0301a9f458263a5842"
+1 -1
packages/reason-react-ppx/reason-react-ppx.0.14.1/opam
···
"dune" {>= "3.9"}
"ocaml" {>= "4.14"}
"reason" {>= "3.10.0"}
-
"ppxlib" {>= "0.28.0"}
+
"ppxlib" {>= "0.28.0" & < "0.36.0"}
"merlin" {with-test}
"ocamlformat" {= "0.24.0" & with-dev-setup}
"odoc" {with-doc}
+1 -1
packages/reason-react-ppx/reason-react-ppx.0.15.0/opam
···
"dune" {>= "3.9"}
"ocaml" {>= "4.14"}
"reason" {>= "3.12.0"}
-
"ppxlib" {>= "0.33.0"}
+
"ppxlib" {>= "0.33.0" & < "0.36.0"}
"merlin" {with-test}
"ocamlformat" {= "0.24.0" & with-dev-setup}
"odoc" {with-doc}
+43
packages/rtop/rtop.3.16.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Reason toplevel"
+
description:
+
"rtop is the toplevel (or REPL) for Reason, based on utop (https://github.com/ocaml-community/utop)."
+
maintainer: [
+
"Jordan Walke <jordojw@gmail.com>"
+
"Antonio Nuno Monteiro <anmonteiro@gmail.com>"
+
]
+
authors: ["Jordan Walke <jordojw@gmail.com>"]
+
license: "MIT"
+
homepage: "https://reasonml.github.io/"
+
bug-reports: "https://github.com/reasonml/reason/issues"
+
depends: [
+
"dune" {>= "3.8"}
+
"ocaml" {>= "4.08" & < "5.4"}
+
"reason" {= version}
+
"utop" {>= "2.0"}
+
"cppo"
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/reasonml/reason.git"
+
url {
+
src:
+
"https://github.com/reasonml/reason/releases/download/3.16.0/reason-3.16.0.tbz"
+
checksum: [
+
"sha256=47b0e43a7d348e2a850658ab4bec5a4fbbb9fd4ff3ec8a1c1816511558c5364e"
+
"sha512=0d8dbe33ac17b765ea018522910a333831fec278ae4da25ba039ce4d2d8152f9b2fbba5b40c453241bf4323e55e0dc070170b04caa35742c6e33a7f726feafb3"
+
]
+
}
+
x-commit-hash: "c77eebbe79e8dd46b0733b0301a9f458263a5842"
+80
packages/smtml/smtml.0.6.2/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "An SMT solver frontend for OCaml"
+
description:
+
"Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability."
+
maintainer: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]
+
authors: [
+
"Joรฃo Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
+
"Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"
+
"Hichem Rami Ait El Hara <hra@ocamlpro.com>"
+
"Lรฉo Andrรจs <contact@ndrs.fr>"
+
"Arthur Carcano <arthur.carcano@ocamlpro.com>"
+
"Pierre Chambart <pierre.chambart@ocamlpro.com>"
+
"Josรฉ Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/formalsec/smtml"
+
doc: "https://formalsec.github.io/smtml/smtml/index.html"
+
bug-reports: "https://github.com/formalsec/smtml/issues"
+
depends: [
+
"bos"
+
"cmdliner" {>= "1.3.0"}
+
"dune" {>= "3.10"}
+
"dolmen" {= "0.10"}
+
"dolmen_type" {= "0.10"}
+
"dolmen_model" {= "0.10"}
+
"fmt" {>= "0.8.7"}
+
"fpath"
+
"hc" {>= "0.3"}
+
"menhir" {build & >= "20220210"}
+
"ocaml" {>= "4.14.0"}
+
"ocaml_intrinsics"
+
"patricia-tree" {>= "0.11.0"}
+
"prelude" {>= "0.5"}
+
"rusage"
+
"scfg" {>= "0.5"}
+
"yojson" {>= "1.6.0"}
+
"zarith" {>= "1.5"}
+
"odoc" {with-doc}
+
"sherlodoc" {with-doc}
+
"bisect_ppx" {with-test & >= "2.5.0"}
+
"benchpress" {with-dev-setup & = "dev"}
+
"cohttp" {with-dev-setup}
+
"cohttp-lwt-unix" {with-dev-setup}
+
"extunix" {with-dev-setup}
+
"dune-glob" {with-dev-setup}
+
"lwt" {with-dev-setup}
+
"mdx" {with-test}
+
"owl" {with-dev-setup}
+
"tls-lwt" {with-dev-setup}
+
]
+
depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
+
conflicts: [
+
"bitwuzla-cxx" {< "0.6.0"}
+
"z3" {< "4.12.2" | >= "4.15"}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/formalsec/smtml.git"
+
available: arch != "arm32" & arch != "x86_32"
+
x-maintenance-intent: [ "(latest)" ]
+
url {
+
src: "https://github.com/formalsec/smtml/archive/refs/tags/v0.6.2.tar.gz"
+
checksum: [
+
"md5=56e189ab473a92021ac1fe663c53106e"
+
"sha512=2deeea08b20218f9de9a8bc94156f23511531af5bfb34f5ab78bd25c0ddab55a35ed52a230583a2ea671e48fc13f61c7e0c8559fd0e2738e8820ca39ec3ea3fd"
+
]
+
}
+28
packages/stdcompat/stdcompat.20.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Compatibility module for OCaml standard library"
+
description:
+
"Compatibility module for OCaml standard library allowing programs to use some recent additions to the OCaml standard library while preserving the ability to be compiled on former versions of OCaml."
+
maintainer: "Thierry Martinez <martinez@nsup.org>"
+
authors: "Thierry Martinez <martinez@nsup.org>"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/ocamllibs/stdcompat"
+
bug-reports: "https://github.com/ocamllibs/stdcompat/issues"
+
depends: [
+
"ocaml" {>= "4.11" & < "5.3"}
+
"dune" {>= "2.0"}
+
"conf-autoconf"
+
]
+
depopts: [ "result" "seq" "uchar" "ocamlfind" ]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/ocamllibs/stdcompat.git"
+
url {
+
src:
+
"https://github.com/ocamllibs/stdcompat/archive/refs/tags/20.0.tar.gz"
+
checksum: [
+
"sha512=e654f99e1f83c48bd639957fdedba7fbbbc6c33986ba1f6a746c11536d658efc0fc5c7772243e3c9975b7dc81aa3972c54c17c74e6dd721e3e495883f93ea790"
+
]
+
}
+28
packages/stdcompat/stdcompat.20.1/opam
···
+
opam-version: "2.0"
+
synopsis: "Compatibility module for OCaml standard library"
+
description:
+
"Compatibility module for OCaml standard library allowing programs to use some recent additions to the OCaml standard library while preserving the ability to be compiled on former versions of OCaml."
+
maintainer: "Thierry Martinez <martinez@nsup.org>"
+
authors: "Thierry Martinez <martinez@nsup.org>"
+
license: "BSD-2-Clause"
+
homepage: "https://github.com/ocamllibs/stdcompat"
+
bug-reports: "https://github.com/ocamllibs/stdcompat/issues"
+
depends: [
+
"ocaml" {>= "4.11" & < "5.3"}
+
"dune" {>= "2.0"}
+
"conf-autoconf"
+
]
+
depopts: [ "result" "seq" "uchar" "ocamlfind" ]
+
build: [
+
["dune" "subst"] {dev}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/ocamllibs/stdcompat.git"
+
url {
+
src:
+
"https://github.com/ocamllibs/stdcompat/archive/refs/tags/20.1.tar.gz"
+
checksum: [
+
"sha512=c482cae49459704100812cb6caa8e8ffa60ffc2414a0ac4c3ec41bdd4203d8299c69be3ab2f7f8764b58b9173e43b89faf70036a19dc5674aa87108ff07c4c60"
+
]
+
}
+46
packages/stdune/stdune.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Dune's unstable standard library"
+
description:
+
"This library offers no backwards compatibility guarantees. Use at your own risk."
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08.0"}
+
"base-unix"
+
"dyn" {= version}
+
"ordering" {= version}
+
"pp" {>= "2.0.0"}
+
"csexp" {>= "1.5.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
x-maintenance-intent: ["(none)"]
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"
+44
packages/subprocess/subprocess.0.2.1/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "Nice interfaces handling I/O with Unix commands"
+
description: """
+
Subprocess is a library for safely and (relatively) easily working launching processes with commands on Unix systems, with a focus on I/O. It is intended to be easier to use than the Unix module.
+
+
Checkout the documentation at https://ninjaaron.github.io/ocaml-subprocess/subprocess/index.html
+
"""
+
maintainer: ["Aaron Christianson"]
+
authors: ["Aaron Christianson"]
+
license: "MPL-2.0"
+
tags: ["unix" "processes" "io" "commands"]
+
homepage: "https://github.com/ninjaaron/ocaml-subprocess"
+
doc: "https://github.com/ninjaaron/ocaml-subprocess"
+
bug-reports: "https://github.com/ninjaaron/ocaml-subprocess/issues"
+
depends: [
+
"ocaml" {>= "5.1"}
+
"dune" {>= "3.7"}
+
"ppx_expect" {with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ninjaaron/ocaml-subprocess.git"
+
url {
+
src:
+
"https://github.com/ninjaaron/ocaml-subprocess/archive/refs/tags/0.2.1.tar.gz"
+
checksum: [
+
"md5=01bd4eb8585102758c19d104aa59365f"
+
"sha512=85c06ec131d4ac448a47a7e68a6a0910efe456c84338d556f70e09aa0caf247bf97950fb0ab8c0dd134c585bcf152ea5cbbdcb5c05860e6459af0af50c1123e7"
+
]
+
}
+44
packages/trace/trace.0.9.1/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"A stub for tracing/observability, agnostic in how data is collected"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Simon Cruanes"]
+
license: "MIT"
+
tags: ["trace" "tracing" "observability" "profiling"]
+
homepage: "https://github.com/c-cube/ocaml-trace"
+
bug-reports: "https://github.com/c-cube/ocaml-trace/issues"
+
depends: [
+
"ocaml" {>= "4.08"}
+
"dune" {>= "2.9"}
+
"odoc" {with-doc}
+
]
+
depopts: [
+
"hmap"
+
"mtime" {>= "2.0"}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"--promote-install-files=false"
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
["dune" "install" "-p" name "--create-install-files" name]
+
]
+
dev-repo: "git+https://github.com/c-cube/ocaml-trace.git"
+
url {
+
src:
+
"https://github.com/c-cube/ocaml-trace/releases/download/v0.9.1/trace-0.9.1.tbz"
+
checksum: [
+
"sha256=9739d5f46becb407e96943f4f0d6d0919e03c14299ab9c2ddbb8d46b6f7a3ea4"
+
"sha512=500230dedc834cbb8535a1624408c2f0e67683bacef5e4a55b7639c4013f6247d3aa4cbc56b61810d0138f736c1245b6b334bd3991c2e86d03faee47b729c547"
+
]
+
}
+
x-commit-hash: "35bb142cd077068781725ac8b20116506781ac72"
+46
packages/trace-fuchsia/trace-fuchsia.0.9.1/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"A high-performance backend for trace, emitting a Fuchsia trace into a file"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Simon Cruanes"]
+
license: "MIT"
+
tags: ["trace" "tracing" "fuchsia"]
+
homepage: "https://github.com/c-cube/ocaml-trace"
+
bug-reports: "https://github.com/c-cube/ocaml-trace/issues"
+
depends: [
+
"ocaml" {>= "4.08"}
+
"trace" {= version}
+
"mtime" {>= "2.0"}
+
"thread-local-storage" {>= "0.2"}
+
"base-bigarray"
+
"base-unix"
+
"dune" {>= "2.9"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"--promote-install-files=false"
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
["dune" "install" "-p" name "--create-install-files" name]
+
]
+
dev-repo: "git+https://github.com/c-cube/ocaml-trace.git"
+
available: arch != "s390x"
+
url {
+
src:
+
"https://github.com/c-cube/ocaml-trace/releases/download/v0.9.1/trace-0.9.1.tbz"
+
checksum: [
+
"sha256=9739d5f46becb407e96943f4f0d6d0919e03c14299ab9c2ddbb8d46b6f7a3ea4"
+
"sha512=500230dedc834cbb8535a1624408c2f0e67683bacef5e4a55b7639c4013f6247d3aa4cbc56b61810d0138f736c1245b6b334bd3991c2e86d03faee47b729c547"
+
]
+
}
+
x-commit-hash: "35bb142cd077068781725ac8b20116506781ac72"
+43
packages/trace-tef/trace-tef.0.9.1/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"A simple backend for trace, emitting Catapult/TEF JSON into a file"
+
maintainer: ["Simon Cruanes"]
+
authors: ["Simon Cruanes"]
+
license: "MIT"
+
tags: ["trace" "tracing" "catapult" "TEF" "chrome-format"]
+
homepage: "https://github.com/c-cube/ocaml-trace"
+
bug-reports: "https://github.com/c-cube/ocaml-trace/issues"
+
depends: [
+
"ocaml" {>= "4.08"}
+
"trace" {= version}
+
"mtime" {>= "2.0"}
+
"base-unix"
+
"dune" {>= "2.9"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"--promote-install-files=false"
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
["dune" "install" "-p" name "--create-install-files" name]
+
]
+
dev-repo: "git+https://github.com/c-cube/ocaml-trace.git"
+
url {
+
src:
+
"https://github.com/c-cube/ocaml-trace/releases/download/v0.9.1/trace-0.9.1.tbz"
+
checksum: [
+
"sha256=9739d5f46becb407e96943f4f0d6d0919e03c14299ab9c2ddbb8d46b6f7a3ea4"
+
"sha512=500230dedc834cbb8535a1624408c2f0e67683bacef5e4a55b7639c4013f6247d3aa4cbc56b61810d0138f736c1245b6b334bd3991c2e86d03faee47b729c547"
+
]
+
}
+
x-commit-hash: "35bb142cd077068781725ac8b20116506781ac72"
+40
packages/xdg/xdg.3.18.0/opam
···
+
opam-version: "2.0"
+
synopsis: "XDG Base Directory Specification"
+
description:
+
"https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html"
+
maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+
license: "MIT"
+
homepage: "https://github.com/ocaml/dune"
+
doc: "https://dune.readthedocs.io/"
+
bug-reports: "https://github.com/ocaml/dune/issues"
+
depends: [
+
"dune" {>= "3.12"}
+
"ocaml" {>= "4.08"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ocaml/dune.git"
+
build: [
+
["dune" "subst"] {dev}
+
["rm" "-rf" "vendor/csexp"]
+
["rm" "-rf" "vendor/pp"]
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz"
+
checksum: [
+
"sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb"
+
"sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417"
+
]
+
}
+
x-commit-hash: "a6da88b2f54d2043047cef727618842811d8a6a5"