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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules /

at 18.03-beta 23 folders

coqPackages: move to a separate file and filter the package set

8 years ago

coqPackages: move to a separate file and filter the package set

8 years ago

coqPackages_8_7.QuickChick: update to latest master

8 years ago

coqPackages.autosubst: fix hash

8 years ago

bignums: init at various versions

8 years ago

category-theory

coqPackages: move to a separate file and filter the package set

8 years ago

coqPackages.contribs.containers: fix url

8 years ago

coqPackages_8_4.coqExtLib: remove

8 years ago

coqPackages.coq-haskell: Update to add Hask.Ssr module

8 years ago

coqPackages_8_4.coquelicot: remove

8 years ago

coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7

8 years ago

coqPackages.equations: -> 1.0

8 years ago

coqPackages: move to a separate file and filter the package set

8 years ago

coqPackages.flocq: 2.5.2 -> 2.6.0

8 years ago

coqPackages.domains: new expression

11 years ago

coqPackages_8_4.interval: remove

8 years ago

coqPackages: move to a separate file and filter the package set

8 years ago

coqPackages_8_4.mathcomp: remove

8 years ago

coqPackages: move to a separate file and filter the package set

8 years ago

coqPackages.multinomials: init at 1.0

8 years ago

coqPackages.paco: 1.2.7 -> 1.2.8

8 years ago

coqPackages_8_4.ssreflect: remove

8 years ago

coqPackages.tlc: init at 20171206

8 years ago