Coq library for arbitrary large numbers
Bignums is a coq library of arbitrary large numbers. It provides BigN, BigZ, BigQ that used to be part of Coq standard library.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/qx9gl0vsxq6s35gswffsmzanv7s3cj3q-coq-bignums-8.9.0.drv | ||
mips64el-linux | /gnu/store/zfab7r59crlk5c5sxwlqx6n9kvq6k75h-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/0fsf7rvvyfmfkgxwh4y4jyk0dn7g6rfn-coq-bignums-8.9.0.drv | ||
armhf-linux | /gnu/store/dkw37l15vhdz33ig81jzfxnrjrjlxlqv-coq-bignums-8.9.0.drv | ||
aarch64-linux | /gnu/store/f7vbyg46j54v4in46bypg0rpnddxhn31-coq-bignums-8.9.0.drv |
Linter | Message | Location |
---|---|---|
source-unstable-tarball Check for autogenerated tarballs | the source URI should not be an autogenerated tarball |