add coq-ott.0.34

released/packages/coq-ott/coq-ott.0.34/opam

@@ -0,0 +1,40 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+
+homepage: "http://www.cl.cam.ac.uk/~pes20/ott/"
+dev-repo: "git+https://github.com/ott-lang/ott.git"
+bug-reports: "https://github.com/ott-lang/ott/issues"
+license: "BSD-3-Clause"
+
+synopsis: "Auxiliary Coq library for Ott, a tool for writing definitions of programming languages and calculi"
+description: """
+Ott takes as input a definition of a language syntax and semantics, in a concise
+and readable ASCII notation that is close to what one would write in informal
+mathematics. It can then generate a Coq version of the definition, which requires
+this library.
+"""
+
+build: [make "-j%{jobs}%" "-C" "coq"]
+install: [make "-C" "coq" "install"]
+depends: [
+  "coq" {>= "8.14" & < "8.21"}
+]
+conflicts: [
+  "ott" { != version }
+]
+tags: [
+  "category:Computer Science/Semantics and Compilation/Semantics"
+  "keyword:abstract syntax"
+  "logpath:Ott"
+  "date:2024-12-30"
+]
+authors: [
+  "Peter Sewell"
+  "Francesco Zappa Nardelli"
+  "Scott Owens"
+]
+
+url {
+  src: "https://github.com/ott-lang/ott/archive/0.34.tar.gz"
+  checksum: "sha512=371b59c0dc35207f8e85a939f03ae63fc654df50540ed5e656c5a40c5062ebfdfb1e02cfd499074f9d0b43afc165606b57dec4c96a4ca44ee91d1c1dcfa4deaf"
+}