From 5317dbd4cc5a6f2f00e06f2f32e58419614e6b11 Mon Sep 17 00:00:00 2001
From: na4zagin3 <368735+na4zagin3@users.noreply.github.com>
Date: Thu, 15 Aug 2024 15:59:04 +0000
Subject: [PATCH] Update develop snapshots

---
 .../satysfi-dist.0.0.11-18-g4d27f132/opam     | 57 +++++++++++++++++++
 .../satysfi/satysfi.0.0.11-18-g4d27f132/opam  | 47 +++++++++++++++
 snapshot-develop.opam                         |  2 +-
 3 files changed, 105 insertions(+), 1 deletion(-)
 create mode 100644 packages/satysfi-dist/satysfi-dist.0.0.11-18-g4d27f132/opam
 create mode 100644 packages/satysfi/satysfi.0.0.11-18-g4d27f132/opam

diff --git a/packages/satysfi-dist/satysfi-dist.0.0.11-18-g4d27f132/opam b/packages/satysfi-dist/satysfi-dist.0.0.11-18-g4d27f132/opam
new file mode 100644
index 00000000..40351476
--- /dev/null
+++ b/packages/satysfi-dist/satysfi-dist.0.0.11-18-g4d27f132/opam
@@ -0,0 +1,57 @@
+opam-version: "2.0"
+maintainer: "SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>"
+authors: [
+  "gfngfn"
+]
+extra-source "temp/lm2.004otf.zip" {
+  archive: "https://www.gust.org.pl/projects/e-foundry/latin-modern/download/lm2.004otf.zip"
+  checksum: [
+    "sha256=5b0236051d3728be6616f1b274e3b910473875b5a3ef9382f0ef00384ddb161b"
+    "sha512=c63068c86590e768498ef5f68a17a737aa40981432d8f6366c29760ea032a603ddd3d748d348ab259beba77966c292f9382b1fe9eb7a78af0926c6abc71f6f81"
+  ]
+}
+extra-source "temp/latinmodern-math-1959.zip" {
+  archive: "https://www.gust.org.pl/projects/e-foundry/lm-math/download/latinmodern-math-1959.zip"
+  checksum: [
+    "sha256=aaaa060b4ffc091461e875efb9498b9abfa7c7a48f38eb33882868839903a4f8"
+    "sha512=b4fb4b575107b56eee0fed7971b09d334d4b162842675cf5f5ff7cb12e08099fb00755c81ddc1f04138f87b216592299028906165e2cec43521c6ca61b466d4c"
+  ]
+}
+extra-source "temp/junicode-1.002.zip" {
+  archive: "http://downloads.sourceforge.net/project/junicode/junicode/junicode-1.002/junicode-1.002.zip"
+  checksum: [
+    "sha256=c199d96c8424be60fcab8d00d2eee39ea8ae632cfd5e710cbbd70626d6a729e7"
+    "sha512=1738802f70b0029567be608ed36481864f8f7f029fd1c45d73fa25d092d49c978c51df1c01147b7b176e9b0409d7f15d5713a6daf1b1b269636bc6324b2c6f37"
+  ]
+}
+extra-source "temp/IPAexfont00401.zip" {
+  archive: "https://moji.or.jp/wp-content/ipafont/IPAexfont/IPAexfont00401.zip"
+  mirrors: [
+    "https://github.com/na4zagin3/satysfi-dist-font-archives/raw/master/IPAJ/IPAexfont00401.zip"
+  ]
+  checksum: [
+    "sha256=bcf8374ab3f9672c421120430dd19a51c99f5265cf06fc340d9a661ddfd7974b"
+    "sha512=fe639ded0a25eed66df8cc1e9d5e965b501574a25fab542a749b3cb8464690448e44343ff5845aecd3224ec481c4089ee56e64880cbbc9211a260b22d4cc68cd"
+  ]
+}
+homepage: "https://github.com/gfngfn/SATySFi"
+dev-repo: "git+https://github.com/gfngfn/SATySFi.git"
+bug-reports: "https://github.com/gfngfn/SATySFi/issues"
+build: [
+  ["./download-fonts.sh"]
+]
+install: [
+  ["./install-libs.sh" "%{share}%/satysfi"]
+]
+remove: [
+  ["rm" "-rf" "%{share}%/satysfi/dist"]
+]
+depends: [
+  "satysfi" {= "%{version}%" }
+]
+synopsis: "Standard library of SATySFi"
+description: """
+Provides the standard library of SATySFi"""
+url {
+  git: "git+https://github.com/gfngfn/SATySFi.git#4d27f132374128f7344eb48e6b1d789487564f9e"
+}
diff --git a/packages/satysfi/satysfi.0.0.11-18-g4d27f132/opam b/packages/satysfi/satysfi.0.0.11-18-g4d27f132/opam
new file mode 100644
index 00000000..3758e9be
--- /dev/null
+++ b/packages/satysfi/satysfi.0.0.11-18-g4d27f132/opam
@@ -0,0 +1,47 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "A statically-typed, functional typesetting system"
+description:
+  "SATySFi is a typesetting system equipped with a statically-typed, functional programming language. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has OCaml-like syntax, is for defining functions and commands. SATySFi enables you to write documents markuped with flexible commands of your own making. In addition, its informative type error reporting will be a good help to your writing."
+maintainer: ["Takashi Suwa"]
+authors: ["Takashi Suwa"]
+license: "LGPL-3.0-only"
+homepage: "https://github.com/gfngfn/SATySFi"
+bug-reports: "https://github.com/gfngfn/SATySFi/issues"
+depends: [
+  "dune" {>= "3.16"}
+  "ocaml" {>= "4.12.0" & < "5.0.0"}
+  "batteries" {>= "3.6.0" & < "4.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
+  "camlpdf" {= "2.3.1+satysfi"}
+  "core_kernel" {>= "v0.15" & < "v0.18"}
+  "cppo" {>= "1.6.4" & < "1.7"}
+  "dune-build-info"
+  "menhir" {>= "20231231"}
+  "menhirLib" {>= "20231231"}
+  "omd" {>= "1.3.2" & < "2.0"}
+  "otfed" {>= "0.3.1" & < "0.4"}
+  "ppx_deriving" {>= "5.2.1" & < "6.0"}
+  "re" {>= "1.10.4" & < "2.0"}
+  "uutf" {>= "1.0.3" & < "2.0"}
+  "yojson-with-position" {= "1.4.2+satysfi"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/gfngfn/SATySFi.git"
+url {
+  git: "git+https://github.com/gfngfn/SATySFi.git#4d27f132374128f7344eb48e6b1d789487564f9e"
+}
diff --git a/snapshot-develop.opam b/snapshot-develop.opam
index 8c1b190c..2aae0e05 100644
--- a/snapshot-develop.opam
+++ b/snapshot-develop.opam
@@ -13,7 +13,7 @@ synopsis: "Snapshot of stable libraries in Satyrographos Repo"
 depends: [
   "dune" {build}
   "ocaml" {>= "4.10.0"}
-  "satysfi" {= "0.0.11-2-gcc6a054e"}
+  "satysfi" {= "0.0.11-18-g4d27f132"}
   "satysfi-dist"
   "satyrographos" {= "0.0.2.13"}