this repo has no description

Compare changes

Choose any two refs to compare.

Changed files
+1184 -5
packages
arrayjit
arrayjit.0.5.2
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
core_unix
core_unix.v0.16.0
core_unix.v0.17.0
cudajit
cudajit.0.7.0
domainslib
domainslib.0.5.2
gappa
gappa.1.3.5
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
ppx_trace
ppx_trace.0.9.1
pratter
pratter.5.0.1
qcheck-lin
qcheck-lin.0.8
qcheck-multicoretests-util
qcheck-multicoretests-util.0.8
qcheck-stm
qcheck-stm.0.8
stdcompat
stdcompat.20.0
stdcompat.20.1
subprocess
subprocess.0.2.1
trace
trace.0.9.1
trace-fuchsia
trace-fuchsia.0.9.1
trace-tef
trace-tef.0.9.1
+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"
+
]
+
}
+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"
+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"
+
]
+
}
+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"
+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"
+
]
+
}
+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/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"
+
]
+
}
+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"
+
]
+
}
+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"
+
]
+
}
+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"
+
]
+
}
+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"