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/0.7.2.tar.gz"
17 checksum: [
18 "md5=e9f12921b951fa2529481390c6fb3864"
19 "sha512=afc27c83c4bdcb5fb93e1b58bdcc9b08a28f002f15d0e27a7e509666ca3f6bad47fc7296a72cd68aeee7d24175d2c64ee4688edeedc79adedab7cb1f5bb19760"
20 ]
21}