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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules /

at 18.09-beta 25 folders

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

7 years ago

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

8 years ago

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

7 years ago

Merge pull request #39469 from vbgl/coq-contribs-containers-8.8

7 years ago

coqPackages.bignums: make it available for Coq 8.8

7 years ago

category-theory

coqPackages.category-theory: revert "Add equations as a buildInput"

7 years ago

coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)

7 years ago

Merge branch 'master' into staging-next

7 years ago

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

7 years ago

treewide: Make configureFlags lists

7 years ago

coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8

7 years ago

coqPackages.equations: enable for Coq 8.8

7 years ago

coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27

7 years ago

coqPackages.flocq: 2.5.2 -> 2.6.0

8 years ago

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

7 years ago

Merge pull request #39469 from vbgl/coq-contribs-containers-8.8

7 years ago

coqPackages.iris: init at 3.1.0 (#40909)

7 years ago

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

8 years ago

pkgs/*: remove unreferenced function arguments

7 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

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

7 years ago

pkgs/*: remove unreferenced function arguments

7 years ago

coqPackages.stdpp: init at 1.1

7 years ago

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

7 years ago