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/2dg9z860vwgjlx3mn0cag6anz680746r-coq-bignums-8.10.0.drv | ||
mips64el-linux | /gnu/store/ywpj4c84sy2214awf59s3rpkz7j6ppx5-coq-bignums-8.10.0.drv | ||
i686-linux | /gnu/store/fca9v6729x7pqaj76876rj5sfwg4838g-coq-bignums-8.10.0.drv | ||
armhf-linux | /gnu/store/9syzglndhg6kfr1jjzrjpgvchfd056sv-coq-bignums-8.10.0.drv | ||
aarch64-linux | /gnu/store/l8pp9xzxblafcz9nm0n0ngpwahfrwdsd-coq-bignums-8.10.0.drv |
Linter | Message | Location |
---|---|---|
derivation Report failure to compile a package to a derivation | failed to create x86_64-linux derivation: path ‘/gnu/store/1dz7hwpizsbvz88j1g2s4c16ayjy36dz-coq-8.10.2.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create i686-linux derivation: path ‘/gnu/store/imq41gd3q2767il9gq6mqh5cv44x09rf-guile-2.2.6.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create armhf-linux derivation: path ‘/gnu/store/9wn798a6w534mnn4f28lglbjmib9n392-zlib-1.2.11.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create aarch64-linux derivation: path ‘/gnu/store/0afbxr7962z9ci6kw840n088qsmyz8lr-guile-2.2.6.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create mips64el-linux derivation: path ‘/gnu/store/aiwgcl5dppar2s8l408bshywjybsy3nd-zlib-1.2.11.drv’ is not valid |