nixpkgs/pkgs/development/coq-modules/ at v192 · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules /

at v192 16 folders

coq-QuickChick: 21f50a02 -> 20150605

10 years ago

bedrock: Change build to use "src native"

10 years ago

coq-contribs: fix various packages

11 years ago

coqPackages.ssreflect, more: build ssrcoq binary, add maintainer

11 years ago

coq-coqeal: fix installation

10 years ago

coqPackages.domains: new expression

11 years ago

coq-fiat: do not run tests on i686

10 years ago

meta.description fixups

10 years ago

coqPackages.domains: new expression

11 years ago

Adds coq-interval

11 years ago

ssreflect, mathcomp: better package names

10 years ago

meta.description fixups

10 years ago

ssreflect, mathcomp: better package names

10 years ago

coq-tlc: fix package

10 years ago

Fixed some descriptions

10 years ago

meta.description fixups

10 years ago