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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules /

at 17.09-beta 21 folders

coqPackages_8_6.CoLoR: Fix installPhase

8 years ago

coqPackages.QuickChick: 20170422 -> 20170710

8 years ago

coqPackages.autosubst: fix hash

8 years ago

bedrock: Change build to use "src native"

10 years ago

coqPackages.contribs.Bertrand: fix hash

10 years ago

coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}

9 years ago

Fix lots of fetchgit hashes (fallout from #15469)

9 years ago

coqPackages.coquelicot: 2.1.1 -> 2.1.2

9 years ago

coqPackages.domains: new expression

11 years ago

coqPackages.dpdgraph: 0.5 -> 0.6{,.1}

9 years ago

Use consistent package naming for HEAD.nix files

8 years ago

coqPackages.flocq: 2.5.1 -> 2.5.2

9 years ago

coqPackages.domains: new expression

11 years ago

coqPackages.interval: fix URL

8 years ago

coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6

8 years ago

coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1

9 years ago

coqPackages.paco: 1.2.7 -> 1.2.8

8 years ago

coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1

9 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