pilatversion
Polynomial invariant generator
Author | Steven De Oliveira <de.oliveira.steven@gmail.com> |
---|---|
License | LGPL-2.1-only |
Published | |
Homepage | https://github.com/Stevendeo/Pilat/ |
Issue Tracker | https://github.com/Stevendeo/Pilat/issues |
Maintainer | Steven 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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.6/opam |
No package is dependent