nixpkgs/pkgs/development/coq-modules/ at release-19.03 · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / coq-modules /

at release-19.03 38 folders

coqPackages.Cheerios: fix build

7 years ago

Merge pull request #37591 from vbgl/coq-88beta1

8 years ago

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

8 years ago

coqPackages.InfSeqExt: fix build

7 years ago

Revert "coq-modules: add default to fix eval"

7 years ago

coqPackages.StructTact: fix build

7 years ago

Revert "coq-modules: add default to fix eval"

7 years ago

coqPackages.Verdi: fix build

7 years ago

coqPackages.autosubst: fix build

7 years ago

coqPackages.bignums: enable for Coq version 8.9

7 years ago

category-theory

Revert "coq-modules: add default to fix eval"

7 years ago

coqPackages.contribs.zfc: enable for Coq 8.8

7 years ago

coqPackages_8_9.coq-ext-lib: init at 0.10.0

7 years ago

coq-extensible-records

coqPackages.coq-extensible-records: init at 1.2.0

7 years ago

Revert "coq-modules: add default to fix eval"

7 years ago

Revert "coq-modules: add default to fix eval"

7 years ago

coqPackages.coquelicot: 3.0.1 -> 3.0.2

7 years ago

coqPackages.corn: init at 8.8.1

7 years ago

Revert "coq-modules: add default to fix eval"

7 years ago

Revert "coq-modules: add default to fix eval"

7 years ago

coqPackages_8_5.fiat_HEAD: fix build

7 years ago

coqPackages.flocq: 3.0.0 -> 3.1.0

7 years ago

coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.

7 years ago

coqPackages.interval: 3.3.0 -> 3.4.0

7 years ago

coqPackages_8_9: disable a few packages that do not build

7 years ago

coqPackages.math-classes: 1.0.7 -> 8.8.1

7 years ago

Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect

7 years ago

mathcomp-analysis

coqPackages.mathcomp-analysis: enable for Coq 8.9

7 years ago

mathcomp-bigenough

coqPackages.mathcomp-analysis: enable for Coq 8.9

7 years ago

mathcomp-finmap

coqPackages.mathcomp-analysis: enable for Coq 8.9

7 years ago

coqPackages_8_9: disable a few packages that do not build

7 years ago

coqPackages.multinomials: init at 1.0

8 years ago

coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.

7 years ago

coqPackages.paramcoq: init at 1.1.1

7 years ago

coqPackages.simple-io: init at 0.2

7 years ago

Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect

7 years ago

coqPackages_8_9: disable a few packages that do not build

7 years ago

coqPackages.tlc: 20171206 -> 20180316 (#40927)

7 years ago