Proof assistant for higher-order logic
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/id7i2ssqcxpwvr9d0l4yqgp99kqgqcl6-coq-core-8.15.2.drv | ||
| riscv64-linux | /gnu/store/jmvphgj947mzw1vqmf8d5bisxp24ch5h-coq-core-8.15.2.drv | ||
| powerpc-linux | /gnu/store/5gk32vmdl8m03s7x8bj2rhabqx235b9r-coq-core-8.15.2.drv | ||
| powerpc64le-linux | /gnu/store/j5wrzddrx61015jcivgs4j0yaaa48vbf-coq-core-8.15.2.drv | ||
| mips64el-linux | /gnu/store/wg43lcqfkrdmvwr6qkkn3h8ds9bwdj0i-coq-core-8.15.2.drv | ||
| i686-linux | /gnu/store/hd0gcr2s8wh5knby7kc84mswq4vshqk0-coq-core-8.15.2.drv | ||
| i586-gnu | /gnu/store/g2cdd8wnph76n61jh0qj4x5286z517yz-coq-core-8.15.2.drv | ||
| armhf-linux | /gnu/store/1gj42bd5dv77jyv81fcyhwd9pfipz9pm-coq-core-8.15.2.drv | ||
| aarch64-linux | /gnu/store/m4blj79jzvr5ra0zwvsakhn4j30djjii-coq-core-8.15.2.drv |
| Linter | Message | Location |
|---|---|---|
| patch-file-names Validate file names and availability of patches | file names of patches should start with the package name | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f8ed7409c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7fa7aa068c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f5755cb9c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f119da52c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fb2d2987dc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f3e6bc77dc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f62abeb7dc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fa23c1dddc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f0f10522dc0> input: ("_" "static")> |