From 018cbdebfec1761963d0642d3886aefd33b17c2d Mon Sep 17 00:00:00 2001 From: na4zagin3 <368735+na4zagin3@users.noreply.github.com> Date: Thu, 21 Mar 2024 15:56:13 +0000 Subject: [PATCH] Update develop snapshots --- snapshot-develop.opam | 312 ------------------------------------------ 1 file changed, 312 deletions(-) diff --git a/snapshot-develop.opam b/snapshot-develop.opam index 1ca2d27d..e69de29b 100644 --- a/snapshot-develop.opam +++ b/snapshot-develop.opam @@ -1,312 +0,0 @@ -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.11-2-gcc6a054e"} - "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 -]