[Automated] Update develop snapshot

packages/satysfi-dist/satysfi-dist.0.0.11-20-gf2840434/opam

@@ -0,0 +1,57 @@
+opam-version: "2.0"
+maintainer: "SAKAMOTO Noriaki <[email protected]>"
+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#f28404348d84842fddc22d98f0266426c98638a2"
+}

packages/satysfi/satysfi.0.0.11-20-gf2840434/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.2" & < "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#f28404348d84842fddc22d98f0266426c98638a2"
+}

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-20-gf2840434"}
   "satysfi-dist"
   "satyrographos" {= "0.0.2.13"}