this repo has no description

Compare changes

Choose any two refs to compare.

Changed files
+3526 -16
.github
workflows
packages
arrayjit
arrayjit.0.5.2
base
base.v0.16.4
base.v0.17.1
camldiets
camldiets.0.3
camlp5-buildscripts
camlp5-buildscripts.0.06
camyll
camyll.0.4.4
caqti
caqti.2.2.4
caqti-async
caqti-async.2.2.4
caqti-driver-mariadb
caqti-driver-mariadb.2.2.4
caqti-driver-pgx
caqti-driver-pgx.2.2.4
caqti-driver-postgresql
caqti-driver-postgresql.2.2.4
caqti-driver-sqlite3
caqti-driver-sqlite3.2.2.4
caqti-eio
caqti-eio.2.2.4
caqti-lwt
caqti-lwt.2.2.4
caqti-miou
caqti-miou.2.2.4
caqti-mirage
caqti-mirage.2.2.4
caqti-tls
caqti-tls.2.1.2
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
opentelemetry
opentelemetry.0.11.2
opentelemetry-client-cohttp-lwt
opentelemetry-client-cohttp-lwt.0.11.2
opentelemetry-client-ocurl
opentelemetry-client-ocurl.0.11.2
opentelemetry-cohttp-lwt
opentelemetry-cohttp-lwt.0.11.2
opentelemetry-lwt
opentelemetry-lwt.0.11.2
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
tsort
tsort.2.2.0
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"
+48
packages/camlp5-buildscripts/camlp5-buildscripts.0.06/opam
···
+
+
synopsis: "Camlp5 Build scripts (written in OCaml)"
+
description:
+
"""
+
These are build-scripts that are helpful in building Camlp5 and packages based on Camlp5.
+
As such, they need to *not* depend on Camlp5. The command are *not* installed in a
+
bin-directory, but in the package-directory, hence invoked via the "ocamlfind package/exe"
+
method.
+
"""
+
opam-version: "2.0"
+
x-maintenance-intent: [ "(latest)" ]
+
maintainer: "Chet Murthy <chetsky@gmail.com>"
+
authors: ["Chet Murthy"]
+
homepage: "https://github.com/camlp5/camlp5-buildscripts"
+
license: "BSD-3-Clause"
+
bug-reports: "https://github.com/camlp5/camlp5-buildscripts/issues"
+
dev-repo: "git+https://github.com/camlp5/camlp5-buildscripts.git"
+
doc: "https://github.com/camlp5/camlp5-buildscripts/doc"
+
+
depends: [
+
"ocaml" { >= "4.10.0" }
+
"not-ocamlfind" { >= "0.01" }
+
"mdx" { with-test & >= "2.2.1" }
+
"conf-perl-ipc-system-simple" { >= "3" & os-family = "windows" }
+
"conf-perl-string-shellquote" { >= "3" & os-family = "windows" }
+
"conf-diffutils" { with-test & (os-distribution = "alpine" | os-distribution = "freebsd") }
+
"fmt"
+
"re" { >= "1.10.4" }
+
"bos" { >= "0.2.1" }
+
]
+
build: [
+
[make "sys"]
+
[make "test"] {with-test}
+
]
+
install: [make "install"]
+
conflicts: [
+
"ocaml-option-bytecode-only"
+
]
+
x-ci-accept-failures: [
+
"opensuse-tumbleweed"
+
"freebsd"
+
]
+
url {
+
src: "https://github.com/camlp5/camlp5-buildscripts/archive/refs/tags/0.06.tar.gz"
+
checksum: [
+
"sha512=8494de2727e60790be698e87e369dfc7c641f2213119c29b6afa9f4bac6f43c48c657ee049c3d5d0ff32dd92c7eacd12f1739a97d3fd93d04451925e5016a778"
+
]
+
}
+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"
+69
packages/caqti/caqti.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: [
+
"Petter A. Urkedal <paurkedal@gmail.com>"
+
"Nathan Rebours <nathan@cryptosense.com>"
+
"Basile Clรฉment"
+
]
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"alcotest" {with-test & >= "1.5.0"}
+
"angstrom" {>= "0.14.0"}
+
"bigstringaf"
+
"cmdliner" {with-test & >= "1.1.0"}
+
"domain-name" {>= "0.2.0"}
+
"dune" {>= "3.9"}
+
"dune-site"
+
"ipaddr" {>= "3.0.0"}
+
"logs"
+
"lru" {>= "0.3.1"}
+
"lwt-dllist"
+
"mdx" {with-test & >= "2.3.0"}
+
"mtime" {>= "2.0.0"}
+
"ocaml" {>= "4.08.0"}
+
"odoc" {with-doc}
+
"ptime"
+
"re" {with-test}
+
"tls"
+
"uri" {>= "2.2.0"}
+
"x509"
+
]
+
conflicts: [
+
"result" {< "1.5"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs "@install"]
+
["dune" "install" "-p" name "--create-install-file" name]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "Unified interface to relational database libraries"
+
description: """
+
Caqti provides a monadic cooperative-threaded OCaml connector API for
+
relational databases.
+
+
The purpose of Caqti is further to help make applications independent of a
+
particular database system. This is achieved by defining a common signature,
+
which is implemented by the database drivers. Connection parameters are
+
specified as an URI, which is typically provided at run-time. Caqti then
+
loads a driver which can handle the URI, and provides a first-class module
+
which implements the driver API and additional convenience functionality.
+
+
Caqti does not make assumptions about the structure of the query language,
+
and only provides the type information needed at the edges of communication
+
between the OCaml code and the database; i.e. for encoding parameters and
+
decoding returned tuples. It is hoped that this agnostic choice makes it a
+
suitable target for higher level interfaces and code generators."""
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+40
packages/caqti-async/caqti-async.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"async_kernel" {>= "v0.17.0"}
+
"async_unix" {>= "v0.11.0"}
+
"caqti" {>= "2.2.3" & < "2.3.0~"}
+
"core" {>= "v0.16.1"}
+
"core_unix"
+
"domain-name"
+
"dune" {>= "3.9"}
+
"ipaddr"
+
"logs"
+
"ocaml"
+
"alcotest" {with-test & >= "1.5.0"}
+
"alcotest-async" {with-test}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"caqti-driver-sqlite3" {with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "Async support for Caqti"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+32
packages/caqti-driver-mariadb/caqti-driver-mariadb.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"alcotest" {with-test & >= "1.5.0"}
+
"ocaml"
+
"caqti" {>= "2.2.0" & < "2.3.0~"}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"dune" {>= "3.9"}
+
"mariadb" {>= "1.1.5"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "MariaDB driver for Caqti using C bindings"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+32
packages/caqti-driver-pgx/caqti-driver-pgx.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: [
+
"Petter A. Urkedal <paurkedal@gmail.com>"
+
]
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"ocaml" {>= "4.08"}
+
"caqti" {>= "2.2.0" & < "2.3.0~"}
+
"domain-name"
+
"dune" {>= "3.9"}
+
"ipaddr"
+
"pgx" {>= "2.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "PostgreSQL driver for Caqti based on the pure-OCaml PGX library"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+36
packages/caqti-driver-postgresql/caqti-driver-postgresql.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: [
+
"Petter A. Urkedal <paurkedal@gmail.com>"
+
"James Owen <james@cryptosense.com>"
+
]
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"alcotest" {with-test & >= "1.5.0"}
+
"ocaml"
+
"caqti" {>= "2.2.0" & < "2.3.0~"}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"dune" {>= "3.9"}
+
"odoc" {with-doc}
+
"postgresql" {>= "5.0.0"}
+
"uri" {>= "4.0.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "PostgreSQL driver for Caqti based on C bindings"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+32
packages/caqti-driver-sqlite3/caqti-driver-sqlite3.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"alcotest" {with-test & >= "1.5.0"}
+
"ocaml"
+
"caqti" {>= "2.2.0" & < "2.3.0~"}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"dune" {>= "3.9"}
+
"odoc" {with-doc}
+
"sqlite3" {>= "5.2.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "Sqlite3 driver for Caqti using C bindings"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+36
packages/caqti-eio/caqti-eio.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"caqti" {>= "2.2.3" & < "2.3.0~"}
+
"dune" {>= "3.9"}
+
"eio" {>= "0.12"}
+
"logs"
+
"ocaml" {>= "5.0.0~"}
+
"alcotest" {with-test & >= "1.5.0"}
+
"caqti-driver-sqlite3" {with-test}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"eio_main" {with-test}
+
"mirage-crypto-rng" {with-test & >= "1.2.0"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "Eio support for Caqti"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+38
packages/caqti-lwt/caqti-lwt.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"caqti" {>= "2.2.3" & < "2.3.0~"}
+
"dune" {>= "3.9"}
+
"domain-name"
+
"ipaddr"
+
"logs"
+
"mtime" {>= "2.0.0"}
+
"lwt" {>= "5.3.0"}
+
"ocaml"
+
"alcotest" {with-test & >= "1.5.0"}
+
"alcotest-lwt" {with-test & >= "1.5.0"}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"caqti-driver-sqlite3" {with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "Lwt support for Caqti"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+35
packages/caqti-miou/caqti-miou.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"caqti" {>= "2.2.3" & < "2.3.0~"}
+
"dune" {>= "3.9"}
+
"miou" {>= "0.3.0"}
+
"logs"
+
"ocaml" {>= "5.0.0~"}
+
"alcotest" {with-test & >= "1.5.0"}
+
"caqti-driver-sqlite3" {with-test}
+
"cmdliner" {with-test & >= "1.1.0"}
+
"mirage-crypto-rng-miou-unix" {with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "Miou support for Caqti"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+42
packages/caqti-mirage/caqti-mirage.2.2.4/opam
···
+
opam-version: "2.0"
+
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
+
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
+
license: "LGPL-3.0-or-later WITH LGPL-3.0-linking-exception"
+
homepage: "https://github.com/paurkedal/ocaml-caqti/"
+
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
+
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
+
depends: [
+
"caqti" {>= "2.2.0" & < "2.3.0~"}
+
"caqti-lwt" {>= "2.1.0" & < "2.3.0~"}
+
"caqti-tls" {>= "2.1.0" & < "2.3.0~"}
+
"dns-client" {>= "7.0.0"}
+
"dns-client-mirage" {>= "7.0.0"}
+
"domain-name"
+
"dune" {>= "3.9"}
+
"ipaddr"
+
"logs"
+
"lwt" {>= "5.3.0"}
+
"mirage-channel"
+
"mirage-sleep"
+
"ocaml"
+
"odoc" {with-doc}
+
"tls"
+
"tls-mirage" {>= "1.0.0"}
+
"tcpip" {>= "8.1.0"}
+
]
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+
]
+
dev-repo: "git+https://github.com/paurkedal/ocaml-caqti.git"
+
synopsis: "MirageOS support for Caqti including TLS"
+
url {
+
src:
+
"https://github.com/paurkedal/ocaml-caqti/releases/download/v2.2.4/caqti-v2.2.4.tbz"
+
checksum: [
+
"sha256=b8ea432820154ec095132c4f7b244b06cd8553e0b2035185b844d9c4f30af8bb"
+
"sha512=b7e3ad8e6a9b587db2d517e15cd42df2945148f9223b2fa6f4bc2bcdd2709d53549cca4b65e54511d22466e4c9aa7f0b9c17305a07505519d8bf81d95de629b8"
+
]
+
}
+
x-commit-hash: "b1faede963098ac99546e8c2fe794ae34b2d2437"
+1 -1
packages/caqti-tls/caqti-tls.2.1.2/opam
···
doc: "https://paurkedal.github.io/ocaml-caqti/index.html"
bug-reports: "https://github.com/paurkedal/ocaml-caqti/issues"
depends: [
-
"caqti" {>= "2.1.0" & < "2.2.0~"}
+
"caqti" {>= "2.1.0" & < "2.3.0~"}
"dune" {>= "3.9"}
"ocaml"
"odoc" {with-doc}
+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"
+
]
+
}
+55
packages/opentelemetry/opentelemetry.0.11.2/opam
···
+
opam-version: "2.0"
+
synopsis: "Instrumentation for https://opentelemetry.io"
+
maintainer: [
+
"Simon Cruanes <simon.cruanes.2007@m4x.org>"
+
"Matt Bray <mattjbray@gmail.com>"
+
"ELLIOTTCABLE <opam@ell.io>"
+
]
+
authors: ["the Imandra team and contributors"]
+
license: "MIT"
+
tags: ["instrumentation" "tracing" "opentelemetry" "datadog" "jaeger"]
+
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
+
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
+
depends: [
+
"dune" {>= "2.9"}
+
"ocaml" {>= "4.08"}
+
"ptime"
+
"hmap"
+
"atomic"
+
"thread-local-storage" {>= "0.2" & < "0.3"}
+
"odoc" {with-doc}
+
"alcotest" {with-test}
+
"pbrt" {>= "3.0" & < "4.0"}
+
"ocaml-lsp-server" {with-dev-setup}
+
"ocamlformat" {with-dev-setup & >= "0.24" & < "0.25"}
+
]
+
depopts: ["trace" "lwt" "eio"]
+
conflicts: [
+
"trace" {< "0.9"}
+
]
+
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/imandra-ai/ocaml-opentelemetry.git"
+
url {
+
src:
+
"https://github.com/imandra-ai/ocaml-opentelemetry/releases/download/v0.11.2/opentelemetry-0.11.2.tbz"
+
checksum: [
+
"sha256=716a7407dcbb8d950295f55d2b72fec14bf122558972681d66b4a56352987c1c"
+
"sha512=4cdf5ffe31b6b03741734cda285ec8d5c261fafb7dff1c74e40472bc46ba0e97cb2df88a1557874482918303607e9ae21362ebc064985960bc002517e313d88c"
+
]
+
}
+
x-commit-hash: "c313731a70936398d2db923a01f0aef175e986d4"
+49
packages/opentelemetry-client-cohttp-lwt/opentelemetry-client-cohttp-lwt.0.11.2/opam
···
+
opam-version: "2.0"
+
synopsis: "Collector client for opentelemetry, using cohttp + lwt"
+
maintainer: [
+
"Simon Cruanes <simon.cruanes.2007@m4x.org>"
+
"Matt Bray <mattjbray@gmail.com>"
+
"ELLIOTTCABLE <opam@ell.io>"
+
]
+
authors: ["the Imandra team and contributors"]
+
license: "MIT"
+
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
+
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
+
depends: [
+
"dune" {>= "2.9"}
+
"ocaml" {>= "4.08"}
+
"mtime" {>= "1.4"}
+
"opentelemetry" {= version}
+
"odoc" {with-doc}
+
"lwt" {>= "5.3"}
+
"lwt_ppx" {>= "2.0"}
+
"cohttp-lwt"
+
"cohttp-lwt-unix"
+
"alcotest" {with-test}
+
]
+
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/imandra-ai/ocaml-opentelemetry.git"
+
url {
+
src:
+
"https://github.com/imandra-ai/ocaml-opentelemetry/releases/download/v0.11.2/opentelemetry-0.11.2.tbz"
+
checksum: [
+
"sha256=716a7407dcbb8d950295f55d2b72fec14bf122558972681d66b4a56352987c1c"
+
"sha512=4cdf5ffe31b6b03741734cda285ec8d5c261fafb7dff1c74e40472bc46ba0e97cb2df88a1557874482918303607e9ae21362ebc064985960bc002517e313d88c"
+
]
+
}
+
x-commit-hash: "c313731a70936398d2db923a01f0aef175e986d4"
+47
packages/opentelemetry-client-ocurl/opentelemetry-client-ocurl.0.11.2/opam
···
+
opam-version: "2.0"
+
synopsis: "Collector client for opentelemetry, using http + ezcurl"
+
maintainer: [
+
"Simon Cruanes <simon.cruanes.2007@m4x.org>"
+
"Matt Bray <mattjbray@gmail.com>"
+
"ELLIOTTCABLE <opam@ell.io>"
+
]
+
authors: ["the Imandra team and contributors"]
+
license: "MIT"
+
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
+
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
+
depends: [
+
"dune" {>= "2.9"}
+
"ocaml" {>= "4.08"}
+
"mtime" {>= "1.4"}
+
"opentelemetry" {= version}
+
"odoc" {with-doc}
+
"ezcurl" {>= "0.2.3"}
+
"ocurl"
+
"alcotest" {with-test}
+
]
+
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/imandra-ai/ocaml-opentelemetry.git"
+
url {
+
src:
+
"https://github.com/imandra-ai/ocaml-opentelemetry/releases/download/v0.11.2/opentelemetry-0.11.2.tbz"
+
checksum: [
+
"sha256=716a7407dcbb8d950295f55d2b72fec14bf122558972681d66b4a56352987c1c"
+
"sha512=4cdf5ffe31b6b03741734cda285ec8d5c261fafb7dff1c74e40472bc46ba0e97cb2df88a1557874482918303607e9ae21362ebc064985960bc002517e313d88c"
+
]
+
}
+
x-commit-hash: "c313731a70936398d2db923a01f0aef175e986d4"
+47
packages/opentelemetry-cohttp-lwt/opentelemetry-cohttp-lwt.0.11.2/opam
···
+
opam-version: "2.0"
+
synopsis: "Opentelemetry tracing for Cohttp HTTP servers"
+
maintainer: [
+
"Simon Cruanes <simon.cruanes.2007@m4x.org>"
+
"Matt Bray <mattjbray@gmail.com>"
+
"ELLIOTTCABLE <opam@ell.io>"
+
]
+
authors: ["the Imandra team and contributors"]
+
license: "MIT"
+
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
+
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
+
depends: [
+
"dune" {>= "2.9"}
+
"ocaml" {>= "4.08"}
+
"opentelemetry" {= version}
+
"opentelemetry-lwt" {= version}
+
"odoc" {with-doc}
+
"lwt" {>= "5.3"}
+
"cohttp-lwt" {>= "4.0.0" & < "6"}
+
"alcotest" {with-test}
+
]
+
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/imandra-ai/ocaml-opentelemetry.git"
+
url {
+
src:
+
"https://github.com/imandra-ai/ocaml-opentelemetry/releases/download/v0.11.2/opentelemetry-0.11.2.tbz"
+
checksum: [
+
"sha256=716a7407dcbb8d950295f55d2b72fec14bf122558972681d66b4a56352987c1c"
+
"sha512=4cdf5ffe31b6b03741734cda285ec8d5c261fafb7dff1c74e40472bc46ba0e97cb2df88a1557874482918303607e9ae21362ebc064985960bc002517e313d88c"
+
]
+
}
+
x-commit-hash: "c313731a70936398d2db923a01f0aef175e986d4"
+48
packages/opentelemetry-lwt/opentelemetry-lwt.0.11.2/opam
···
+
opam-version: "2.0"
+
synopsis: "Lwt-compatible instrumentation for https://opentelemetry.io"
+
maintainer: [
+
"Simon Cruanes <simon.cruanes.2007@m4x.org>"
+
"Matt Bray <mattjbray@gmail.com>"
+
"ELLIOTTCABLE <opam@ell.io>"
+
]
+
authors: ["the Imandra team and contributors"]
+
license: "MIT"
+
tags: ["instrumentation" "tracing" "opentelemetry" "datadog" "lwt"]
+
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
+
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
+
depends: [
+
"dune" {>= "2.9"}
+
"ocaml" {>= "4.08"}
+
"opentelemetry" {= version}
+
"cohttp-lwt-unix" {with-test}
+
"odoc" {with-doc}
+
"lwt" {>= "5.3"}
+
"lwt_ppx" {>= "2.0"}
+
"alcotest" {with-test}
+
]
+
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/imandra-ai/ocaml-opentelemetry.git"
+
url {
+
src:
+
"https://github.com/imandra-ai/ocaml-opentelemetry/releases/download/v0.11.2/opentelemetry-0.11.2.tbz"
+
checksum: [
+
"sha256=716a7407dcbb8d950295f55d2b72fec14bf122558972681d66b4a56352987c1c"
+
"sha512=4cdf5ffe31b6b03741734cda285ec8d5c261fafb7dff1c74e40472bc46ba0e97cb2df88a1557874482918303607e9ae21362ebc064985960bc002517e313d88c"
+
]
+
}
+
x-commit-hash: "c313731a70936398d2db923a01f0aef175e986d4"
+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"
+39
packages/tsort/tsort.2.2.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Easy to use and user-friendly topological sort"
+
description: """\
+
Easy to use and user-friendly topological sort.
+
+
Example:
+
```
+
Tsort.sort [("foundation", []); ("walls", ["foundation"]); ("roof", ["walls"])]
+
```"""
+
maintainer: "daniil@baturin.org"
+
authors: "Daniil Baturin <daniil@baturin.org>"
+
license: "MIT"
+
homepage: "https://github.com/dmbaturin/ocaml-tsort"
+
bug-reports: "https://github.com/dmbaturin/ocaml-tsort/issues"
+
depends: [
+
"ocaml" {>= "4.03.0"}
+
"dune" {>= "1.9"}
+
"alcotest" {with-test}
+
]
+
build: [
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
]
+
dev-repo: "git+https://github.com/dmbaturin/ocaml-tsort.git"
+
url {
+
src:
+
"https://github.com/dmbaturin/ocaml-tsort/archive/refs/tags/2.2.0.tar.gz"
+
checksum: [
+
"md5=efe0d2a972638bd07a65b30fed372ed2"
+
"sha512=162fbeff69a34f00439570f5fbe3112f2ef6d9cf423a9a3c6a7ad1707cc35b6cb19e0bfa1e70c35c12b8a7adfc70a5aca5a43bef63c7f63aca53b396277019b8"
+
]
+
}
+
x-maintenance-intent: ["(latest)"]
+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"