pilatversion

Polynomial invariant generator

AuthorSteven De Oliveira <de.oliveira.steven@gmail.com>
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/Stevendeo/Pilat/
Issue Trackerhttps://github.com/Stevendeo/Pilat/issues
MaintainerSteven De Oliveira <de.oliveira.steven@gmail.com>
Dependencies
Source [http] https://github.com/Stevendeo/Pilat/archive/refs/tags/1.6.tar.gz
md5=20a79901296d78e59083d608388b1e29
sha512=8275572448e2f2b558dd9307ac436a3ef64878f9551b46517421f6a210b6d07ed519c271b3c27393b48bbcdcd6838a3e9df3a9e6e627a324a3aa70d35226f4d3
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.6/opam
No package is dependent