unavailable packages

packages/coccinelle/coccinelle.1.0.0-rc21/opam

@@ -0,0 +1,47 @@
+opam-version: "2.0"
+authors: ["Julia Lawall et. al."]
+homepage: "http://coccinelle.lip6.fr/"
+license: "GPL-1.0-or-later"
+build: [
+  ["./configure" "--enable-release" "--prefix" prefix]
+  [make "clean"]
+  [make "all.opt"]
+]
+remove: [
+  [make "uninstall"]
+]
+depends: [
+  "ocaml" {< "5.0"}
+  "camlp4" {<= "5.3"}
+  "menhir" {< "20141215"}
+  "ocamlfind" {<= "1.9.6"}
+  "pcre" {<= "7.1.1"}
+  "conf-pkg-config" {<= "3"}
+  "conf-python-2-7" {<= "1.2"}
+  "conf-python-2-7-dev" {= "1.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+patches: [
+  "opam.patch"
+]
+install: [make "install"]
+synopsis: "Coccinelle is a C source code matching and transformation engine."
+description: """
+Coccinelle provides the language SmPL (Semantic Patch Language) for specifying
+desired matches and transformations in C code."""
+url {
+  src: "http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc21.tgz"
+  checksum: "md5=0387370889c434a69306f8e22919d6ce"
+}
+extra-source "opam.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coccinelle/opam.patch"
+  checksum: [
+    "sha256=62fda329bae1b6f3fab668f675f8953b2061d370b47566ddb7de5f6a10ae959b"
+    "md5=33cbcaad19968ea269e5c32877b99f98"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]

packages/coccinelle/coccinelle.1.0.0-rc22/opam

@@ -0,0 +1,47 @@
+opam-version: "2.0"
+authors: ["Julia Lawall et. al."]
+homepage: "http://coccinelle.lip6.fr/"
+license: "GPL-1.0-or-later"
+build: [
+  ["./configure" "--enable-release" "--prefix" prefix]
+  [make "clean"]
+  [make "all.opt"]
+]
+remove: [
+  [make "uninstall"]
+]
+depends: [
+  "ocaml" {< "5.0"}
+  "camlp4" {<= "5.3"}
+  "menhir" {< "20141215"}
+  "ocamlfind" {<= "1.9.6"}
+  "pcre" {<= "7.1.1"}
+  "conf-pkg-config" {<= "3"}
+  "conf-python-2-7" {<= "1.2"}
+  "conf-python-2-7-dev" {= "1.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+patches: [
+  "opam.patch"
+]
+install: [make "install"]
+synopsis: "Coccinelle is a C source code matching and transformation engine."
+description: """
+Coccinelle provides the language SmPL (Semantic Patch Language) for specifying
+desired matches and transformations in C code."""
+url {
+  src: "http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc22.tgz"
+  checksum: "md5=0eb75dc542475f6b9a957a84f5fb1a4e"
+}
+extra-source "opam.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coccinelle/opam.patch"
+  checksum: [
+    "sha256=62fda329bae1b6f3fab668f675f8953b2061d370b47566ddb7de5f6a10ae959b"
+    "md5=33cbcaad19968ea269e5c32877b99f98"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]

packages/coccinelle/coccinelle.1.0.0.1/opam

@@ -0,0 +1,49 @@
+opam-version: "2.0"
+authors: ["Julia Lawall et. al."]
+homepage: "http://coccinelle.lip6.fr/"
+license: "GPL-1.0-or-later"
+build: [
+  ["./configure" "--enable-release" "--prefix" prefix]
+  [make "clean"]
+  [make "all.opt"]
+]
+remove: [
+  [make "uninstall"]
+]
+depends: [
+  "ocaml" {< "5.0"}
+  "camlp4" {<= "5.3"}
+  "menhir" {= "20140422"}
+  "ocamlfind" {<= "1.9.6"}
+  "pcre" {<= "7.1.1"}
+  "conf-pkg-config" {<= "3"}
+  "conf-python-2-7" {<= "1.2"}
+  "conf-python-2-7-dev" {= "1.0"}
+  "parmap" {<= "1.2.5"}
+  "ocamlbuild" {build & <= "0.15.0"}
+  "num" {<= "1.5-1"}
+]
+patches: [
+  "opam.patch"
+]
+install: [make "install"]
+synopsis: "Coccinelle is a C source code matching and transformation engine."
+description: """
+Coccinelle provides the language SmPL (Semantic Patch Language) for specifying
+desired matches and transformations in C code."""
+url {
+  src: "http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0.tgz"
+  checksum: "md5=bce69f218d0a2b4f3bfd438c97633327"
+}
+extra-source "opam.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coccinelle/opam.patch"
+  checksum: [
+    "sha256=62fda329bae1b6f3fab668f675f8953b2061d370b47566ddb7de5f6a10ae959b"
+    "md5=33cbcaad19968ea269e5c32877b99f98"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]

packages/deadlock/deadlock.1.0/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis: "Frama-C plugin for deadlock detection"
+maintainer: "Tomáš Dacík <[email protected]>"
+authors: [
+    "Tomáš Dacík <[email protected]>"
+    "Tomáš Vojnar <[email protected]>"
+]
+license: "MIT"
+homepage: "https://github.com/TDacik/Deadlock"
+dev-repo: "git+https://github.com/TDacik/Deadlock.git"
+bug-reports: "https://github.com/TDacik/Deadlock/issues"
+
+depends: [
+    "ocaml" { >= "4.12.0" }
+    "frama-c" { >= "23.1" & < "25.0~" }
+    "ounit2" {<= "2.2.7"}
+    "containers" {<= "3.15"}
+]
+
+build: [
+    [make]
+]
+
+install: [
+    [make "setup"]
+    [make "install"]
+]
+
+url {
+  src: "https://github.com/TDacik/Deadlock/archive/refs/tags/1.0.1.tar.gz"
+  checksum: [
+    "sha256=0eabef76214f8e7b393a65d97218edd0e727ecf25bd7acbc20348cde15138397"
+    "md5=fa1302e9f6586ba535838c23bfbffea8"
+  ]
+}
+available: false # source tarball not available (bad checksum)
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]

packages/dose/dose.3.2.2+opam/opam

@@ -0,0 +1,89 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [
+  "Roberto Di Cosmo"
+  "Ralf Treinen"
+  "Stefano Zacchiroli"
+  "Pietro Abate"
+  "Jaap Boender"
+  "Jakub Zwolakowski"
+  "Olivier Rosello"
+  "Johannes Schauer"
+]
+homepage: "http://www.mancoosi.org/software/"
+license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
+build: [
+  ["./configure" "--with-ocamlgraph" "--bindir=%{bin}%"]
+  [make "TARGETS="]
+]
+remove: [
+  ["ocamlfind" "remove" "dose3"]
+  ["rm" "-f"
+      "%{bin}%/distcheck"
+      "%{bin}%/debcheck"
+      "%{bin}%/rpmcheck"
+      "%{bin}%/eclipsecheck"]
+]
+depends: [
+  "ocaml"
+  "ocamlgraph" {= "1.8.5"}
+  "cudf" {>= "0.7" & <= "0.10"}
+  "camlp4" {<= "5.3"}
+  ("extlib" {<= "1.8.0"} | "extlib-compat" {<= "1.7.2"})
+  "re" {>= "1.2.0" & <= "1.12.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+patches: [
+  "0003-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch"
+  "0004-Remove-broken-assert.patch"
+  "0005-Add-a-check_request-function-allowing-more-control-o.patch"
+  "0002-ocamlgraph-1.8.6.diff" {ocamlgraph:version >= "1.8.6"}
+]
+install: [make "install"]
+depexts: ["perl-Pod-Html"] {os-distribution = "fedora"}
+synopsis: "Dose library (part of Mancoosi tools)"
+description: """
+This version has been patched specifically for compiling OPAM itself, but
+remains backwards-compatible, and the patches will be backported upstream."""
+flags: light-uninstall
+url {
+  src:
+    "https://gforge.inria.fr/frs/download.php/file/33677/dose3-3.2.2.tar.gz"
+  checksum: "md5=3ffed1987a040024076c08f4a7af9b21"
+}
+extra-source "0005-Add-a-check_request-function-allowing-more-control-o.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0005-Add-a-check_request-function-allowing-more-control-o.patch"
+  checksum: [
+    "sha256=73065f81c951449c6cc4b920ffb5a5df1d309cd7734c279b11d0fbefc7446ab6"
+    "md5=fdcd12e2053172a3af032c198d66c0bb"
+  ]
+}
+extra-source "0004-Remove-broken-assert.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0004-Remove-broken-assert.patch"
+  checksum: [
+    "sha256=169b01b6d5c4c92b673a66142cc2279730b4e4c7668e511bee5c2c6a074b2670"
+    "md5=f996dd85cca97fa0a8a7d0f561b8784a"
+  ]
+}
+extra-source "0003-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0003-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch"
+  checksum: [
+    "sha256=61448e8edb917bd9a01fdd3b8c5395ef08cef27278d9297a1ce7391dcbede948"
+    "md5=3e550296be4774f254404ebdc3ad299d"
+  ]
+}
+extra-source "0002-ocamlgraph-1.8.6.diff" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0002-ocamlgraph-1.8.6.diff"
+  checksum: [
+    "sha256=d734a35facc244f1bac6981832e1a112d51df5f4f95b9b264070ea4a79b09cf6"
+    "md5=c44ed3dc7a5c5128089abf11278f042b"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]

