this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "CCHM homotopy system type checker with strict equality"
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.12.1.tar.gz"
17 checksum: [
18 "md5=10bc0c65d9aabab5ceeba6245bf1e0c3"
19 "sha512=6bbab7ff3efcf1de5b6423f7e5b153e76f37cf3bf8513383162a73b9377771f0520fe1f1fe4cf53652b3a60fe42cef9d6054fa4ae888edd65696accbd0bac124"
20 ]
21}