extra-files: [ [ "md5=026b31e1df290373198373d5aaa26e42" "bGliOlsKICAiTUVUQS5zZXEiIHsiTUVUQSJ9Cl0K" ] [ "md5=29317f477fa828e18428660ef31064fb" "I2luY2x1ZGUgPGdtcC5oPgojaWZuZGVmIF9fR01QX0hfXwojZXJyb3IgIk5vIEdNUCBoZWFkZXIiCiNlbmRpZgojaWYgX19HTlVfTVBfVkVSU0lPTiA8IDUKI2Vycm9yICJHTVAgPj0gNSBpcyByZXF1aXJlZCB0byBzdXBwb3J0IG1wel9wb3dtX3NlYyIKI2VuZGlmCgp2b2lkIHRlc3Qodm9pZCkgewogIG1wel90IGJhc2U7CiAgbXB6X3QgZXhwOwogIG1wel90IG1vZDsKICBtcHpfdCByb3A7CgogIG1wel9pbml0X3NldF91aShiYXNlLCAydSk7CiAgbXB6X2luaXRfc2V0X3VpKGV4cCwgNHUpOwogIG1wel9pbml0X3NldF91aShtb2QsIDN1KTsKICBtcHpfaW5pdChyb3ApOwoKICBtcHpfcG93bV9zZWMocm9wLCBiYXNlLCBleHAsIG1vZCk7CgogIG1wel9jbGVhcihiYXNlKTsKICBtcHpfY2xlYXIoZXhwKTsKICBtcHpfY2xlYXIobW9kKTsKICBtcHpfY2xlYXIocm9wKTsKfQo=" ] [ "md5=2fd2970c293c36222a6d299ec155823f" "I2luY2x1ZGUgPGdtcC5oPgojaWZuZGVmIF9fR01QX0hfXwojZXJyb3IgIk5vIEdNUCBoZWFkZXIiCiNlbmRpZgoKdm9pZCB0ZXN0KHZvaWQpIHsKICBtcHpfdCBuOwogIG1wel9pbml0KG4pOwogIG1wel9jbGVhcihuKTsKfQo=" ] [ "md5=3cddbf72164c29d4e50e077a92a37c6c" "ZGlmZiBhL2NvbmZpZ3VyZSBiL2NvbmZpZ3VyZQotLS0gYS9jb25maWd1cmUKKysrIGIvY29uZmlndXJlCkBAIC0yOTQsNyArMjk0LDcgQEAKICAgICAjIElmIGZpbmRsaWIgaGFzIGJlZW4gY29uZmlndXJlZCAtc2l0ZWxpYiAkKG9jYW1sYyAtd2hlcmUpIHRoZW4gdGhlcmUncwogICAgICMgbm90aGluZyB0byBkbywgYnV0IG90aGVyd2lzZSB3ZSBuZWVkIHRvIHB1dCBPQ2FtbCdzIFN0YW5kYXJkIExpYnJhcnkKICAgICAjIGludG8gdGhlIHBhdGggc2V0dGluZy4KLSAgICBpZiBbICEgLWUgIiR7b2NhbWxfc2l0ZWxpYn0vc3RkbGliL01FVEEiIF07IHRoZW4KKyAgICBpZiBbICEgLWUgIiR7b2NhbWxfc2l0ZWxpYn0vc3RkbGliLmNtaSIgXTsgdGhlbgogICAgICAgICBvY2FtbHBhdGg9IiR7b2NhbWxfY29yZV9zdGRsaWJ9JHtwYXRoX3NlcH0ke29jYW1scGF0aH0iCiAgICAgZmkKIGZpCg==" ] [ "md5=3e969b841df1f51ca448e6e6295cb451" "c2hhcmVfcm9vdDogWyJjb25maWcuY2FjaGUiIHsib2NhbWwvY29uZmlnLmNhY2hlIn1dCg==" ] [ "md5=8e50c5e2517d3463b3aad649748cafd7" "c2hhcmU6IFsiZ2VuX29jYW1sX2NvbmZpZy5tbCJdCg==" ] [ "md5=a4b41e3236593d8271295b84b0969172" "bGV0ICgpID0KICBsZXQgb2NhbWxfdmVyc2lvbiA9CiAgICBsZXQgdiA9IFN5cy5vY2FtbF92ZXJzaW9uIGluCiAgICBsZXQgbCA9IFN0cmluZy5sZW5ndGggdiBpbgogICAgbGV0IHBsdXMgPSB0cnkgU3RyaW5nLmluZGV4IHYgJysnIHdpdGggTm90X2ZvdW5kIC0+IGwgaW4KICAgICgqIEludHJvZHVjZWQgaW4gNC4xMS4wOyB1c2VkIGZyb20gNC4xMi4wICopCiAgICBsZXQgdGlsZGUgPSB0cnkgU3RyaW5nLmluZGV4IHYgJ34nIHdpdGggTm90X2ZvdW5kIC0+IGwgaW4KICAgIFN0cmluZy5zdWIgdiAwIChtaW4gKG1pbiBwbHVzIHRpbGRlKSBsKQogIGluCiAgaWYgb2NhbWxfdmVyc2lvbiA8PiBTeXMuYXJndi4oMSkgdGhlbgogICAgKFByaW50Zi5lcHJpbnRmCiAgICAgICAiT0NhbWwgdmVyc2lvbiBtaXNtYXRjaDogJSVzLCBleHBlY3RlZCAlcyIKICAgICAgIG9jYW1sX3ZlcnNpb24gU3lzLmFyZ3YuKDEpOwogICAgIGV4aXQgMSkKICBlbHNlCiAgbGV0IG9jID0gb3Blbl9vdXQgKFN5cy5hcmd2LigyKSBeICIuY29uZmlnIikgaW4KICBsZXQgZXhlID0gIi5leGUiIGluCiAgbGV0IChvY2FtbCwgc3VmZml4KSA9CiAgICBsZXQgcyA9IFN5cy5leGVjdXRhYmxlX25hbWUgaW4KICAgIGlmIEZpbGVuYW1lLmNoZWNrX3N1ZmZpeCBzIGV4ZSB0aGVuCiAgICAgIChGaWxlbmFtZS5jaG9wX3N1ZmZpeCBzIGV4ZSwgZXhlKQogICAgZWxzZQogICAgICAocywgIiIpCiAgaW4KICBsZXQgb2NhbWxjID0gb2NhbWxeImMiXnN1ZmZpeCBpbgogIGxldCBsaWJkaXIgPQogICAgaWYgU3lzLmNvbW1hbmQgKG9jYW1sY14iIC13aGVyZSA+IHdoZXJlIikgPSAwIHRoZW4KICAgICAgKCogTXVzdCBiZSBvcGVuZWQgaW4gdGV4dCBtb2RlIGZvciBXaW5kb3dzICopCiAgICAgIGxldCBpYyA9IG9wZW5faW4gIndoZXJlIiBpbgogICAgICBsZXQgciA9IGlucHV0X2xpbmUgaWMgaW4KICAgICAgY2xvc2VfaW4gaWM7IHIKICAgIGVsc2UKICAgICAgZmFpbHdpdGggIkJhZCByZXR1cm4gZnJvbSAnb2NhbWxjIC13aGVyZSciCiAgaW4KICBsZXQgc3R1YnNkaXIgPQogICAgbGV0IGljID0gb3Blbl9pbiAoRmlsZW5hbWUuY29uY2F0IGxpYmRpciAibGQuY29uZiIpIGluCiAgICBsZXQgcmVjIHIgYWNjID0gdHJ5IHIgKGlucHV0X2xpbmUgaWM6OmFjYykgd2l0aCBFbmRfb2ZfZmlsZSAtPiBhY2MgaW4KICAgIGxldCBsaW5lcyA9IExpc3QucmV2IChyIFtdKSBpbgogICAgY2xvc2VfaW4gaWM7CiAgICBTdHJpbmcuY29uY2F0ICI6IiBsaW5lcwogIGluCiAgbGV0IHAgZm10ID0gUHJpbnRmLmZwcmludGYgb2MgKGZtdCBeXiAiXG4iKSBpbgogIHAgIm9wYW0tdmVyc2lvbjogXCIyLjBcIiI7CiAgcCAidmFyaWFibGVzIHsiOwogIHAgIiAgbmF0aXZlOiAlJWIiCiAgICAoU3lzLmZpbGVfZXhpc3RzIChvY2FtbF4ib3B0Il5zdWZmaXgpKTsKICBwICIgIG5hdGl2ZS10b29sczogJSViIgogICAgKFN5cy5maWxlX2V4aXN0cyAob2NhbWxjXiIub3B0Il5zdWZmaXgpKTsKICBwICIgIG5hdGl2ZS1keW5saW5rOiAlJWIiCiAgICAoU3lzLmZpbGVfZXhpc3RzIChGaWxlbmFtZS5jb25jYXQgbGliZGlyICJkeW5saW5rLmNteGEiKSk7CiAgcCAiICBzdHVic2RpcjogJSVTIgogICAgc3R1YnNkaXI7CiAgcCAiICBwcmVpbnN0YWxsZWQ6ICV7b2NhbWwtc3lzdGVtOmluc3RhbGxlZH0lIjsKICBwICIgIGNvbXBpbGVyOiBcIiV7b2NhbWwtc3lzdGVtOmluc3RhbGxlZD9zeXN0ZW06fSUle29jYW1sLWJhc2UtY29tcGlsZXI6dmVyc2lvbn0lJXtvY2FtbC12YXJpYW50czp2ZXJzaW9ufSUle29jYW1sLW9wdGlvbi0zMmJpdDppbnN0YWxsZWQ/KzMyYml0On0lJXtvY2FtbC1vcHRpb24tYWZsOmluc3RhbGxlZD8rYWZsOn0lJXtvY2FtbC1vcHRpb24tYnl0ZWNvZGUtb25seTppbnN0YWxsZWQ/K2J5dGVjb2RlLW9ubHk6fSUle29jYW1sLW9wdGlvbi1kZWZhdWx0LXVuc2FmZS1zdHJpbmc6aW5zdGFsbGVkPytkZWZhdWx0LXVuc2FmZS1zdHJpbmc6fSUle29jYW1sLW9wdGlvbi1mcDppbnN0YWxsZWQ/K2ZwOn0lJXtvY2FtbC1vcHRpb24tZmxhbWJkYTppbnN0YWxsZWQ/K2ZsYW1iZGE6fSUle29jYW1sLW9wdGlvbi1tdXNsOmluc3RhbGxlZD8rbXVzbDp9JSV7b2NhbWwtb3B0aW9uLW5ucDppbnN0YWxsZWQ/K25ucDp9JSV7b2NhbWwtb3B0aW9uLW5vLWZsYXQtZmxvYXQtYXJyYXk6aW5zdGFsbGVkPytuby1mbGF0LWZsb2F0LWFycmF5On0lJXtvY2FtbC1vcHRpb24tc3BhY2V0aW1lOmluc3RhbGxlZD8rc3BhY2V0aW1lOn0lJXtvY2FtbC1vcHRpb24tc3RhdGljOmluc3RhbGxlZD8rc3RhdGljOn0lXCIiOwogIHAgIn0iOwogIGNsb3NlX291dCBvYwo=" ] [ "md5=b33c8a1a6c7ed797816ce27df4855107" "bmFtZT0ic2VxIgp2ZXJzaW9uPSJbZGlzdHJpYnV0ZWQgd2l0aCBPQ2FtbCA0LjA3IG9yIGFib3ZlXSIKZGVzY3JpcHRpb249ImR1bW15IGJhY2t3YXJkLWNvbXBhdGliaWxpdHkgcGFja2FnZSBmb3IgaXRlcmF0b3JzIgpyZXF1aXJlcz0iIgo=" ] ] opam-version: "2.0" installed: [ "astring.0.8.5" "base-bigarray.base" "base-bytes.base" "base-threads.base" "base-unix.base" "cmdliner.1.2.0" "conf-gmp.4" "conf-gmp-powm-sec.3" "fmt.0.9.0" "fpath.0.7.3" "mtime.2.0.0" "ocaml.4.14.1" "ocaml-base-compiler.4.14.1" "ocaml-config.2" "ocaml-options-vanilla.1" "ocamlbuild.0.14.3" "ocamlfind.1.9.6" "ptime.1.1.0" "rresult.0.7.0" "seq.base" "topkg.1.0.7" "uuidm.0.9.8" "zarith.1.13" ] package "astring" { opam-version: "2.0" version: "0.8.5" synopsis: "Alternative String module for OCaml" description: """\ Astring exposes an alternative `String` module for OCaml. This module tries to balance minimality and expressiveness for basic, index-free, string processing and provides types and functions for substrings, string sets and string maps. Remaining compatible with the OCaml `String` module is a non-goal. The `String` module exposed by Astring has exception safe functions, removes deprecated and rarely used functions, alters some signatures and names, adds a few missing functions and fully exploits OCaml's newfound string immutability. Astring depends only on the OCaml standard library. It is distributed under the ISC license.""" maintainer: "Daniel Bünzli " authors: "The astring programmers" license: "ISC" tags: ["string" "org:erratique"] homepage: "https://erratique.ch/software/astring" doc: "https://erratique.ch/software/astring/doc" bug-reports: "https://github.com/dbuenzli/astring/issues" depends: [ "ocaml" {>= "4.05.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build} ] build: ["ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%"] dev-repo: "git+http://erratique.ch/repos/astring.git" url { src: "https://erratique.ch/software/astring/releases/astring-0.8.5.tbz" checksum: "md5=e148907c24157d1df43bec89b58b3ec8" } } package "base-bigarray" { opam-version: "2.0" version: "base" synopsis: "" description: "Bigarray library distributed with the OCaml compiler" maintainer: "https://github.com/ocaml/opam-repository/issues" } package "base-bytes" { opam-version: "2.0" version: "base" synopsis: "Bytes library distributed with the OCaml compiler" maintainer: " " authors: " " homepage: " " depends: [ "ocaml" {>= "4.02.0"} "ocamlfind" {>= "1.5.3"} ] } package "base-threads" { opam-version: "2.0" version: "base" synopsis: "" description: "Threads library distributed with the OCaml compiler" maintainer: "https://github.com/ocaml/opam-repository/issues" } package "base-unix" { opam-version: "2.0" version: "base" synopsis: "" description: "Unix library distributed with the OCaml compiler" maintainer: "https://github.com/ocaml/opam-repository/issues" } package "cmdliner" { opam-version: "2.0" version: "1.2.0" synopsis: "Declarative definition of command line interfaces for OCaml" description: """\ Cmdliner allows the declarative definition of command line interfaces for OCaml. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands and respects most of the [POSIX][1] and [GNU][2] conventions. Cmdliner has no dependencies and is distributed under the ISC license. [1]: http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap12.html [2]: http://www.gnu.org/software/libc/manual/html_node/Argument-Syntax.html Home page: http://erratique.ch/software/cmdliner""" maintainer: "Daniel Bünzli " authors: "The cmdliner programmers" license: "ISC" tags: ["cli" "system" "declarative" "org:erratique"] homepage: "https://erratique.ch/software/cmdliner" doc: "https://erratique.ch/software/cmdliner/doc" bug-reports: "https://github.com/dbuenzli/cmdliner/issues" depends: [ "ocaml" {>= "4.08.0"} ] build: [make "all" "PREFIX=%{prefix}%"] install: [ [make "install" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"] [make "install-doc" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"] ] dev-repo: "git+https://erratique.ch/repos/cmdliner.git" url { src: "https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz" checksum: "sha512=6fcd6a59a6fbc6986b1aecdc3e4ce7a0dc43c65a16b427d6caa5504b10b51384f6b0bc703af646b09f5f1caeb6827b37d4480ce350ca8006204c850785f2810b" } } package "conf-gmp" { opam-version: "2.0" version: "4" 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." maintainer: "nbraud" authors: "nbraud" license: "GPL-1.0-or-later" homepage: "http://gmplib.org/" bug-reports: "https://github.com/ocaml/opam-repository/issues" flags: conf build: [ ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"} [ "sh" "-exc" "$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c" ] {os = "win32" & os-distribution = "cygwinports"} [ "sh" "-exc" "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c" ] {os = "macos"} ] 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"} ] extra-files: ["test.c" "md5=2fd2970c293c36222a6d299ec155823f"] } package "conf-gmp-powm-sec" { opam-version: "2.0" version: "3" 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.""" maintainer: "Etienne Millon " authors: "Etienne Millon " license: "GPL-1.0-or-later" homepage: "http://gmplib.org/" bug-reports: "https://github.com/ocaml/opam-repository/issues" depends: ["conf-gmp"] flags: conf build: [ ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"} [ "sh" "-exc" "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c" ] {os = "macos"} ] extra-files: ["test.c" "md5=29317f477fa828e18428660ef31064fb"] } package "fmt" { opam-version: "2.0" version: "0.9.0" synopsis: "OCaml Format pretty-printer combinators" description: """\ Fmt exposes combinators to devise `Format` pretty-printing functions. Fmt depends only on the OCaml standard library. The optional `Fmt_tty` library that allows to setup formatters for terminal color output depends on the Unix library. The optional `Fmt_cli` library that provides command line support for Fmt depends on [`Cmdliner`][cmdliner]. Fmt is distributed under the ISC license. [cmdliner]: http://erratique.ch/software/cmdliner Home page: http://erratique.ch/software/fmt""" maintainer: "Daniel Bünzli " authors: "The fmt programmers" license: "ISC" tags: ["string" "format" "pretty-print" "org:erratique"] homepage: "https://erratique.ch/software/fmt" doc: "https://erratique.ch/software/fmt/doc/" bug-reports: "https://github.com/dbuenzli/fmt/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "1.0.3"} ] depopts: ["base-unix" "cmdliner"] conflicts: [ "cmdliner" {< "0.9.8"} ] build: [ "ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%" "--with-base-unix" "%{base-unix:installed}%" "--with-cmdliner" "%{cmdliner:installed}%" ] dev-repo: "git+https://erratique.ch/repos/fmt.git" url { src: "https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz" checksum: "sha512=66cf4b8bb92232a091dfda5e94d1c178486a358cdc34b1eec516d48ea5acb6209c0dfcb416f0c516c50ddbddb3c94549a45e4a6d5c5fd1c81d3374dec823a83b" } } package "fpath" { opam-version: "2.0" version: "0.7.3" synopsis: "File system paths for OCaml" description: """\ Fpath is an OCaml module for handling file system paths with POSIX or Windows conventions. Fpath processes paths without accessing the file system and is independent from any system library. Fpath depends on [Astring][astring] and is distributed under the ISC license. [astring]: http://erratique.ch/software/astring""" maintainer: "Daniel Bünzli " authors: "The fpath programmers" license: "ISC" tags: ["file" "system" "path" "org:erratique"] homepage: "https://erratique.ch/software/fpath" doc: "https://erratique.ch/software/fpath/doc" bug-reports: "https://github.com/dbuenzli/fpath/issues" depends: [ "ocaml" {>= "4.03.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "0.9.0"} "astring" ] build: [ "ocaml" "pkg/pkg.ml" "build" "--dev-pkg=true" {dev} ] dev-repo: "git+https://erratique.ch/repos/fpath.git" url { src: "https://erratique.ch/software/fpath/releases/fpath-0.7.3.tbz" checksum: "md5=0740b530e8fed5b0adc5eee8463cfc2f" } } package "mtime" { opam-version: "2.0" version: "2.0.0" synopsis: "Monotonic wall-clock time for OCaml" description: """\ Mtime has platform independent support for monotonic wall-clock time in pure OCaml. This time increases monotonically and is not subject to operating system calendar time adjustments. The library has types to represent nanosecond precision timestamps and time spans. The additional Mtime_clock library provide access to a system monotonic clock. Mtime has a no dependency. Mtime_clock depends on your system library or JavaScript runtime system. Mtime and its libraries are distributed under the ISC license. Home page: """ maintainer: "Daniel Bünzli " authors: "The mtime programmers" license: "ISC" tags: ["time" "monotonic" "system" "org:erratique"] homepage: "https://erratique.ch/software/mtime" doc: "https://erratique.ch/software/mtime/doc/" bug-reports: "https://github.com/dbuenzli/mtime/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build & != "0.9.0"} "topkg" {build & >= "1.0.3"} ] build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"] dev-repo: "git+https://erratique.ch/repos/mtime.git" url { src: "https://erratique.ch/software/mtime/releases/mtime-2.0.0.tbz" checksum: "sha512=2ebec45218901c08f73420aa3318c506f155b6c0df713e9856682e59d3246696821ea477ce3682af0bf4cafd0491b1d66904f8c0256e2cf831e93a0aea322f04" } } package "ocaml" { opam-version: "2.0" version: "4.14.1" synopsis: "The OCaml compiler (virtual package)" description: """\ This package requires a matching implementation of OCaml, and polls it to initialise specific variables like `ocaml:native-dynlink`""" maintainer: "platform@lists.ocaml.org" authors: [ "Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon" ] license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" homepage: "https://ocaml.org" bug-reports: "https://github.com/ocaml/opam-repository/issues" depends: [ "ocaml-config" {>= "2"} "ocaml-base-compiler" {>= "4.14.1~" & < "4.14.2~"} | "ocaml-variants" {>= "4.14.1~" & < "4.14.2~"} | "ocaml-system" {>= "4.14.1" & < "4.14.2~"} ] flags: conf setenv: [ [CAML_LD_LIBRARY_PATH = "%{_:stubsdir}%"] [CAML_LD_LIBRARY_PATH += "%{lib}%/stublibs"] [OCAML_TOPLEVEL_PATH = "%{toplevel}%"] ] build: [ "ocaml" "%{ocaml-config:share}%/gen_ocaml_config.ml" _:version _:name ] build-env: CAML_LD_LIBRARY_PATH = "" } package "ocaml-base-compiler" { opam-version: "2.0" version: "4.14.1" synopsis: "Official release 4.14.1" maintainer: "platform@lists.ocaml.org" authors: "Xavier Leroy and many contributors" license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" homepage: "https://ocaml.org" bug-reports: "https://github.com/ocaml/opam-repository/issues" depends: [ "ocaml" {= "4.14.1" & post} "base-unix" {post} "base-bigarray" {post} "base-threads" {post} "ocaml-options-vanilla" {post} ] conflict-class: "ocaml-core-compiler" flags: compiler setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" build: [ [ "./configure" "--prefix=%{prefix}%" "--docdir=%{doc}%/ocaml" "-C" "CC=cc" {os = "openbsd" | os = "macos"} "ASPP=cc -c" {os = "openbsd" | os = "macos"} ] [make "-j%{jobs}%"] ] install: [make "install"] post-messages: [ """\ A failure in the middle of the build may be caused by build parallelism (enabled by default). Please file a bug report at https://github.com/ocaml/opam-repository/issues""" {failure & jobs > "1"} """\ You can try installing again including --jobs=1 to force a sequential build instead.""" {failure & jobs > "1" & opam-version >= "2.0.5"} ] dev-repo: "git+https://github.com/ocaml/ocaml" extra-files: [ "ocaml-base-compiler.install" "md5=3e969b841df1f51ca448e6e6295cb451" ] url { src: "https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz" checksum: "sha256=776006e6f0b9bcfb6d9d74381c588e587432ca85562fde93bb80472a5145b028" } } package "ocaml-config" { opam-version: "2.0" version: "2" synopsis: "OCaml Switch Configuration" description: "This package is used by the OCaml package to set-up its variables." maintainer: "platform@lists.ocaml.org" authors: [ "Louis Gesbert " "David Allsopp " ] homepage: "https://opam.ocaml.org/" bug-reports: "https://github.com/ocaml/opam/issues" depends: [ "ocaml-base-compiler" {>= "4.12.0~"} | "ocaml-variants" {>= "4.12.0~"} | "ocaml-system" {>= "4.12.0~"} ] substs: "gen_ocaml_config.ml" extra-files: [ ["gen_ocaml_config.ml.in" "md5=a4b41e3236593d8271295b84b0969172"] ["ocaml-config.install" "md5=8e50c5e2517d3463b3aad649748cafd7"] ] } package "ocaml-options-vanilla" { opam-version: "2.0" version: "1" synopsis: "Ensure that OCaml is compiled with no special options enabled" maintainer: "platform@lists.ocaml.org" depends: [ "ocaml-base-compiler" {post} | "ocaml-system" {post} | "ocaml-variants" {post & >= "4.12.0~"} ] conflicts: [ "ocaml-option-32bit" "ocaml-option-afl" "ocaml-option-bytecode-only" {arch = "arm64" | arch = "x86_64"} "ocaml-option-default-unsafe-string" "ocaml-option-flambda" "ocaml-option-fp" "ocaml-option-musl" "ocaml-option-no-flat-float-array" "ocaml-option-no-compression" "ocaml-option-spacetime" "ocaml-option-static" "ocaml-option-nnp" "ocaml-option-nnpchecker" "ocaml-option-address-sanitizer" "ocaml-option-leak-sanitizer" "ocaml-option-tsan" ] flags: compiler } package "ocamlbuild" { opam-version: "2.0" version: "0.14.3" synopsis: "OCamlbuild is a build system with builtin rules to easily build most OCaml projects" maintainer: "Gabriel Scherer " authors: ["Nicolas Pouillard" "Berke Durak"] license: "LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception" homepage: "https://github.com/ocaml/ocamlbuild/" doc: "https://github.com/ocaml/ocamlbuild/blob/master/manual/manual.adoc" bug-reports: "https://github.com/ocaml/ocamlbuild/issues" depends: [ "ocaml" {>= "4.03"} ] conflicts: [ "base-ocamlbuild" "ocamlfind" {< "1.6.2"} ] available: os != "win32" build: [ [ make "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=%{prefix}%" "OCAMLBUILD_BINDIR=%{bin}%" "OCAMLBUILD_LIBDIR=%{lib}%" "OCAMLBUILD_MANDIR=%{man}%" "OCAML_NATIVE=%{ocaml:native}%" "OCAML_NATIVE_TOOLS=%{ocaml:native}%" ] [make "check-if-preinstalled" "all" "opam-install"] ] dev-repo: "git+https://github.com/ocaml/ocamlbuild.git" url { src: "https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.3.tar.gz" checksum: [ "md5=220df59060c916e8aac2eb471c870485" "sha512=def8fa1d5488905fda31f72b7f6f0ebdccefa55a8e984a6ea4a7c1e0856e8ea1f7814410202e0f7f7d5e72aca7e8ae0d6623f7f2bade78b0dd82155de76ec4e5" ] } } package "ocamlfind" { opam-version: "2.0" version: "1.9.6" synopsis: "A library manager for OCaml" description: """\ Findlib is a library manager for OCaml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.""" maintainer: "Thomas Gazagnaire " authors: "Gerd Stolpmann " license: "MIT" homepage: "http://projects.camlcity.org/projects/findlib.html" bug-reports: "https://github.com/ocaml/ocamlfind/issues" depends: [ "ocaml" {>= "3.08.0"} ] depopts: ["graphics"] available: os != "win32" build: [ [ "./configure" "-bindir" bin "-sitelib" lib "-mandir" man "-config" "%{lib}%/findlib.conf" "-no-custom" "-no-camlp4" {!ocaml:preinstalled & ocaml:version >= "4.02.0"} "-no-topfind" {ocaml:preinstalled} ] [make "all"] [make "opt"] {ocaml:native} ] install: [ [make "install"] ["install" "-m" "0755" "ocaml-stub" "%{bin}%/ocaml"] {ocaml:preinstalled} ] patches: "0001-Harden-test-for-OCaml-5.patch" dev-repo: "git+https://github.com/ocaml/ocamlfind.git" extra-files: [ "0001-Harden-test-for-OCaml-5.patch" "md5=3cddbf72164c29d4e50e077a92a37c6c" ] url { src: "http://download.camlcity.org/download/findlib-1.9.6.tar.gz" checksum: [ "md5=96c6ee50a32cca9ca277321262dbec57" "sha512=cfaf1872d6ccda548f07d32cc6b90c3aafe136d2aa6539e03143702171ee0199add55269bba894c77115535dc46a5835901a5d7c75768999e72db503bfd83027" ] } } package "ptime" { opam-version: "2.0" version: "1.1.0" synopsis: "POSIX time for OCaml" description: """\ Ptime has platform independent POSIX time support in pure OCaml. It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion with [RFC 3339 timestamps][rfc3339] and pretty printing to a human-readable, locale-independent representation. The additional Ptime_clock library provides access to a system POSIX clock and to the system's current time zone offset. Ptime is not a calendar library. Ptime has no dependency. Ptime_clock depends on your system library or JavaScript runtime system. Ptime and its libraries are distributed under the ISC license. [rfc3339]: http://tools.ietf.org/html/rfc3339 Home page: """ maintainer: "Daniel Bünzli " authors: "The ptime programmers" license: "ISC" tags: ["time" "posix" "system" "org:erratique"] homepage: "https://erratique.ch/software/ptime" doc: "https://erratique.ch/software/ptime/doc/" bug-reports: "https://github.com/dbuenzli/ptime/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build & != "0.9.0"} "topkg" {build & >= "1.0.3"} ] build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"] dev-repo: "git+https://erratique.ch/repos/ptime.git" url { src: "https://erratique.ch/software/ptime/releases/ptime-1.1.0.tbz" checksum: "sha512=309b8383f61b58840e58a82802ec8fbc61b7cc95a4590d38ad427e484cbaaf66f03fa8e6484b5b6855468a87e745aed103bf6f1041ec05062230a9fa5fb86cc6" } } package "rresult" { opam-version: "2.0" version: "0.7.0" synopsis: "Result value combinators for OCaml" description: """\ Rresult is an OCaml module for handling computation results and errors in an explicit and declarative manner, without resorting to exceptions. It defines combinators to operate on the `result` type available from OCaml 4.03 in the standard library. OCaml 4.08 provides the `Stdlib.Result` module which you should prefer to Rresult. Rresult is distributed under the ISC license. Home page: http://erratique.ch/software/rresult Contact: Daniel Bünzli ``""" maintainer: "Daniel Bünzli " authors: "The rresult programmers" license: "ISC" tags: ["result" "error" "org:erratique"] homepage: "https://erratique.ch/software/rresult" doc: "https://erratique.ch/software/rresult/doc/Rresult" bug-reports: "https://github.com/dbuenzli/rresult/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "1.0.3"} ] build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"] dev-repo: "git+https://erratique.ch/repos/rresult.git" url { src: "https://erratique.ch/software/rresult/releases/rresult-0.7.0.tbz" checksum: "sha512=f1bb631c986996388e9686d49d5ae4d8aaf14034f6865c62a88fb58c48ce19ad2eb785327d69ca27c032f835984e0bd2efd969b415438628a31f3e84ec4551d3" } } package "seq" { opam-version: "2.0" version: "base" synopsis: "Compatibility package for OCaml's standard iterator type starting from 4.07." maintainer: " " authors: " " homepage: " " bug-reports: "https://caml.inria.fr/mantis/main_page.php" depends: [ "ocaml" {>= "4.07.0"} ] dev-repo: "git+https://github.com/ocaml/ocaml.git" extra-files: [ ["seq.install" "md5=026b31e1df290373198373d5aaa26e42"] ["META.seq" "md5=b33c8a1a6c7ed797816ce27df4855107"] ] } package "topkg" { opam-version: "2.0" version: "1.0.7" synopsis: "The transitory OCaml software packager" description: """\ Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures. The optional topkg-care package provides the `topkg` command line tool which helps with various aspects of a package's life cycle: creating and linting a distribution, releasing it on the WWW, publish its documentation, add it to the OCaml opam repository, etc. Topkg is distributed under the ISC license and has **no** dependencies. This is what your packages will need as a *build* dependency. Topkg-care is distributed under the ISC license it depends on [fmt][fmt], [logs][logs], [bos][bos], [cmdliner][cmdliner], [webbrowser][webbrowser] and `opam-format`. [fmt]: http://erratique.ch/software/fmt [logs]: http://erratique.ch/software/logs [bos]: http://erratique.ch/software/bos [cmdliner]: http://erratique.ch/software/cmdliner [webbrowser]: http://erratique.ch/software/webbrowser Home page: http://erratique.ch/software/topkg""" maintainer: "Daniel Bünzli " authors: "The topkg programmers" license: "ISC" tags: ["packaging" "ocamlbuild" "org:erratique"] homepage: "https://erratique.ch/software/topkg" doc: "https://erratique.ch/software/topkg/doc" bug-reports: "https://github.com/dbuenzli/topkg/issues" depends: [ "ocaml" {>= "4.05.0"} "ocamlfind" {build & >= "1.6.1"} "ocamlbuild" ] build: [ "ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--dev-pkg" "%{dev}%" ] dev-repo: "git+https://erratique.ch/repos/topkg.git" url { src: "https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz" checksum: "sha512=09e59f1759bf4db8471f02d0aefd8db602b44932a291c05c312b1423796e7a15d1598d3c62a0cec7f083eff8e410fac09363533dc4bd2120914bb9664efea535" } } package "uuidm" { opam-version: "2.0" version: "0.9.8" synopsis: "Universally unique identifiers (UUIDs) for OCaml" description: """\ Uuidm is an OCaml module implementing 128 bits universally unique identifiers version 3, 5 (named based with MD5, SHA-1 hashing) and 4 (random based) according to [RFC 4122][rfc4122]. Uuidm has no dependency and is distributed under the ISC license. [rfc4122]: http://tools.ietf.org/html/rfc4122 Homepage: """ maintainer: "Daniel Bünzli " authors: "The uuidm programmers" license: "ISC" tags: ["uuid" "codec" "org:erratique"] homepage: "https://erratique.ch/software/uuidm" doc: "https://erratique.ch/software/uuidm/doc/" bug-reports: "https://github.com/dbuenzli/uuidm/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "1.0.3"} ] depopts: ["cmdliner"] conflicts: [ "cmdliner" {< "1.1.0"} ] build: [ "ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%" "--with-cmdliner" "%{cmdliner:installed}%" ] dev-repo: "git+https://erratique.ch/repos/uuidm.git" url { src: "https://erratique.ch/software/uuidm/releases/uuidm-0.9.8.tbz" checksum: "sha512=d5073ae49c402ab3ea6dc8f86bc5b8cc14129437e23e47da4d91431648fcb31c4dce6308f9c936c58df9a2c6afda61d77105a3022e369cca4e4c140320e803b5" } } package "zarith" { opam-version: "2.0" version: "1.13" synopsis: "Implements arithmetic and logical operations over arbitrary-precision integers" description: """\ The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.""" maintainer: "Xavier Leroy " authors: ["Antoine Miné" "Xavier Leroy" "Pascal Cuoq"] license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception" homepage: "https://github.com/ocaml/Zarith" bug-reports: "https://github.com/ocaml/Zarith/issues" depends: [ "ocaml" {>= "4.04.0"} "ocamlfind" "conf-gmp" ] build: [ ["./configure"] {os != "openbsd" & os != "freebsd" & os != "macos"} [ "sh" "-exc" "LDFLAGS=\"$LDFLAGS -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/usr/local/include\" ./configure" ] {os = "openbsd" | os = "freebsd"} [ "sh" "-exc" "LDFLAGS=\"$LDFLAGS -L/opt/local/lib -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/opt/local/include -I/usr/local/include\" ./configure" ] {os = "macos" & os-distribution != "homebrew"} [ "sh" "-exc" "LDFLAGS=\"$LDFLAGS -L/opt/local/lib -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/opt/local/include -I/usr/local/include\" ./configure" ] {os = "macos" & os-distribution = "homebrew" & arch = "x86_64"} [ "sh" "-exc" "LDFLAGS=\"$LDFLAGS -L/opt/homebrew/lib\" CFLAGS=\"$CFLAGS -I/opt/homebrew/include\" ./configure" ] {os = "macos" & os-distribution = "homebrew" & arch = "arm64"} [make] ] install: [make "install"] dev-repo: "git+https://github.com/ocaml/Zarith.git" url { src: "https://github.com/ocaml/Zarith/archive/release-1.13.tar.gz" checksum: [ "md5=b3529c5de89ab8c026943f73f6195ad9" "sha512=a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f" ] } }