packages/dose/dose.3.2.2/opam

@@ -0,0 +1,73 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [
+  "Roberto Di Cosmo"
+  "Ralf Treinen"
+  "Stefano Zacchiroli"
+  "Pietro Abate"
+  "Jaap Boender"
+  "Jakub Zwolakowski"
+  "Olivier Rosello"
+  "Johannes Schauer"
+]
+homepage: "http://www.mancoosi.org/software/"
+license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
+build: [
+  ["./configure" "--with-ocamlgraph" "--bindir=%{bin}%"]
+  [make "TARGETS="]
+]
+remove: [
+  ["ocamlfind" "remove" "dose"]
+  ["ocamlfind" "remove" "dose3"]
+]
+depends: [
+  "ocaml"
+  "ocp-build" {>= "1.99.3-beta" & <= "1.99.20-beta"}
+  "ocamlgraph" {= "1.8.5"}
+  "cudf" {>= "0.7" & <= "0.10"}
+  ("extlib" {<= "1.8.0"} | "extlib-compat" {<= "1.7.2"})
+  "re" {>= "1.2.0" & <= "1.12.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+patches: [
+  "0003-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch"
+  "0004-Remove-broken-assert.patch"
+  "0002-ocamlgraph-1.8.6.diff" {ocamlgraph:version >= "1.8.6"}
+]
+install: [make "install"]
+depexts: ["perl-Pod-Html"] {os-distribution = "fedora"}
+synopsis: "Dose library (part of Mancoosi tools)"
+flags: light-uninstall
+url {
+  src:
+    "https://gforge.inria.fr/frs/download.php/file/33677/dose3-3.2.2.tar.gz"
+  checksum: "md5=3ffed1987a040024076c08f4a7af9b21"
+}
+extra-source "0004-Remove-broken-assert.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0004-Remove-broken-assert.patch"
+  checksum: [
+    "sha256=169b01b6d5c4c92b673a66142cc2279730b4e4c7668e511bee5c2c6a074b2670"
+    "md5=f996dd85cca97fa0a8a7d0f561b8784a"
+  ]
+}
+extra-source "0003-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0003-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch"
+  checksum: [
+    "sha256=61448e8edb917bd9a01fdd3b8c5395ef08cef27278d9297a1ce7391dcbede948"
+    "md5=3e550296be4774f254404ebdc3ad299d"
+  ]
+}
+extra-source "0002-ocamlgraph-1.8.6.diff" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose/0002-ocamlgraph-1.8.6.diff"
+  checksum: [
+    "sha256=d734a35facc244f1bac6981832e1a112d51df5f4f95b9b264070ea4a79b09cf6"
+    "md5=c44ed3dc7a5c5128089abf11278f042b"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]

