nixpkgs / coqPackages.bignums -

Homepage - https://github.com/coq/bignums

License - LGPL-2.0

Releases

(expand/collapse)

From commit 03b9bc9e to 00460bd6