File tree Expand file tree Collapse file tree 1 file changed +37
-0
lines changed
packages/satex/satex.0.1.1 Expand file tree Collapse file tree 1 file changed +37
-0
lines changed Original file line number Diff line number Diff line change 1+ # This file is generated by dune, edit dune-project instead
2+ opam-version: "2.0"
3+ synopsis: "String diagram generator for LaTeX"
4+ description:
5+ "Satex takes descriptions of string diagrams in the form of categorical compositions and converts them to string diagrams drawn in TikZ."
6+ maintainer: ["Samuel Mimram <
[email protected] >"]
7+ authors: ["Samuel Mimram <
[email protected] >"]
8+ license: "GPL-3.0-or-later"
9+ homepage: "https://github.com/smimram/satex"
10+ bug-reports: "https://github.com/smimram/satex/issues"
11+ depends: [
12+ "dune" {>= "2.0"}
13+ "ocaml" {>="4.07.0"}
14+ "menhir" {>="20180703"}
15+ ]
16+ build: [
17+ ["dune" "subst"] {dev}
18+ [
19+ "dune"
20+ "build"
21+ "-p"
22+ name
23+ "-j"
24+ jobs
25+ "@install"
26+ "@runtest" {with-test}
27+ "@doc" {with-doc}
28+ ]
29+ ]
30+ dev-repo: "git+https://github.com/smimram/satex.git"
31+ url {
32+ src: "https://github.com/smimram/satex/archive/refs/tags/v0.1.1.tar.gz"
33+ checksum: [
34+ "md5=5c6d3368f18df9b2efb460759525401c"
35+ "sha512=705d78eed6bacafb3191d4c9a5c09291da5ceb8c69560c3b68981484d4d998939640f36edc009ecae19641195afe4ccc3327ff5bac33cb34b759864a6763319c"
36+ ]
37+ }
You can’t perform that action at this time.
0 commit comments