this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Modal Homotopy Type System"
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 "zarith" {>= "1.12"}
11 "ocaml" {>= "4.10"}
12 "menhir" {>= "20200123"}
13]
14build: ["dune" "build" "-p" name "-j" jobs]
15dev-repo: "git+https://github.com/groupoid/anders"
16url {
17 src: "https://github.com/groupoid/anders/archive/refs/tags/1.1.1.zip"
18 checksum: [
19 "md5=265c4b61dabe697e90a6ca2db300542b"
20 "sha512=9474fb6be18950afeea0bcc31489b2152209332e92d40ec10262100528ecf596196e05746ced7d687bc7e09695a1bcb52f52032ca8b2cfdc4a7fca454960fd49"
21 ]
22}