with archive-opam 94c4abdc825bd5a5b01361cf473c5cca308551f8

packages/FrontC/FrontC.3.4.3/opam

@@ -0,0 +1,51 @@
+opam-version: "2.0"
+authors: "Hugues Cassé <[email protected]>"
+homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
+dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC"
+maintainer: "Ivan Gotovchits <[email protected]>"
+license: "LGPL-2.1-only"
+depends: [
+  "ocaml"
+]
+
+build: [
+  [make "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
+]
+
+install: [
+  [make "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
+  ["cp" "META" "%{lib}%/FrontC"]
+]
+synopsis: "Library providing a C parser and lexer"
+description: """
+FrontC is an OCAML library providing a C parser and lexer. The result
+is a syntactic tree easy to process with usual OCAML tree management.
+
+It provides support for ANSI C syntax, old-C K&R style syntax and the
+standard GNU CC attributes.
+
+It provides also a C pretty printer as an example of use."""
+
+url {
+  src:
+    "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
+  checksum: [
+    "sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c"
+    "md5=399f66735541ecf8e06220618eef5c98"
+  ]
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz"
+}
+
+available: false
+extra-source "FrontC.install" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/FrontC.install"
+  checksum: [
+    "sha256=501dee92dc12ec57e4f34b5e5e15ee9630cb47c0c3f5219d6172a450c3495224"
+    "md5=c56e698d092d18179f9458f311c56412"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"]

packages/OCADml/OCADml.0.3.0/opam

@@ -0,0 +1,45 @@
+opam-version: "2.0"
+synopsis: "Types and functions for building CAD packages in OCaml"
+description: "Types and functions for building CAD packages in OCaml"
+maintainer: ["Geoff deRosenroll<[email protected]"]
+authors: ["Geoff deRosenroll<[email protected]"]
+license: "GPL-2.0-or-later"
+tags: ["OCADml" "CAD"]
+homepage: "https://github.com/OCADml/OCADml"
+doc: "https://OCADml.github.io/OCADml"
+bug-reports: "https://github.com/OCADml/OCADml/issues"
+depends: [
+  "dune" {>= "3.3" & <= "3.17.0"}
+  "ocaml" {>= "4.14.0"}
+  "gg" {= "1.0.0"}
+  "cairo2" {>= "0.6.2" & <= "0.6.5"}
+  "odoc" {with-doc & <= "2.4.3"}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/OCADml/OCADml.git"
+url {
+  src:
+    "https://github.com/OCADml/OCADml/releases/download/v0.3.0/OCADml-0.3.0.tbz"
+  checksum: [
+    "sha256=9614beb1c81f1f4da39e5c4a8ee820ebf44beb34a44a7e32602782079efad8c8"
+    "sha512=0a8f6c02f0b97c1a4cd270117bd744a26cf29070a6c704dde9379967d0fadfcfdcaeaa6bd286c7696b0dbd2a9e9aa95ccae517ac487a6771897ff4805e2750f6"
+  ]
+}
+x-commit-hash: "c35a30fc64a006fc9b81ec21bd8d38b957afe800"
+available: false
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"]

packages/amf/amf.0.1.2/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+synopsis: "Parser/serializer for Adobe's Action Message Format"
+maintainer: "Brian Caine <[email protected]>"
+authors: "Brian Caine <[email protected]>"
+license: "LGPL with OCaml linking exception"
+homepage: "https://briancaine.github.io/ocaml-amf/"
+bug-reports: "https://github.com/briancaine/ocaml-amf/issues"
+depends: [
+  "ocaml" {>= "4.04"}
+  "dune" {>= "1.0" & <= "3.17.0"}
+  "ppx_deriving" {<= "6.0.3"}
+  "ppx_sexp_conv" {< "v0.13"}
+  "base-threads" {= "base"}
+  "core" {>= "v0.9.1" & < "v0.13"}
+  "stdint" {<= "0.7.2"}
+  "sexplib" {< "v0.13"}
+  "bisect_ppx" {build & <= "2.8.3"}
+  "ounit" {with-test & <= "2.2.7"}
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/briancaine/ocaml-amf.git"
+url {
+  src: "https://github.com/briancaine/ocaml-amf/archive/v0.1.2.tar.gz"
+  checksum: [
+    "md5=5ffab0f08aeb4af335ed38cbf7a5694d"
+    "sha512=3621e9978a6988696653fcceb92e17e06014fe31e57cc974387a265df10a63f6c76d4e6ff1ebdb6af8d0da06e8782f9c0000b33fcc53a9fdacdf857881fbb4e2"
+  ]
+}
+available: false
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["source-unavailable"] # source tarball not available

packages/anders/anders.0.7/opam

@@ -0,0 +1,29 @@
+opam-version: "2.0"
+synopsis: "CCHM homotopy system type checker based on Mini-TT for OCaml"
+maintainer: "Namdak Tonpa <[email protected]>"
+authors: "Groupoid Infinity"
+license: "ISC"
+homepage: "https://groupoid.space/homotopy/"
+bug-reports: "https://github.com/groupoid/anders/issues"
+depends: [
+  "dune" {>= "2.0" & <= "3.17.0"}
+  "ocaml" {>= "4.10.0"}
+  "menhir" {>= "2.7" & <= "20240715"}
+  "odoc" {with-doc & <= "2.4.3"}
+]
+available: false
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
+]
+dev-repo: "git+https://github.com/groupoid/anders"
+url {
+  src: "https://github.com/groupoid/anders/archive/refs/tags/0.7.zip"
+  checksum: [
+    "md5=258c659c2b4dd602db1d844ef14189f8"
+    "sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"]

packages/base/base.v0.15.1~5.0preview/opam

@@ -0,0 +1,40 @@
+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]
+]
+flags: avoid-version
+available: false
+depends: [
+  "ocaml" {>= "5.0" & < "5.1"}
+  "sexplib0"          {>= "v0.15" & < "v0.16"}
+  "dune" {>= "2.0.0" & <= "3.17.0"}
+  "dune-configurator" {<= "3.17.0"}
+]
+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: "git+https://github.com/kit-ty-kate/base#500-015"
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"]

packages/batteries/batteries.2.5.0/opam

@@ -0,0 +1,42 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: "OCaml batteries-included team"
+homepage: "http://batteries.forge.ocamlcore.org/"
+bug-reports: "https://github.com/ocaml-batteries-team/batteries-included/issues"
+dev-repo:
+  "git+https://github.com/ocaml-batteries-team/batteries-included.git"
+license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+doc: "http://ocaml-batteries-team.github.io/batteries-included/hdoc2/"
+
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+  [make "all"]
+]
+install: [
+  [make "install"]
+]
+remove: [["ocamlfind" "remove" "batteries"]]
+
+depends: [
+  "ocaml" {< "5.1.1"}
+  "ocamlfind" {>= "1.5.3" & <= "1.9.6"}
+  "ocamlbuild" {build & <= "0.15.0"}
+  "qtest" {with-test & >= "2.0.0" & <= "2.11.2"}
+  "num" {<= "1.5-1"}
+]
+available: [ false ] # use 2.5.1 instead
+synopsis: "Community-maintained foundation library"
+description:
+  "Batteries extends and enriches OCaml's standard library. It provides a unified IO system, numerous data structures, powerful iterators, unicode strings and ropes, parsers, command-line options, and many other features."
+flags: light-uninstall
+url {
+  src:
+    "https://github.com/ocaml-batteries-team/batteries-included/archive/v2.5.0.tar.gz"
+  checksum: [
+    "sha256=9c6d22703e63969cbcc45939123b80214498de036ca8d6490eb29f323604509d"
+    "md5=b9484a9d41cb8329c8a341e6c5122729"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"]

packages/camltc/camltc.0.9.3/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "http://github.com/toolslive/camltc"
+dev-repo: "git+https://github.com/toolslive/camltc.git"
+bug-reports: "http://github.com/toolslive/camltc/issues"
+build: [
+  [ "git" "submodule" "init"]
+  [ "git" "submodule" "update"]
+  ["%{make}%" "-C" "src"]
+]
+
+install:[
+  ["%{make}%" "-C" "src" "install"]
+]
+
+remove: [
+  ["ocamlfind" "remove" "camltc"]
+]
+
+depends: [
+  "ocaml" {> "4.02.2" & < "4.06.0"}
+  "ocamlfind" {build & <= "1.9.6"}
+  "ounit" {<= "2.2.7"}
+  "lwt" {>= "2.4.4" & < "4.0.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+depexts: [
+  ["git"] {os-family = "debian"}
+]
+synopsis: "OCaml bindings for tokyo cabinet"
+authors: ["Jan Doms" "Joost Damad" "Romain Slootmaekers" "Nicolas Trangez"]
+flags: light-uninstall
+url {
+  src: "git+https://github.com/toolslive/camltc.git#camltc-0.9.3"
+}
+available: false
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"] # uses a git url, no checksum. newer versions exist

packages/camltc/camltc.0.9.4/opam

@@ -0,0 +1,40 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "http://github.com/toolslive/camltc"
+dev-repo: "git+https://github.com/toolslive/camltc.git"
+bug-reports: "http://github.com/toolslive/camltc/issues"
+build: [
+  [ "git" "submodule" "init"]
+  [ "git" "submodule" "update"]
+  ["%{make}%" "-C" "src"]
+]
+
+install:[
+  ["%{make}%" "-C" "src" "install"]
+]
+
+remove: [
+  ["ocamlfind" "remove" "camltc"]
+]
+
+depends: [
+  "ocaml" {> "4.02.2" & < "4.06.0"}
+  "ocamlfind" {build & <= "1.9.6"}
+  "ounit" {<= "2.2.7"}
+  "lwt" {>= "2.4.4" & < "4.0.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+depexts: [
+  ["git"] {os-family = "debian"}
+]
+synopsis: "OCaml bindings for tokyo cabinet"
+authors: ["Jan Doms" "Joost Damad" "Romain Slootmaekers" "Nicolas Trangez"]
+flags: light-uninstall
+url {
+  src:
+    "git+https://github.com/toolslive/camltc.git#317e1e4606ce1e86d09b7b83ec2cb1709a81d437"
+}
+available: false
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"] # uses a git url, no checksum. newer versions exist

packages/camltc/camltc.0.9.5/opam

@@ -0,0 +1,40 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "http://github.com/toolslive/camltc"
+dev-repo: "git+https://github.com/toolslive/camltc.git"
+bug-reports: "http://github.com/toolslive/camltc/issues"
+build: [
+  [ "git" "submodule" "init"]
+  [ "git" "submodule" "update"]
+  ["%{make}%" "-C" "src"]
+]
+
+install:[
+  ["%{make}%" "-C" "src" "install"]
+]
+
+remove: [
+  ["ocamlfind" "remove" "camltc"]
+]
+
+depends: [
+  "ocaml" {> "4.02.2" & < "4.06.0"}
+  "ocamlfind" {build & <= "1.9.6"}
+  "ounit" {<= "2.2.7"}
+  "lwt" {>= "3.2.0" & <= "5.9.0"}
+  "logs" {>= "0.5.0" & <= "0.7.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+depexts: [
+  ["git"] {os-family = "debian"}
+]
+synopsis: "OCaml bindings for tokyo cabinet"
+authors: ["Jan Doms" "Joost Damad" "Romain Slootmaekers" "Nicolas Trangez"]
+flags: light-uninstall
+url {
+  src: "git+https://github.com/toolslive/camltc.git#camltc-0.9.5"
+}
+available: false
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "f51a0cfb02636dd317844a2246d8d08b3581867e"
+x-reason-for-archiving: ["uninstallable"] # uses a git url, no checksum. newer versions exist