From 32ffc41f45e8f052a6c83755d58726370281c8a1 Mon Sep 17 00:00:00 2001 From: puripuri2100 Date: Thu, 2 Nov 2023 12:30:30 +0900 Subject: [PATCH] add stable-snapshot-stable-0-0-10.opam --- .github/workflows/ci.yaml | 1 + snapshot-stable-0-0-10.opam | 312 ++++++++++++++++++++++++++++++++++++ 2 files changed, 313 insertions(+) create mode 100644 snapshot-stable-0-0-10.opam diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 2a0d5382..29b76d1e 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -21,6 +21,7 @@ jobs: - 4.12.0 snapshot: - develop + - stable-0-0-10 - stable-0-0-8 - stable-0-0-7 - stable-0-0-6--1 diff --git a/snapshot-stable-0-0-10.opam b/snapshot-stable-0-0-10.opam new file mode 100644 index 00000000..84c983c9 --- /dev/null +++ b/snapshot-stable-0-0-10.opam @@ -0,0 +1,312 @@ +opam-version: "2.0" +maintainer: "SAKAMOTO Noriaki " +authors: [ + "SAKAMOTO Noriaki " +] +homepage: "https://github.com/na4zagin3/satyrographos-repo" +dev-repo: "git+https://github.com/na4zagin3/satyrographos-repo.git" +bug-reports: "https://github.com/na4zagin3/satyrographos-repo/issues" +license: "CC0-1.0" + +synopsis: "Snapshot of stable libraries in Satyrographos Repo" + +depends: [ + "dune" {build} + "ocaml" {>= "4.10.0"} + "satysfi" {= "0.0.10"} + "satysfi-dist" + "satyrographos" {= "0.0.2.13"} + + +# Package List + + "satysfi-actuarial-doc" {= "0.0.1"} + + "satysfi-actuarial" {= "0.0.1"} + + "satysfi-algorithm-doc" {= "1.0.0"} + + "satysfi-algorithm" {= "1.0.0"} + + "satysfi-arrows-doc" {= "0.1.0"} + + "satysfi-arrows" {= "0.1.0"} + + "satysfi-assert-eq-doc" {= "0.1.2"} + + "satysfi-assert-eq" {= "0.1.2"} + + "satysfi-azmath-doc" {= "0.0.3+1"} + + "satysfi-azmath" {= "0.0.3"} + + "satysfi-base" {= "1.5.0"} + + "satysfi-bibyfi-doc" {= "0.0.2"} + + "satysfi-bibyfi" {= "0.0.2"} + + "satysfi-cancel" {= "0.0.1"} + + "satysfi-chemfml" {= "1.0.1"} + + "satysfi-class-cv-doc" {= "0.1.1"} + + "satysfi-class-cv" {= "0.1.1"} + + "satysfi-class-exdesign-doc" {= "0.3.1"} + + "satysfi-class-exdesign" {= "0.3.1"} + + "satysfi-class-jlreq" {= "0.0.3"} + + "satysfi-class-mdbook-satysfi-doc" {= "0.5.1"} + + "satysfi-class-mdbook-satysfi" {= "0.5.1"} + + "satysfi-class-slydifi-doc" {= "0.5.0"} + + "satysfi-class-slydifi" {= "0.5.0"} + + "satysfi-class-stjarticle-doc" {= "1.3.2"} + + "satysfi-class-stjarticle" {= "1.3.2"} + + "satysfi-class-yabaitech-doc" {= "0.0.9"} + + "satysfi-class-yabaitech" {= "0.0.9"} + + "satysfi-code-printer-doc" {= "1.1.1"} + + "satysfi-code-printer" {= "1.1.1"} + + "satysfi-colorbox-doc" {= "0.1.1"} + + "satysfi-colorbox" {= "0.1.1"} + + "satysfi-csvtable-doc" {= "1.1.0"} + + "satysfi-csvtable" {= "1.1.0"} + + "satysfi-csv-doc" {= "1.0.0"} + + "satysfi-csv" {= "1.0.0"} + + "satysfi-debug-show-value-doc" {= "0.1.2"} + + "satysfi-debug-show-value" {= "0.1.2"} + + "satysfi-derive" {= "1.0.0"} + + "satysfi-easytable-doc" {= "1.1.2"} + + "satysfi-easytable" {= "1.1.2"} + + "satysfi-enumitem-doc" {= "3.0.1"} + + "satysfi-enumitem" {= "3.0.1"} + + "satysfi-figbox-doc" {= "0.1.4"} + + "satysfi-figbox" {= "0.1.4"} + + "satysfi-fonts-asana-math-doc" {= "000.958+1+satysfi0.0.4"} + + "satysfi-fonts-asana-math" {= "000.958+1+satysfi0.0.4"} + + "satysfi-fonts-bodoni-star-doc" {= "2.3+satysfi0.0.5"} + + "satysfi-fonts-bodoni-star" {= "2.3+satysfi0.0.5"} + + "satysfi-fonts-charis-sil-doc" {= "1.0.0"} + + "satysfi-fonts-charis-sil" {= "1.0.0"} + + "satysfi-fonts-computer-modern-unicode-doc" {= "0.7.0+satysfi0.0.4"} + + "satysfi-fonts-computer-modern-unicode" {= "0.7.0+satysfi0.0.4"} + + "satysfi-fonts-cormorant-doc" {= "3.601+satysfi0.0.5"} + + "satysfi-fonts-cormorant" {= "3.601+satysfi0.0.5"} + + "satysfi-fonts-dejavu-doc" {= "2.37+satysfi0.0.4"} + + "satysfi-fonts-dejavu" {= "2.37+satysfi0.0.4"} + + "satysfi-fonts-han-sans-jp-doc" {= "2.003R"} + + "satysfi-fonts-han-sans-jp" {= "2.003R"} + + "satysfi-fonts-han-serif-jp-doc" {= "1.001R"} + + "satysfi-fonts-han-serif-jp" {= "1.001R"} + + "satysfi-fonts-ibm-plex-sans-jp-doc" {= "1.0.0"} + + "satysfi-fonts-ibm-plex-sans-jp" {= "1.0.0"} + + "satysfi-fonts-inconsolata-doc" {= "3.001"} + + "satysfi-fonts-inconsolata" {= "3.001"} + + "satysfi-fonts-junicode-doc" {= "1.0002+satysfi0.0.5"} + + "satysfi-fonts-junicode" {= "1.0002+satysfi0.0.5"} + + "satysfi-fonts-material-icons-doc" {= "1.0.1"} + + "satysfi-fonts-material-icons" {= "1.0.1"} + + "satysfi-fonts-noto-emoji-doc" {= "1.05+uh+2"} + + "satysfi-fonts-noto-emoji" {= "1.05+uh+2"} + + "satysfi-fonts-noto-sans-cjk-jp-doc" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-sans-cjk-jp" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-sans-cjk-sc-doc" {= "2.001+1"} + + "satysfi-fonts-noto-sans-cjk-sc" {= "2.001+1"} + + "satysfi-fonts-noto-sans-doc" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-sans" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-serif-cjk-jp-doc" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-serif-cjk-jp" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-serif-doc" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-noto-serif" {= "2.001+1+satysfi0.0.4"} + + "satysfi-fonts-theano-doc" {= "2.0+satysfi0.0.3+satyrograhos0.0.2"} + + "satysfi-fonts-theano" {= "2.0+satysfi0.0.3+satyrograhos0.0.2"} + + "satysfi-fss-doc" {= "0.2.0"} + + "satysfi-fss-fontset-bodoni-star" {= "2.3"} + + "satysfi-fss" {= "0.2.0"} + + "satysfi-grcnum-doc" {= "0.2"} + + "satysfi-grcnum" {= "0.2"} + + "satysfi-image-doc" {= "0.1.0"} + + "satysfi-image" {= "0.1.0"} + + "satysfi-json-doc" {= "1.1.3"} + + "satysfi-json" {= "1.1.3"} + + "satysfi-karnaugh-doc" {= "0.0.1"} + + "satysfi-karnaugh" {= "0.0.1"} + + "satysfi-latexcmds-doc" {= "0.1.2"} + + "satysfi-latexcmds" {= "0.1.2"} + + "satysfi-lipsum-doc" {= "0.2.1"} + + "satysfi-lipsum" {= "0.2.1"} + + "satysfi-make-html-doc" {= "0.1.1"} + + "satysfi-make-html" {= "0.1.1"} + + "satysfi-make-latex-doc" {= "0.2.0"} + + "satysfi-make-latex" {= "0.2.0"} + + "satysfi-make-markdown" {= "0.1.0"} + + "satysfi-matrixcd-doc" {= "0.1.0"} + + "satysfi-matrixcd" {= "0.1.0"} + + "satysfi-matrix-doc" {= "0.0.1+dev2019.10.15"} + + "satysfi-matrix" {= "0.0.1+dev2019.10.15"} + + "satysfi-md2latex-doc" {= "0.0.3"} + + "satysfi-md2latex" {= "0.0.3"} + + "satysfi-musikui-doc" {= "0.1.1"} + + "satysfi-musikui" {= "0.1.1"} + + "satysfi-ncsq-doc" {= "2.1.0"} + + "satysfi-ncsq" {= "2.1.0"} + + "satysfi-num-conversion-doc" {= "0.1.4"} + + "satysfi-num-conversion" {= "0.1.4"} + + "satysfi-pagenumber-doc" {= "1.0.0"} + + "satysfi-pagenumber" {= "1.0.0"} + + "satysfi-pagestyle-doc" {= "1.0.0"} + + "satysfi-pagestyle" {= "1.0.0"} + + "satysfi-parallel-doc" {= "0.2.0"} + + "satysfi-parallel" {= "0.2.0"} + + "satysfi-quotation-doc" {= "0.2.0"} + + "satysfi-quotation" {= "0.2.0"} + + "satysfi-railway-doc" {= "0.1.0"} + + "satysfi-railway" {= "0.1.0"} + + "satysfi-ruby-doc" {= "0.1.2"} + + "satysfi-ruby" {= "0.1.2"} + + "satysfi-simple-itemize-doc" {= "1.0.2"} + + "satysfi-simple-itemize" {= "1.0.2"} + + "satysfi-siunitx-doc" {= "0.1.1"} + + "satysfi-siunitx" {= "0.1.1"} + + "satysfi-test" {= "0.0.1"} + + "satysfi-texlogo-doc" {= "0.1.1"} + + "satysfi-texlogo" {= "0.1.1"} + + "satysfi-tombo-doc" {= "0.2.0"} + + "satysfi-tombo" {= "0.2.0"} + + "satysfi-uline-doc" {= "0.2.2"} + + "satysfi-uline" {= "0.2.2"} + + "satysfi-xml-doc" {= "1.0.3"} + + "satysfi-xml" {= "1.0.3"} + + "satysfi-xpath-doc" {= "0.3.0"} + + "satysfi-xpath-gr" {= "0.3.0"} + + "satysfi-xpath" {= "0.3.0"} + + "satysfi-zrbase" {= "0.4.0"} + +# Package List End +]