···11+# This file is generated by dune, edit dune-project instead
22+opam-version: "2.0"
33+synopsis: "Archetype language compiler"
44+description: """
55+Archetype is a general purpose language to develop smart contracts
66+on the Tezos blockchain, with a specific focus on contract security
77+"""
88+maintainer: ["The Archetype development team <archetype-dev@edukera.com>"]
99+authors: [
1010+ "Benoit Rognier <benoit.rognier@edukera.com>"
1111+ "Guillaume Duhamel <guillaume.duhamel@edukera.com>"
1212+ "Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>"
1313+]
1414+license: "MIT"
1515+homepage: "https://archetype-lang.org"
1616+doc: "https://archetype-lang.org"
1717+bug-reports: "https://github.com/completium/archetype-lang/issues"
1818+depends: [
1919+ "dune" {>= "2.7"}
2020+ "ocaml" {>= "4.08.0"}
2121+ "menhir" {>= "20180523"}
2222+ "num"
2323+ "yojson" {>= "1.6.0"}
2424+ "ppx_deriving"
2525+ "ppx_deriving_yojson"
2626+ "uri"
2727+ "visitors" {>= "20200207"}
2828+ "js_of_ocaml" {>= "3.9.0"}
2929+ "js_of_ocaml-ppx" {>= "3.9.0"}
3030+ "hex" {>= "1.4.0"}
3131+ "xmlm"
3232+ "alcotest"
3333+ "odoc" {with-doc}
3434+]
3535+build: [
3636+ ["dune" "subst"] {dev}
3737+ [
3838+ "dune"
3939+ "build"
4040+ "-p"
4141+ name
4242+ "-j"
4343+ jobs
4444+ "@install"
4545+ "@runtest" {with-test}
4646+ "@doc" {with-doc}
4747+ ]
4848+]
4949+dev-repo: "git+https://github.com/completium/archetype-lang.git"
5050+url {
5151+ src: "https://github.com/completium/archetype-lang/archive/1.4.3.tar.gz"
5252+ checksum: [
5353+ "md5=056be0abf0b3855e73a7a63264ccfa86"
5454+ "sha512=82a146f1390808f5409ee97b31c4faad39e87eefc77f29f00e2a17fc267394e6d53e8c790e9cdde749d5acc402c53f56f0b595c40285b87d0998fbddbefdaa5d"
5555+ ]
5656+}
+44
packages/b0/b0.0.0.5/opam
···11+opam-version: "2.0"
22+synopsis: "Software construction and deployment kit"
33+description: """\
44+WARNING this package is unstable and work in progress, do not depend on it.
55+66+B0 describes software construction and deployments using modular and
77+customizable definitions written in OCaml.
88+99+B0 describes:
1010+1111+* Build environments.
1212+* Software configuration, build and testing.
1313+* Source and binary deployments.
1414+* Software life-cycle procedures.
1515+1616+B0 also provides the B00 build library which provides abitrary build
1717+abstraction with reliable and efficient incremental rebuilds. The B00
1818+library can be – and has been – used on its own to devise domain
1919+specific build systems.
2020+2121+B0 is distributed under the ISC license. It depends on [cmdliner][cmdliner].
2222+2323+[cmdliner]: https://erratique.ch/software/cmdliner"""
2424+maintainer: "Daniel Bünzli <daniel.buenzl i@erratique.ch>"
2525+authors: "The b0 programmers"
2626+license: ["ISC" "BSD-2-Clause"]
2727+tags: ["dev" "org:erratique" "org:b0-system" "build"]
2828+homepage: "https://erratique.ch/software/b0"
2929+doc: "https://erratique.ch/software/b0/doc"
3030+bug-reports: "https://github.com/b0-system/b0/issues"
3131+depends: [
3232+ "ocaml" {>= "4.08.0"}
3333+ "ocamlfind" {build}
3434+ "ocamlbuild" {build}
3535+ "topkg" {build & >= "1.0.3"}
3636+ "cmdliner" {>= "1.1.0"}
3737+]
3838+build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"]
3939+dev-repo: "git+https://erratique.ch/repos/b0.git"
4040+url {
4141+ src: "https://erratique.ch/software/b0/releases/b0-0.0.5.tbz"
4242+ checksum:
4343+ "sha512=00a6868b4dfa34565d0141b335622a81a0e8d5b9e3c6dfad025dabfa3df2db2a1302b492953bbbce30c3a4406c324fcec25250a00b38f6d18a69e15605e3b07e"
4444+}
···11+opam-version: "2.0"
22+synopsis: "Embed build information inside executable"
33+description: """
44+The build-info library allows to access information about how the
55+executable was built, such as the version of the project at which it
66+was built or the list of statically linked libraries with their
77+versions. It supports reporting the version from the version control
88+system during development to get an precise reference of when the
99+executable was built.
1010+"""
1111+maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
1212+authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
1313+license: "MIT"
1414+homepage: "https://github.com/ocaml/dune"
1515+doc: "https://dune.readthedocs.io/"
1616+bug-reports: "https://github.com/ocaml/dune/issues"
1717+depends: [
1818+ "dune" {>= "3.5"}
1919+ "ocaml" {>= "4.08"}
2020+ "odoc" {with-doc}
2121+]
2222+dev-repo: "git+https://github.com/ocaml/dune.git"
2323+build: [
2424+ ["dune" "subst"] {dev}
2525+ ["rm" "-rf" "vendor/csexp"]
2626+ ["rm" "-rf" "vendor/pp"]
2727+ [
2828+ "dune"
2929+ "build"
3030+ "-p"
3131+ name
3232+ "-j"
3333+ jobs
3434+ "@install"
3535+ "@doc" {with-doc}
3636+ ]
3737+]
3838+url {
3939+ src: "https://github.com/ocaml/dune/releases/download/3.8.0/dune-3.8.0.tbz"
4040+ checksum: [
4141+ "sha256=f7e2970bfab99c7766ff1a05deff5ad7f82cb2471abca6f72449572293f5f6b4"
4242+ "sha512=3b3a566f63842c314de2c0a660c5f7714bc90f8303c82d82e3021aee84980eff1886d15c9b9d4ea0047a411d799fb39d5f2ea70a92bdeb629e00d3d5d5f2d994"
4343+ ]
4444+}
4545+x-commit-hash: "d62f4c39748e2498fc99a398f5e0667761687bf7"
···11+opam-version: "2.0"
22+synopsis: "Embed build information inside executable"
33+description: """
44+The build-info library allows to access information about how the
55+executable was built, such as the version of the project at which it
66+was built or the list of statically linked libraries with their
77+versions. It supports reporting the version from the version control
88+system during development to get an precise reference of when the
99+executable was built.
1010+"""
1111+maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
1212+authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
1313+license: "MIT"
1414+homepage: "https://github.com/ocaml/dune"
1515+doc: "https://dune.readthedocs.io/"
1616+bug-reports: "https://github.com/ocaml/dune/issues"
1717+depends: [
1818+ "dune" {>= "3.5"}
1919+ "ocaml" {>= "4.08"}
2020+ "odoc" {with-doc}
2121+]
2222+dev-repo: "git+https://github.com/ocaml/dune.git"
2323+build: [
2424+ ["dune" "subst"] {dev}
2525+ ["rm" "-rf" "vendor/csexp"]
2626+ ["rm" "-rf" "vendor/pp"]
2727+ [
2828+ "dune"
2929+ "build"
3030+ "-p"
3131+ name
3232+ "-j"
3333+ jobs
3434+ "@install"
3535+ "@doc" {with-doc}
3636+ ]
3737+]
3838+url {
3939+ src: "https://github.com/ocaml/dune/releases/download/3.8.1/dune-3.8.1.tbz"
4040+ checksum: [
4141+ "sha256=9413a5d6eb9d7968a0463debb9d9f1be73025345809b827978d0c14db76cf914"
4242+ "sha512=6857b64e7ca8ba452937539d5996c8d0941b25d82313cfad9e1e6b835a04fb86605beccdc86400cc705ad6a969171524091ab6981df87629b542cc172b38746b"
4343+ ]
4444+}
4545+x-commit-hash: "a340b806a6ec2da97c481c64011bfab7b71213a8"
···11+opam-version: "2.0"
22+synopsis: "Fast, portable, and opinionated build system"
33+description: """
44+55+dune is a build system that was designed to simplify the release of
66+Jane Street packages. It reads metadata from "dune" files following a
77+very simple s-expression syntax.
88+99+dune is fast, has very low-overhead, and supports parallel builds on
1010+all platforms. It has no system dependencies; all you need to build
1111+dune or packages using dune is OCaml. You don't need make or bash
1212+as long as the packages themselves don't use bash explicitly.
1313+1414+dune supports multi-package development by simply dropping multiple
1515+repositories into the same directory.
1616+1717+It also supports multi-context builds, such as building against
1818+several opam roots/switches simultaneously. This helps maintaining
1919+packages across several versions of OCaml and gives cross-compilation
2020+for free.
2121+"""
2222+maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
2323+authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
2424+license: "MIT"
2525+homepage: "https://github.com/ocaml/dune"
2626+doc: "https://dune.readthedocs.io/"
2727+bug-reports: "https://github.com/ocaml/dune/issues"
2828+conflicts: [
2929+ "merlin" {< "3.4.0"}
3030+ "ocaml-lsp-server" {< "1.3.0"}
3131+ "dune-configurator" {< "2.3.0"}
3232+ "odoc" {< "2.0.1"}
3333+ "dune-release" {< "1.3.0"}
3434+ "js_of_ocaml-compiler" {< "3.6.0"}
3535+ "jbuilder" {= "transition"}
3636+]
3737+dev-repo: "git+https://github.com/ocaml/dune.git"
3838+build: [
3939+ ["ocaml" "boot/bootstrap.ml" "-j" jobs]
4040+ ["./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" jobs]
4141+]
4242+depends: [
4343+ # Please keep the lower bound in sync with .github/workflows/workflow.yml,
4444+ # dune-project and min_ocaml_version in bootstrap.ml
4545+ ("ocaml" {>= "4.08"} | ("ocaml" {>= "4.02" & < "4.08~~"} & "ocamlfind-secondary"))
4646+ "base-unix"
4747+ "base-threads"
4848+]
4949+conflicts: [ "coq" {< "8.13"} ]
5050+url {
5151+ src: "https://github.com/ocaml/dune/releases/download/3.8.0/dune-3.8.0.tbz"
5252+ checksum: [
5353+ "sha256=f7e2970bfab99c7766ff1a05deff5ad7f82cb2471abca6f72449572293f5f6b4"
5454+ "sha512=3b3a566f63842c314de2c0a660c5f7714bc90f8303c82d82e3021aee84980eff1886d15c9b9d4ea0047a411d799fb39d5f2ea70a92bdeb629e00d3d5d5f2d994"
5555+ ]
5656+}
5757+x-commit-hash: "d62f4c39748e2498fc99a398f5e0667761687bf7"
+56
packages/dune/dune.3.8.1/opam
···11+opam-version: "2.0"
22+synopsis: "Fast, portable, and opinionated build system"
33+description: """
44+55+dune is a build system that was designed to simplify the release of
66+Jane Street packages. It reads metadata from "dune" files following a
77+very simple s-expression syntax.
88+99+dune is fast, has very low-overhead, and supports parallel builds on
1010+all platforms. It has no system dependencies; all you need to build
1111+dune or packages using dune is OCaml. You don't need make or bash
1212+as long as the packages themselves don't use bash explicitly.
1313+1414+dune supports multi-package development by simply dropping multiple
1515+repositories into the same directory.
1616+1717+It also supports multi-context builds, such as building against
1818+several opam roots/switches simultaneously. This helps maintaining
1919+packages across several versions of OCaml and gives cross-compilation
2020+for free.
2121+"""
2222+maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
2323+authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
2424+license: "MIT"
2525+homepage: "https://github.com/ocaml/dune"
2626+doc: "https://dune.readthedocs.io/"
2727+bug-reports: "https://github.com/ocaml/dune/issues"
2828+conflicts: [
2929+ "merlin" {< "3.4.0"}
3030+ "ocaml-lsp-server" {< "1.3.0"}
3131+ "dune-configurator" {< "2.3.0"}
3232+ "odoc" {< "2.0.1"}
3333+ "dune-release" {< "1.3.0"}
3434+ "js_of_ocaml-compiler" {< "3.6.0"}
3535+ "jbuilder" {= "transition"}
3636+]
3737+dev-repo: "git+https://github.com/ocaml/dune.git"
3838+build: [
3939+ ["ocaml" "boot/bootstrap.ml" "-j" jobs]
4040+ ["./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" jobs]
4141+]
4242+depends: [
4343+ # Please keep the lower bound in sync with .github/workflows/workflow.yml,
4444+ # dune-project and min_ocaml_version in bootstrap.ml
4545+ ("ocaml" {>= "4.08"} | ("ocaml" {>= "4.02" & < "4.08~~"} & "ocamlfind-secondary"))
4646+ "base-unix"
4747+ "base-threads"
4848+]
4949+url {
5050+ src: "https://github.com/ocaml/dune/releases/download/3.8.1/dune-3.8.1.tbz"
5151+ checksum: [
5252+ "sha256=9413a5d6eb9d7968a0463debb9d9f1be73025345809b827978d0c14db76cf914"
5353+ "sha512=6857b64e7ca8ba452937539d5996c8d0941b25d82313cfad9e1e6b835a04fb86605beccdc86400cc705ad6a969171524091ab6981df87629b542cc172b38746b"
5454+ ]
5555+}
5656+x-commit-hash: "a340b806a6ec2da97c481c64011bfab7b71213a8"
···11opam-version: "2.0"
22synopsis: "Set OCaml to be compiled with --enable-naked-pointers-checker"
33+description: """
44+This package can be used to run OCaml packages with the check for
55+'naked pointers' enabled. A naked pointer is a pointer outside the OCaml heap
66+without a valid header, which is valid in OCaml 4.x, but forbidden in the
77+multicore OCaml 5.x runtime. The nnpchecker prints warnings to standard
88+error with the address that contains the naked pointer, the naked pointer
99+and the reason why the warning was raised.
1010+See [https://discuss.ocaml.org/t/ann-a-dynamic-checker-for-detecting-naked-pointers/5805]
1111+for more details on the operation of the naked pointer checker.
1212+1313+By convention, the opam repository adds conflicts to OCaml packages that
1414+violate the naked pointer rule. This means that if you install this package,
1515+you can find the subset of packages that _are_ compatible with OCaml 5.
1616+If you spot any violations of the nnpchecker on packages, then please consider
1717+submitting a pull request to the ocaml/opam-repository that adds a conflict
1818+against the violating package against this one.
1919+"""
320depends: [
421 "ocaml-variants" {post & ((>= "4.12.0~" & arch = "x86_64") | >= "4.14.0~") & < "5.0.0~~"}
522]
···11+opam-version: "2.0"
22+synopsis: "Auto-formatter for OCaml code (RPC mode)"
33+description:
44+ "OCamlFormat is a tool to automatically format OCaml code in a uniform style. This package defines a RPC interface to OCamlFormat"
55+maintainer: ["OCamlFormat Team <ocamlformat-dev@lists.ocaml.org>"]
66+authors: ["Josh Berdine <jjb@fb.com>"]
77+homepage: "https://github.com/ocaml-ppx/ocamlformat"
88+bug-reports: "https://github.com/ocaml-ppx/ocamlformat/issues"
99+depends: []
1010+build: []
1111+dev-repo: "git+https://github.com/ocaml-ppx/ocamlformat.git"
1212+license: ["MIT" "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"]
1313+messages: [
1414+ "The `ocamlformat` package ships the RPC mode since version 0.22.4. This package is no longer necessary." {installed}
1515+]
1616+conflicts: [
1717+ "ocamlformat" {< "0.22.4"}
1818+]
+38
packages/odig/odig.0.0.9/opam
···11+opam-version: "2.0"
22+synopsis: "Lookup documentation of installed OCaml packages"
33+description: """\
44+odig is a command line tool to lookup documentation of installed OCaml
55+packages. It shows package metadata, readmes, change logs, licenses,
66+cross-referenced `odoc` API documentation and manuals.
77+88+odig is distributed under the ISC license. The theme fonts have their
99+own [licenses](LICENSE.md).
1010+1111+Homepage: https://erratique.ch/software/odig"""
1212+maintainer: "Daniel Bünzli <daniel.buenzl i@erratique.ch>"
1313+authors: "The odig programmers"
1414+license: [
1515+ "ISC" "LicenseRef-ParaType-Free-Font-License" "LicenseRef-DejaVu-fonts"
1616+]
1717+tags: [
1818+ "build" "dev" "doc" "meta" "packaging" "org:erratique" "org:b0-system"
1919+]
2020+homepage: "https://erratique.ch/software/odig"
2121+doc: "https://erratique.ch/software/odig/doc"
2222+bug-reports: "https://github.com/b0-system/odig/issues"
2323+depends: [
2424+ "ocaml" {>= "4.08"}
2525+ "ocamlfind" {build}
2626+ "ocamlbuild" {build}
2727+ "topkg" {build & >= "1.0.3"}
2828+ "cmdliner" {>= "1.1.0"}
2929+ "odoc" {>= "2.0.0"}
3030+ "b0" {= "0.0.5"}
3131+]
3232+build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"]
3333+dev-repo: "git+https://erratique.ch/repos/odig.git"
3434+url {
3535+ src: "https://erratique.ch/software/odig/releases/odig-0.0.9.tbz"
3636+ checksum:
3737+ "sha512=1658390e48b7698522bf539ee038476968c27b75cd90277dfeffb21258940fc2a1e24a12403aba24f7ad2ce33dc920d3149c7d3cfb74c5c3e961b1e96639e9de"
3838+}
···11+opam-version: "2.0"
22+synopsis: "Bootstrapped development binary for opam 2.1"
33+description:
44+ "This package compiles (bootstraps) opam. For consistency and safety of the installation, the binaries are not installed into the PATH, but into lib/opam-devel, from where the user can manually install them system-wide."
55+maintainer: "opam-devel@lists.ocaml.org"
66+authors: [
77+ "Vincent Bernardoff <vb@luminar.eu.org>"
88+ "Raja Boujbel <raja.boujbel@ocamlpro.com>"
99+ "Roberto Di Cosmo <roberto@dicosmo.org>"
1010+ "Thomas Gazagnaire <thomas@gazagnaire.org>"
1111+ "Louis Gesbert <louis.gesbert@ocamlpro.com>"
1212+ "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>"
1313+ "Anil Madhavapeddy <anil@recoil.org>"
1414+ "Guillem Rieu <guillem.rieu@ocamlpro.com>"
1515+ "Ralf Treinen <ralf.treinen@pps.jussieu.fr>"
1616+ "Frederic Tuong <tuong@users.gforge.inria.fr>"
1717+]
1818+license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
1919+homepage: "https://opam.ocaml.org"
2020+bug-reports: "https://github.com/ocaml/opam/issues"
2121+depends: [
2222+ "ocaml" {>= "4.02.3"}
2323+ "opam-client" {= version}
2424+ "cmdliner" {>= "0.9.8"}
2525+ "dune" {>= "1.11.0"}
2626+ "conf-openssl" {with-test}
2727+ "conf-diffutils" {with-test}
2828+]
2929+build: [
3030+ ["./configure" "--disable-checks" "--prefix" prefix]
3131+ [make "%{name}%.install"]
3232+]
3333+post-messages:
3434+ """\
3535+The development version of opam has been successfully compiled into %{lib}%/%{name}%. You should not run it from there, please install the binaries to your PATH, e.g. with
3636+ sudo cp %{lib}%/%{name}%/opam /usr/local/bin
3737+3838+If you just want to give it a try without altering your current installation, you could use instead:
3939+ alias opam2="OPAMROOT=~/.opam2 %{lib}%/%{name}%/opam\""""
4040+ {success}
4141+dev-repo: "git+https://github.com/ocaml/opam.git"
4242+url {
4343+ src: "https://github.com/ocaml/opam/archive/refs/tags/2.1.5.tar.gz"
4444+ checksum: [
4545+ "md5=58f9fe5045c00c2a022a5b65d36be868"
4646+ "sha512=4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8"
4747+ ]
4848+}