nixpkgs/pkgs/development/coq-modules/ at release-16.03-start · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules /

at release-16.03-start 17 folders

coq-QuickChick: 21f50a02 -> 20150605

10 years ago

bedrock: Change build to use "src native"

10 years ago

coqPackages.contribs.Bertrand: fix hash

10 years ago

coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3

10 years ago

coq-coqeal: fix installation

10 years ago

coqPackages.coquelicot: init at 2.1.1

10 years ago

coqPackages.domains: new expression

11 years ago

coq-fiat: do not run tests on i686

10 years ago

coq-flocq: 2.5.0 -> 2.5.1

10 years ago

coqPackages.domains: new expression

11 years ago

coq-interval: 2.1.0 -> 2.2.1

10 years ago

ssreflect, mathcomp: fix build

10 years ago

meta.description fixups

10 years ago

Remove no longer (or never) referenced patches

10 years ago

coq-tlc: fix package

10 years ago

Fixed some descriptions

10 years ago

meta.description fixups

10 years ago