Merge pull request #18053 from chaudhuri/abella.2.0.7

Abella 2.0.7

packages/abella/abella.2.0.7/opam

@@ -0,0 +1,28 @@
+opam-version: "2.0"
+synopsis: "Interactive theorem prover based on lambda-tree syntax"
+maintainer: "kaustuv@chaudhuri.info"
+authors: [
+  "Andrew Gacek"
+  "Yuting Wang"
+  "Kaustuv Chaudhuri"
+]
+homepage: "http://abella-prover.org"
+license: "GPL-3.0-only"
+available: [ arch != "arm32" ]
+build: [
+  [make "all" "abella.install"]
+]
+depends: [
+  "ocaml" { >= "4.02.3" }
+  "ocamlfind" {build}
+  "ocamlbuild" {build}
+]
+bug-reports: "https://github.com/abella-prover/abella/issues"
+dev-repo: "git+https://github.com/abella-prover/abella.git"
+url {
+  src: "https://github.com/abella-prover/abella/archive/v2.0.7.tar.gz"
+  checksum: [
+    "md5=1e5a56fb213d628d86fef3166caea54d"
+    "sha512=c796800d49214e9dc574c3e94ac683b92e57459a956a3718212af133f519d55f0d7f4bed3126e37fc17001aede971d4f8c33045c319e9c2d11cdb68c1b737c83"
+  ]
+}