From 1b3b192182b01803c8b9c81c1345d50a81884f1d Mon Sep 17 00:00:00 2001
From: Yuito Murase <yuito@acupof.coffee>
Date: Fri, 1 Jan 2021 08:10:19 +0900
Subject: [PATCH] Package satysfi-derive.1.0.0

---
 .../satysfi-derive/satysfi-derive.1.0.0/opam  | 35 +++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 packages/satysfi-derive/satysfi-derive.1.0.0/opam

diff --git a/packages/satysfi-derive/satysfi-derive.1.0.0/opam b/packages/satysfi-derive/satysfi-derive.1.0.0/opam
new file mode 100644
index 00000000..3761b86b
--- /dev/null
+++ 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 <yuito@acupof.coffee>"
+authors: [
+  "Yuito Murase <yuito@acupof.coffee>"
+]
+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"
+  ]
+}