From 4f0ca255197e0e59beb636a5013349bf6317de40 Mon Sep 17 00:00:00 2001 From: puripuri2100 Date: Thu, 2 Nov 2023 12:24:44 +0900 Subject: [PATCH] add package satysfi-base.1.6.0 --- packages/satysfi-base/satysfi-base.1.6.0/opam | 36 +++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 packages/satysfi-base/satysfi-base.1.6.0/opam diff --git a/packages/satysfi-base/satysfi-base.1.6.0/opam b/packages/satysfi-base/satysfi-base.1.6.0/opam new file mode 100644 index 00000000..eb9478c0 --- /dev/null +++ b/packages/satysfi-base/satysfi-base.1.6.0/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +synopsis: "A collection of utility functions and modules for SATySFi" +description: """ +This is a collection of utility functions and modules for SATySFi. Because the library bundled with the default installation configuration of SATySFi is currently not rich enough, this project aims to provide a complementary library sufficient for most situations in typesetting. + +this requires Satyrographos to install. See https://github.com/na4zagin3/satyrographos. +""" +maintainer: "Yuichi Nishiwaki " +authors: [ + "Yuichi Nishiwaki " + "puripuri2100 " + "Yuito Murase " +] +license: "MIT" +homepage: "https://github.com/nyuichi/satysfi-base" +bug-reports: "https://github.com/nyuichi/satysfi-base/issues" +depends: [ + "satysfi" {>= "0.0.5" & < "0.1"} + "satysfi-dist" + "satyrographos" {>= "0.0.2.6" & < "0.0.3"} + "satysfi-fonts-dejavu" {>= "2.37"} +] +install: [ + ["satyrographos" "opam" "install" + "--name" "base" + "--prefix" "%{prefix}%" + "--script" "%{build}%/Satyristes"] +] +url { + src: + "https://github.com/nyuichi/satysfi-base/archive/refs/tags/1.6.0.tar.gz" + checksum: [ + "md5=b853f692f4c38026d249c146f8b3ee98" + "sha512=8f6f6e6a1c1f269aa98dbd243971af87d3bd96cb16f8eb843f1e2ee7476e20a5b5af2fc0a39986cbcd9383bd0143fcf9e29b4aa920f79c98b1480804443eb8a2" + ] +}