From 9138c229ea08d048f0209205b01e5332dcd54a29 Mon Sep 17 00:00:00 2001
From: Kaustuv Chaudhuri <kaustuv.chaudhuri@inria.fr>
Date: Thu, 28 Jan 2021 06:23:48 +0100
Subject: [PATCH 1/2] Abella 2.0.7

---
 packages/abella/abella.2.0.7/opam | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 packages/abella/abella.2.0.7/opam

diff --git a/packages/abella/abella.2.0.7/opam b/packages/abella/abella.2.0.7/opam
new file mode 100644
index 00000000000..547fdbae97d
--- /dev/null
+++ b/packages/abella/abella.2.0.7/opam
@@ -0,0 +1,27 @@
+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"
+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"
+  ]
+}

From 1617457f4d813ef566f3fbd5a313813830dd0280 Mon Sep 17 00:00:00 2001
From: Kaustuv Chaudhuri <kaustuv.chaudhuri@inria.fr>
Date: Thu, 28 Jan 2021 22:56:28 +0100
Subject: [PATCH 2/2] abella.2.0.7: blacklist arm32

There appears to be some issues with the OCaml linker on arm32.
These will be investigated for the next release of Abella if
the developers are able to procure an arm32 device to test.
---
 packages/abella/abella.2.0.7/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/abella/abella.2.0.7/opam b/packages/abella/abella.2.0.7/opam
index 547fdbae97d..edc46327edc 100644
--- a/packages/abella/abella.2.0.7/opam
+++ b/packages/abella/abella.2.0.7/opam
@@ -8,6 +8,7 @@ authors: [
 ]
 homepage: "http://abella-prover.org"
 license: "GPL-3.0-only"
+available: [ arch != "arm32" ]
 build: [
   [make "all" "abella.install"]
 ]