Skip to content

Commit

Permalink
Update develop snapshots
Browse files Browse the repository at this point in the history
  • Loading branch information
na4zagin3 authored and github-actions[bot] committed Jul 30, 2024
1 parent 54617b6 commit 48c0668
Show file tree
Hide file tree
Showing 3 changed files with 101 additions and 1 deletion.
57 changes: 57 additions & 0 deletions packages/satysfi-dist/satysfi-dist.0.0.11-12-g98826304/opam
Original file line number Diff line number Diff line change
@@ -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#988263040c784c96eeb83f8904f2366dd56b9657"
}
43 changes: 43 additions & 0 deletions packages/satysfi/satysfi.0.0.11-12-g98826304/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
# 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.17"}
"cppo" {build & >= "1.6.4" & < "1.7.0"}
"menhir" {build & >= "20231231"}
"menhirLib" {>= "20231231"}
"ocamlfind" {build}
"omd" {>= "1.3.2" & < "2.0"}
"otfed" {>= "0.3.1" & < "0.4"}
"ppx_deriving" {>= "5.2.1" & < "6.0"}
"re" {build & >= "1.10.4" & < "2.0"}
"uutf" {>= "1.0.3" & < "2.0"}
"yojson-with-position" {= "1.4.2+satysfi"}
"odoc" {with-doc}
]
dev-repo: "git+https://github.com/gfngfn/SATySFi.git"
build: [
["mkdir" "-p" "temp"]
[make "-f" "Makefile" "PREFIX=%{prefix}%"]
]
install: [
[make "-f" "Makefile" "install" "PREFIX=%{prefix}%"]
]
remove: [
[make "-f" "Makefile" "uninstall" "PREFIX=%{prefix}%"]
]
url {
git: "git+https://github.com/gfngfn/SATySFi.git#988263040c784c96eeb83f8904f2366dd56b9657"
}
2 changes: 1 addition & 1 deletion snapshot-develop.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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-12-g98826304"}
"satysfi-dist"
"satyrographos" {= "0.0.2.13"}

Expand Down

0 comments on commit 48c0668

Please sign in to comment.