(update) JsAst 1.0.8

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
coq · Jun 27, 2018 · 990b72c · 990b72c
1 parent a8b71c5
commit 990b72c
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 0 deletions.
diff --git a/released/packages/coq-jsast/coq-jsast.1.0.8/descr b/released/packages/coq-jsast/coq-jsast.1.0.8/descr
@@ -0,0 +1 @@
+A minimal JavaScript syntax tree carved out of the JsCert project.
diff --git a/released/packages/coq-jsast/coq-jsast.1.0.8/opam b/released/packages/coq-jsast/coq-jsast.1.0.8/opam
@@ -0,0 +1,18 @@
+opam-version: "1.2"
+maintainer: "jeromesimeon@me.com"
+homepage: "https://github.com/querycert/jsast"
+dev-repo: "https://github.com/querycert/jsast/tree/JsAst"
+bug-reports: "https://github.com/querycert/jsast/issues"
+authors: [ "Jerome Simeon" ]
+license: "BSD-2-Clause"
+build: [
+  [make "-j%{jobs}%"]
+]
+install: [
+  [make "install"]
+]
+remove: ["rm" "-R" "%{lib}%/coq/user-contrib/JsAst"]
+depends: [
+  "coq" {>= "8.7.2"}
+  "coq-flocq" {>= "2.6.0" & < "3.0~"}
+]
diff --git a/released/packages/coq-jsast/coq-jsast.1.0.8/url b/released/packages/coq-jsast/coq-jsast.1.0.8/url
@@ -0,0 +1,2 @@
+http: "https://github.com/querycert/jsast/archive/v1.0.8.tar.gz"
+checksum: "f30a1e20108cedd28c1370aa068186ed"