packages/eliom/eliom.6.4.0/opam

@@ -0,0 +1,43 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: "[email protected]"
+synopsis: "Client/server Web framework"
+description: "Eliom is a framework for implementing client/server Web applications. It introduces new concepts to simplify the implementation of common behaviors, and uses advanced static typing features of OCaml to check many properties of the Web application at compile-time. Eliom allows implementing the whole application as a single program that includes both the client and the server code. We use a syntax extension to distinguish between the two sides. The client-side code is compiled to JS using Ocsigen Js_of_ocaml."
+homepage: "http://ocsigen.org/eliom/"
+bug-reports: "https://github.com/ocsigen/eliom/issues/"
+license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
+dev-repo: "git+https://github.com/ocsigen/eliom.git"
+build: [make]
+depends: [
+  "ocaml" {>= "4.06.1" & < "5.1"}
+  "ocamlfind" {<= "1.9.6"}
+  "deriving" {>= "0.6" & <= "0.8.1"}
+  "ppx_deriving" {<= "6.0.3"}
+  "ppx_tools" {>= "0.99.3" & <= "6.6"}
+  "js_of_ocaml" {>= "3.0" & < "3.3"}
+  "js_of_ocaml-lwt" {< "3.3"}
+  "js_of_ocaml-ocamlbuild" {build & <= "5.0"}
+  "js_of_ocaml-ppx" {<= "5.9.1"}
+  "js_of_ocaml-ppx" {<= "3.0.2"} | "js_of_ocaml-ppx_deriving_json" {< "3.5"}
+  "js_of_ocaml-tyxml" {< "3.2.0"}
+  "lwt_log" {<= "1.1.2"}
+  "lwt_ppx" {<= "5.8.0"}
+  "lwt_camlp4" {= "1.0.0"}
+  "tyxml" {>= "4.0.0" & < "4.3.0"}
+  "ocsigenserver" {>= "2.10" & < "3.0.0"}
+  "ipaddr" {>= "2.1" & <= "5.6.0"}
+  "reactiveData" {>= "0.2.1" & <= "0.3.0"}
+  "dbm" {<= "1.4"} | "sqlite3" {<= "5.2.0"}
+  "base-bytes" {<= "base"}
+]
+url {
+  src: "https://github.com/jrochel/eliom/archive/6.4.0.tar.gz"
+  checksum: [
+    "md5=8e5694fefb152c9372b9a32a08a826be"
+    "sha512=0de9d360fc00e36b093d2b22c3d5b5f497302017c8bdc54dc47dd38c0e0fd3fa02384431ff8fbe3e67db9947daf1dbcbf266791e23ea01ee6112bd684befc16c"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "a8b00ead922e2049581ab16994586ed4ddbdb784"
+x-reason-for-archiving: ["uninstallable"]