this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "String diagram generator for LaTeX"
4description:
5 "Satex takes descriptions of string diagrams in the form of categorical compositions and converts them to string diagrams drawn in TikZ."
6maintainer: ["Samuel Mimram <smimram@gmail.com>"]
7authors: ["Samuel Mimram <smimram@gmail.com>"]
8license: "GPL-3.0-or-later"
9homepage: "https://github.com/smimram/satex"
10bug-reports: "https://github.com/smimram/satex/issues"
11depends: [
12 "dune" {>= "2.0"}
13 "ocaml" {>="4.07.0"}
14 "menhir" {>="20180703"}
15]
16build: [
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]
30dev-repo: "git+https://github.com/smimram/satex.git"
31url {
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}