Package satex.0.1.1

Author: smimram

packages/satex/satex.0.1.1/opam

@@ -0,0 +1,36 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "String diagram generator for LaTeX"
+description:
+  "Satex takes descriptions of string diagrams in the form of categorical compositions and converts them to string diagrams drawn in TikZ."
+maintainer: ["Samuel Mimram <[email protected]>"]
+authors: ["Samuel Mimram <[email protected]>"]
+license: "GPL-3.0"
+homepage: "https://github.com/smimram/satex"
+bug-reports: "https://github.com/smimram/satex/issues"
+depends: [
+  "dune" {>= "2.0"}
+  "menhir" {build}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/smimram/satex.git"
+url {
+  src: "https://github.com/smimram/satex/archive/refs/tags/v0.1.1.tar.gz"
+  checksum: [
+    "md5=5c6d3368f18df9b2efb460759525401c"
+    "sha512=705d78eed6bacafb3191d4c9a5c09291da5ceb8c69560c3b68981484d4d998939640f36edc009ecae19641195afe4ccc3327ff5bac33cb34b759864a6763319c"
+  ]
+}