Merge pull request #26779 from cjohnson19/opam-publish-adelfa.0.1

Package adelfa.0.1

packages/adelfa/adelfa.0.1/opam

@@ -0,0 +1,37 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Proof assistant for reasoning about LF specifications"
+maintainer: ["Chase Johnson <joh13266@umn.edu>"]
+authors: ["Mary Southern" "Chase Johnson <joh13266@umn.edu>"]
+license: "GPL-3.0-only"
+homepage: "https://adelfa-prover.org/"
+doc: "https://adelfa-prover.org/reference-guide"
+bug-reports: "https://github.com/adelfa-prover/adelfa/issues"
+depends: [
+  "ocaml" {>= "4.12"}
+  "dune" {>= "3.0"}
+  "ounit2" {with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/adelfa-prover/adelfa.git"
+url {
+  src: "https://github.com/adelfa-prover/adelfa/archive/refs/tags/0.1.tar.gz"
+  checksum: [
+    "md5=f32710f8d672e36d7597c9ec8612b096"
+    "sha512=7a8a9c699201136dd054ab9354125c6e4d990ffec56b96db13ec4a25190a362467b9a299eaf58e66ea1a497a14fcc8766cdfea87a18905aa32fb0f297668436b"
+  ]
+}