this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "An infinity-categorical coherence typechecker"
3description: "An infinity-categorical coherence typechecker"
4maintainer: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti <cs2197@cam.ac.uk>"]
5authors: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti <cs2197@cam.ac.uk>"]
6license: "MIT"
7tags: ["higher-categories" "dependent-type-theory"]
8homepage: "https://github.com/thibautbenjamin/catt"
9bug-reports: "https://github.com/thibautbenjamin/catt/issues"
10depends: [
11 "ocaml" {>= "4.14" & < "5.0"}
12 "dune" {>= "3.16" & >= "3.10"}
13 "menhir" {>= "20240715"}
14 "base" {>= "0.17.0"}
15 "odoc" {with-doc}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://github.com/thibautbenjamin/catt.git"
32url {
33 src:
34 "https://github.com/thibautbenjamin/catt/releases/download/1.0/catt-1.0.tbz"
35 checksum: [
36 "sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb"
37 "sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b"
38 ]
39}
40x-commit-hash: "a3a3f3611f38b9fe295bcc6ca731b21e0a499cb3"