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/zxdkgaazhrpb2485d3zq77p6k89lgr27-coq-bignums-8.9.0.drv | ||
mips64el-linux | /gnu/store/dp0vhsc13v0ahnsmz7qcbv57v1bwympf-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/zdm024jl1qk9w1gc2dpcqnhc6r0gxslj-coq-bignums-8.9.0.drv | ||
armhf-linux | /gnu/store/mv44jwkm07hki47n2izwgk6yyr06666x-coq-bignums-8.9.0.drv | ||
aarch64-linux | /gnu/store/d11lafyj565ar428vqq13czzra3wcmyc-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 |