Package satysfi-derive.1.0.0

na4zagin3 · Dec 31, 2020 · 1b3b192 · 1b3b192
1 parent 6862878
commit 1b3b192
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/packages/satysfi-derive/satysfi-derive.1.0.0/opam b/packages/satysfi-derive/satysfi-derive.1.0.0/opam
@@ -0,0 +1,35 @@
+opam-version: "2.0"
+synopsis: "SATySFi commands and DSL for displaying derivation trees with maintainable code"
+description: """
+SATySFi commands and DSL for displaying derivation trees with maintainable code
+
+This requires Satyrographos to install. See https://github.com/na4zagin3/satyrographos.
+"""
+maintainer: "Yuito Murase <[email protected]>"
+authors: [
+  "Yuito Murase <[email protected]>"
+]
+license: "MIT"
+homepage: "https://github.com/yabaitechtokyo/satysfi-derive"
+bug-reports: "https://github.com/yabaitechtokyo/satysfi-derive/issues"
+dev-repo: "git+https://github.com/yabaitechtokyo/satysfi-derive.git"
+depends: [
+  "satysfi" {>= "0.0.5" & < "0.0.6"}
+  "satysfi-dist"
+  "satysfi-base" {>= "1.3.0" & < "2.0.0"}
+  "satyrographos" {>= "0.0.2.6" & < "0.0.3"}
+]
+install: [
+  ["satyrographos" "opam" "install"
+   "--name" "derive"
+   "--prefix" "%{prefix}%"
+   "--script" "%{build}%/Satyristes"]
+]
+url {
+  src:
+    "https://github.com/yabaitechtokyo/satysfi-derive/archive/1.0.0.tar.gz"
+  checksum: [
+    "md5=67e81bd8529097638820cb82ba6b2e71"
+    "sha512=33149292502db5c238efc8f7d69acae4e3ea5d7a9e510d2bdade8e0505654fbacfaf0941b844fd98ec8cf036fee8a42e2cb7128a4c46df3eb8b6108d3e4c21b9"
+  ]
+}