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/7lyhqjaz6hahv5xzdhhj1w124iwhp19j-coq-bignums-8.9.0.drv | ||
mips64el-linux | /gnu/store/06wpvrmnvj1svl8l1gn2ld2s532f9rch-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/d2xg8mxk3dflky7iynalr971phsx5xba-coq-bignums-8.9.0.drv | ||
armhf-linux | /gnu/store/7bj87yg1f7b4q4rshxmhgdizjdxjlflw-coq-bignums-8.9.0.drv | ||
aarch64-linux | /gnu/store/1vhcl5yrkjcidbd8jh40hrw2px3dys0m-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 |