-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Co-authored-by: na4zagin3 <na4zagin3@users.noreply.github.com>
- Loading branch information
1 parent
f9bc319
commit 652614c
Showing
1 changed file
with
312 additions
and
0 deletions.
There are no files selected for viewing
312 changes: 312 additions & 0 deletions
312
...raphos-snapshot-develop/satyrographos-snapshot-develop.0.0.11-2-gcc6a054e+2024.03.05/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,312 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>" | ||
| authors: [ | ||
| "SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>" | ||
| ] | ||
| 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 | ||
| ] |