nixpkgs / coqPackages.deriving - Generic instances of MathComp classes

Homepage - https://github.com/arthuraa/deriving

License - MIT

Maintainers - Vincent Laporte

Releases

0.1.0 (expand/collapse)
From commit 06ec2027 to 00460bd6