opam on Github

andersversion
0.7.2

CCHM homotopy system type checker with strict equality

AuthorsNamdak Tonpa @5HT and Siegmentation Fault @siegment
LicenseISC
Published
Homepagehttps://groupoid.space/homotopy/
Issue Trackerhttps://github.com/groupoid/anders/issues
MaintainerNamdak Tonpa <maxim@synrc.com>
Dependencies
Source [http] https://github.com/groupoid/anders/archive/0.7.2.tar.gz
md5=e9f12921b951fa2529481390c6fb3864
sha512=afc27c83c4bdcb5fb93e1b58bdcc9b08a28f002f15d0e27a7e509666ca3f6bad47fc7296a72cd68aeee7d24175d2c64ee4688edeedc79adedab7cb1f5bb19760
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.0.7.2/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.