this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "CCHM homotopy system type checker based on Mini-TT for OCaml"
3maintainer: "Namdak Tonpa <maxim@synrc.com>"
4authors: ["Namdak Tonpa @5HT" "Siegmentation Fault @siegment"]
5license: "ISC"
6homepage: "https://groupoid.space/homotopy/"
7bug-reports: "https://github.com/groupoid/anders/issues"
8depends: [
9 "dune" {>= "2.0"}
10 "ocaml" {>= "4.10"}
11 "menhir" {>= "20200123"}
12]
13build: ["dune" "build" "-p" name "-j" jobs]
14dev-repo: "git+https://github.com/groupoid/anders"
15url {
16 src: "https://github.com/groupoid/anders/archive/refs/tags/0.7.1.zip"
17 checksum: [
18 "md5=a993dfa86ac42d3dac6c089096b67e84"
19 "sha512=6acd8c46a281626e153f6bcc80c03ade45148b1f854ac303fab2932991b3d0ee77a2fa0c4611ee54017eb250ce0f6b732b23ddeef9d57d9eceb4a4d79e5354a8"
20 ]
21}