summary refs log tree commit diff
path: root/pkgs/development/coq-modules/bignums
Commit message (Expand)AuthorAge
* bignums: init at various versionsThéo Zimmermann2017-11-05