From 5a2515e12f01554b4b4da320940e4009db6ae90f Mon Sep 17 00:00:00 2001 From: Chase Johnson Date: Wed, 23 Oct 2024 14:22:54 -0500 Subject: [PATCH 1/4] Package adelfa.0.1 --- packages/adelfa/adelfa.0.1/opam | 36 +++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 packages/adelfa/adelfa.0.1/opam diff --git a/packages/adelfa/adelfa.0.1/opam b/packages/adelfa/adelfa.0.1/opam new file mode 100644 index 00000000000..22325a9dd30 --- /dev/null +++ b/packages/adelfa/adelfa.0.1/opam @@ -0,0 +1,36 @@ +# 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 "] +authors: ["Mary Southern" "Chase Johnson "] +license: "GPL-3.0" +homepage: "http://sparrow.cs.umn.edu/adelfa/index.html" +doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html" +bug-reports: "https://github.com/adelfa-prover/adelfa/issues" +depends: [ + "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" + ] +} From c8d30b856c64295ad015a594d8a9c0173b5df408 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Thu, 24 Oct 2024 09:12:00 +0200 Subject: [PATCH 2/4] Update packages/adelfa/adelfa.0.1/opam --- packages/adelfa/adelfa.0.1/opam | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/adelfa/adelfa.0.1/opam b/packages/adelfa/adelfa.0.1/opam index 22325a9dd30..ae0fec32b4e 100644 --- a/packages/adelfa/adelfa.0.1/opam +++ b/packages/adelfa/adelfa.0.1/opam @@ -8,6 +8,7 @@ homepage: "http://sparrow.cs.umn.edu/adelfa/index.html" doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html" bug-reports: "https://github.com/adelfa-prover/adelfa/issues" depends: [ + "ocaml" {>= "4.12"} "dune" {>= "3.0"} "ounit2" {with-test} "odoc" {with-doc} From 59351431b5af7068384a3be9bab28d9a852838b9 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Thu, 24 Oct 2024 14:31:37 +0200 Subject: [PATCH 3/4] Update packages/adelfa/adelfa.0.1/opam --- packages/adelfa/adelfa.0.1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/adelfa/adelfa.0.1/opam b/packages/adelfa/adelfa.0.1/opam index ae0fec32b4e..9b86e553ece 100644 --- a/packages/adelfa/adelfa.0.1/opam +++ b/packages/adelfa/adelfa.0.1/opam @@ -3,7 +3,7 @@ opam-version: "2.0" synopsis: "Proof assistant for reasoning about LF specifications" maintainer: ["Chase Johnson "] authors: ["Mary Southern" "Chase Johnson "] -license: "GPL-3.0" +license: "GPL-3.0-only" homepage: "http://sparrow.cs.umn.edu/adelfa/index.html" doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html" bug-reports: "https://github.com/adelfa-prover/adelfa/issues" From 807d26939b79ec5a94345735198b5dfbe0f22894 Mon Sep 17 00:00:00 2001 From: Chase Johnson Date: Thu, 24 Oct 2024 07:52:31 -0500 Subject: [PATCH 4/4] Update homepage doc url --- packages/adelfa/adelfa.0.1/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/adelfa/adelfa.0.1/opam b/packages/adelfa/adelfa.0.1/opam index 9b86e553ece..750191c0b04 100644 --- a/packages/adelfa/adelfa.0.1/opam +++ b/packages/adelfa/adelfa.0.1/opam @@ -4,8 +4,8 @@ synopsis: "Proof assistant for reasoning about LF specifications" maintainer: ["Chase Johnson "] authors: ["Mary Southern" "Chase Johnson "] license: "GPL-3.0-only" -homepage: "http://sparrow.cs.umn.edu/adelfa/index.html" -doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html" +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"}