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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules /

at 16.09-beta 18 folders

Fix lots of fetchgit hashes (fallout from #15469)

9 years ago

bedrock: Change build to use "src native"

10 years ago

coqPackages.contribs.Bertrand: fix hash

10 years ago

coq-ext-lib: 0.9.0-beta3 -> 0.9.3

9 years ago

Fix lots of fetchgit hashes (fallout from #15469)

9 years ago

coqPackages.coquelicot: init at 2.1.1

10 years ago

coqPackages.domains: new expression

11 years ago

coq-dpdgraph: init at 0.5

9 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

Fix lots of fetchgit hashes (fallout from #15469)

9 years ago

meta.description fixups

10 years ago