···11+opam-version: "2.0"
22+synopsis:
33+ "Camlp4 is a system for writing extensible parsers for programming languages"
44+description: """\
55+It provides a set of OCaml libraries that are used to define grammars as well
66+as loadable syntax extensions of such grammars. Camlp4 stands for Caml
77+Preprocessor and Pretty-Printer and one of its most important applications is
88+the definition of domain-specific extensions of the syntax of OCaml.
99+1010+Camlp4 was part of the official OCaml distribution until its version 4.01.0.
1111+Since then it has been replaced by a simpler system which is easier to maintain
1212+and to learn: ppx rewriters and extension points."""
1313+maintainer: "ygrek@autistici.org"
1414+authors: ["Daniel de Rauglaudre" "Nicolas Pouillard"]
1515+license: "LGPL-2.1-only"
1616+homepage: "https://github.com/camlp4/camlp4"
1717+bug-reports: "https://github.com/camlp4/camlp4/issues"
1818+depends: [
1919+ "ocaml" {>= "5.1" & < "5.2"}
2020+ "ocamlbuild" {build}
2121+ "ocamlfind" {build}
2222+ "camlp-streams"
2323+]
2424+build: [
2525+ [
2626+ "./configure"
2727+ "--bindir=%{bin}%"
2828+ "--libdir=%{lib}%/ocaml"
2929+ "--pkgdir=%{lib}%"
3030+ "--pinned"
3131+ ]
3232+ [make "clean"]
3333+ [make "all"] {ocaml:native-dynlink}
3434+ [make "byte"] {!ocaml:native-dynlink}
3535+]
3636+install: [make "install" "install-META"]
3737+dev-repo: "git+https://github.com/camlp4/camlp4.git"
3838+url {
3939+ src: "https://github.com/camlp4/camlp4/archive/refs/tags/5.1+1.tar.gz"
4040+ checksum: [
4141+ "md5=1a22cdbb9377ed9d64b1a3e091051348"
4242+ "sha512=2aa69b23397d2bf2dde6d1e8cfa4008da35960822db36bb04a922c4640cadadd7d5a9f12cc0e855447327131459c0e63bdd6269e8abd598a3da10966eab1d74a"
4343+ ]
4444+}
···11+opam-version: "2.0"
22+maintainer: "opam-repository maintainers"
33+homepage: "https://blake3.io/"
44+bug-reports: "https://github.com/ocaml/opam-repository/issues"
55+authors: ["Jack O'Connor <oconnor663@gmail.com>" "Samuel Neves"]
66+license: "CC0-1.0 OR Apache-2.0"
77+build: [
88+ ["pkg-config" "--atleast-version=1.5.1" "libblake3"]
99+]
1010+depends: ["conf-pkg-config" {build}]
1111+depexts: [
1212+ ["blake3-devel"] {os-distribution = "fedora"}
1313+ ["blake3"] {os-distribution = "homebrew" & os = "macos"}
1414+]
1515+synopsis: "Virtual package relying on libblake3"
1616+description:"
1717+This package can only install if the libblake3 library is installed on the system,
1818+and its version is at least 1.5.1
1919+"
+28
packages/conf-libmd/conf-libmd.1.0.0/opam
···11+opam-version: "2.0"
22+maintainer: "opam-repository maintainers"
33+homepage: "https://www.hadrons.org/software/libmd/"
44+bug-reports: "https://github.com/ocaml/opam-repository/issues"
55+authors: ["Guillem Jover" "Aaron D. Gifford" "Markus Friedl" "The NetBSD Foundation, Inc"
66+ "Todd C. Miller" "Poul-Henning Kamp" "Colin Plumb"]
77+license: "BSD-3-clause AND BSD-2-Clause-NetBSD AND ISC"
88+build: [
99+ ["pkg-config" "--atleast-version=1.0.0" "libmd"] { os-distribution != "freebsd" }
1010+]
1111+depends: ["conf-pkg-config" {build}]
1212+depexts: [
1313+ ["libmd-devel"] {os = "cygwin" | os-distribution = "cygwinports"}
1414+ ["libmd-dev"] {os-family = "debian" | os-family = "ubuntu"}
1515+ ["libmd-devel"] {os-family = "mandriva" | os-family = "openmandriva" | os-family = "mageia"}
1616+ ["libmd-devel"] {os-family = "fedora" | os-family = "rhel" | os-family = "centos"}
1717+ ["libmd-dev"] {os-family = "alpine"}
1818+ ["libmd"] {os-family = "arch" | os-family = "archlinux" | os-family = "opensuse"}
1919+ ["app-crypt/libmd"] {os-family = "gentoo"}
2020+ ["libmd"] {os = "dragonfly" | os = "netbsd" | os = "openbsd"}
2121+ ["libmd"] {os = "macos" & os-distribution = "homebrew"}
2222+ ["libmd"] {os = "macos" & os-distribution = "macports"}
2323+]
2424+synopsis: "Virtual package relying on libmd"
2525+description:"
2626+This package can only install if the libmd library is installed on the system,
2727+and its version is at least 1.0.0
2828+"
···11+opam-version: "2.0"
22+synopsis: "CryptoVerif: Cryptographic protocol verifier in the computational model"
33+description: """
44+CryptoVerif is an automatic protocol prover sound in the computational model. It can prove
55+66+ - secrecy;
77+ - correspondences, which include in particular authentication;
88+ - indistinguishability between two games.
99+1010+It provides a generic mechanism for specifying the security assumptions on cryptographic primitives, which can handle in particular symmetric encryption, message authentication codes, public-key encryption, signatures, hash functions.
1111+1212+The generated proofs are proofs by sequences of games, as used by cryptographers. These proofs are valid for a number of sessions polynomial in the security parameter, in the presence of an active adversary. CryptoVerif can also evaluate the probability of success of an attack against the protocol as a function of the probability of breaking each cryptographic primitive and of the number of sessions (exact security).
1313+1414+This software is under development; please use it at your own risk. Comments and bug reports welcome.
1515+"""
1616+maintainer: "Bruno Blanchet <Bruno.Blanchet@inria.fr>"
1717+authors: "Bruno Blanchet <Bruno.Blanchet@inria.fr>, Pierre Boutry <boutry.pierre@gmail.com>, David Cadé <David.Cade@normalesup.org>, Christian Doczkal <christian.doczkal@mpi-sp.org>, Charlie Jacomme <Charlie.Jacomme@inria.fr>, Benjamin Lipp <Benjamin.Lipp@mpi-sp.org>, and Pierre-Yves Strub <pierre-yves@strub.nu>"
1818+license: "CECILL-B"
1919+homepage: "https://cryptoverif.inria.fr"
2020+dev-repo: "git+https://gitlab.inria.fr/bblanche/CryptoVerif.git"
2121+bug-reports: "Bruno.Blanchet@inria.fr"
2222+depends: [ "ocaml" { >= "4.08" } "ocamlfind" { post } "cryptokit" { post } "conf-m4" { post } ]
2323+build: [
2424+ [ "./build" "byte" { !ocaml:native } ]
2525+]
2626+install: [ "./build" "install" "%{prefix}%" ]
2727+url {
2828+ src:
2929+ "https://bblanche.gitlabpages.inria.fr/CryptoVerif/cryptoverif2.09.tar.gz"
3030+ checksum: [
3131+ "md5=f80330d6232a532ae385fbdb42bee897"
3232+ "sha512=e863d219d887cbb03d8f954339a9b49e3578b4f3c234561eb44da551b9641a84af95b5bd3ff32851cb654659915586c10f28b5499f1314a70f84560ea934cb03"
3333+ ]
3434+}
···11+opam-version: "2.0"
22+maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
33+authors: [ "Stephan Schulz" "Simon Cruanes" "Petar Vukmirovic" "Mohamed Bassem" "Martin Moehrmann" ]
44+homepage: "https://www.eprover.org"
55+license: ["LGPL-2.1-or-later OR GPL-2.0-or-later"]
66+dev-repo: "git+https://github.com/eprover/eprover.git"
77+bug-reports: "Stephan Schulz (see homepage for email)"
88+build: [
99+ [ "./configure" "--bindir=%{bin}%" ]
1010+ [ make "-j" "%{jobs}%" ]
1111+]
1212+install: [
1313+ [ make "install" ]
1414+]
1515+depends: [
1616+ "conf-gcc"
1717+]
1818+synopsis: "E Theorem Prover"
1919+description: "E is a theorem prover for first-order and higher-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, in clausal or full first-order/higher-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms."
2020+url {
2121+ # Note: the main author prefers this download link over the also available github tag tarball download and expects that the link is stable over time
2222+ src: "http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.1/E.tgz"
2323+ checksum: "sha512=4258d9fbd8d32346f5c24dbf0475c98c8e325aa0dc75dacaacd0096357ced8dde4456b88b0d7094a42d317482b6fec46955a1574b0984098386703772f698459"
2424+}
+1-1
packages/format/format.0.1/opam
···22maintainer: "philippe.veber@gmail.com"
33build: make
44remove: [make "uninstall"]
55-depends: ["ocaml" "ocamlfind" "camlp4"]
55+depends: ["ocaml" {< "5.0"} "ocamlfind" "camlp4"]
66install: [make "install"]
77synopsis:
88 "Format is a syntax extension which defines quotations for building"
···1616]
1717synopsis:
1818 "An hastable with weak pointer enabling the GC to collect things that are in the hashtable"
1919-depends: ["ocaml"]
1919+depends: ["ocaml" {< "5.0"}]
2020url {
2121 src: "http://aspellfr.free.fr/hweak/hweak-1.1.tar.gz"
2222 checksum: "md5=980cc30c156a248bbd4e6b58d8c12a9c"
···11+let () =
22+ let exe = ".exe" in
33+ let ocamlc =
44+ let (base, suffix) =
55+ let s = Sys.executable_name in
66+ if Filename.check_suffix s exe then
77+ (Filename.chop_suffix s exe, exe)
88+ else
99+ (s, "") in
1010+ base ^ "c" ^ suffix in
1111+ if Sys.ocaml_version <> "%{_:version}%" then
1212+ (Printf.eprintf
1313+ "ERROR: The compiler found at %%s has version %%s,\n\
1414+ and this package requires %{_:version}%.\n\
1515+ You should use e.g. 'opam switch create %{_:name}%.%%s' \
1616+ instead."
1717+ ocamlc Sys.ocaml_version Sys.ocaml_version;
1818+ exit 1)
1919+ else
2020+ let ocamlc_digest = Digest.to_hex (Digest.file ocamlc) in
2121+ let libdir =
2222+ if Sys.command (ocamlc^" -where > %{_:name}%.config") = 0 then
2323+ let ic = open_in "%{_:name}%.config" in
2424+ let r = input_line ic in
2525+ close_in ic;
2626+ Sys.remove "%{_:name}%.config";
2727+ r
2828+ else
2929+ failwith "Bad return from 'ocamlc -where'"
3030+ in
3131+ let graphics = Filename.concat libdir "graphics.cmi" in
3232+ let graphics_digest =
3333+ if Sys.file_exists graphics then
3434+ Digest.to_hex (Digest.file graphics)
3535+ else
3636+ String.make 32 '0'
3737+ in
3838+ let oc = open_out "%{_:name}%.config" in
3939+ Printf.fprintf oc "opam-version: \"2.0\"\n\
4040+ file-depends: [ [ %%S %%S ] [ %%S %%S ] ]\n\
4141+ variables { path: %%S }\n"
4242+ ocamlc ocamlc_digest graphics graphics_digest (Filename.dirname ocamlc);
4343+ close_out oc
···33 "Official 4.05.0 release compiled with musl-clang and with flambda activated"
44description:
55 "Requires musl-clang to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: "David Allsopp <david@tarides.com>"
77depends: [
88 "ocaml" {= "4.05.0" & post}
99 "base-unix" {post}
···33 "Official 4.06.0 release compiled with musl-clang and with flambda activated"
44description:
55 "Requires musl-clang to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: "David Allsopp <david@tarides.com>"
77depends: [
88 "ocaml" {= "4.06.0" & post}
99 "base-unix" {post}
···33 "Official 4.06.1 release compiled with musl-clang and with flambda activated"
44description:
55 "Requires musl-clang to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: "David Allsopp <david@tarides.com>"
77depends: [
88 "ocaml" {= "4.06.1" & post}
99 "base-unix" {post}
···33 "Official 4.07.1 release compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: "David Allsopp <david@tarides.com>"
77depends: [
88 "ocaml" {= "4.07.1" & post}
99 "base-unix" {post}
···33 "Official release 4.08.0, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.08.1, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.09.0, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.09.1, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.10.0, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.10.1, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.10.2, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.11.0, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.11.1, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···33 "Official release 4.11.2, compiled with musl-gcc and with flambda activated"
44description:
55 "Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
66-maintainer: "platform@lists.ocaml.org"
66+maintainer: [
77+ "David Allsopp <david@tarides.com>"
88+ "Florian Angeletti <florian.angeletti@inria.fr>"
99+]
710authors: "Xavier Leroy and many contributors"
811homepage: "https://ocaml.org"
912bug-reports: "https://github.com/ocaml/opam-repository/issues"
···99description: """
1010ocp-pack packs a list of sources in the same manner as the -pack option.
1111ocp-split splits a packed annot file into individual annot files."""
1212-depends: ["ocaml"]
1212+depends: ["ocaml" {< "5.0"}]
1313extra-files: [
1414 "ocp-pack-split.install" "md5=9d28fabf6e6c72182e0e89c3cdc0b70d"
1515]