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/rzm7z9wdik9gffmy67ln56rgq8hcmn8j-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/sk98njl1g5sn8a17rw4a5drx9m25j89k-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 |