about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2018-03-23Merge pull request #37591 from vbgl/coq-88beta1John Wiegley13-13/+58
2018-03-21coq: init at 8.8+beta1Vincent Laporte13-13/+58
2018-03-21coqPackages.contribs.containers: make available for Coq 8.7Vincent Laporte1-5/+12
2018-03-06coqPackages.bignums: Change expression to match other Coq packagesJohn Wiegley1-16/+16
2018-03-06coqPackages.QuickChick: use fetchFromGitHubJohn Wiegley1-3/+4
2018-03-05coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27John Wiegley1-7/+8
2017-12-28coqPackages.tlc: init at 20171206Vincent Laporte1-0/+27
2017-12-22coqPackages.contribs.containers: fix urlVincent Laporte1-4/+4
2017-12-21coqPackages.contribs: new set with all packages from coq-contribsJohn Wiegley1-0/+1019
2017-12-21coqPackages.equations: -> 1.0John Wiegley1-6/+6
2017-12-18coqPackages.multinomials: init at 1.0Vincent Laporte1-0/+28
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte7-19/+35
2017-12-15coqPackages.coq-haskell: Update to add Hask.Ssr moduleJohn Wiegley1-11/+11
2017-12-14coqPackages.category-theory: New expressionJohn Wiegley1-0/+45
2017-12-14coqPackages.coq-haskell: New expressionJohn Wiegley1-0/+51
2017-12-12coqPackages_8_7.QuickChick: update to latest masterJohn Wiegley1-3/+3
2017-12-02coqPackages_8_4.contribs: removeVincent Laporte3-454/+0
2017-12-02coqPackages_8_4.ynot: removeVincent Laporte1-32/+0
2017-12-02coqPackages_8_4.unimath: removeVincent Laporte1-26/+0
2017-12-02coqPackages_8_4.tlc: removeVincent Laporte1-38/+0
2017-12-02coqPackages_8_4.ssreflect: removeVincent Laporte1-6/+0
2017-12-02coqPackages_8_4.QuickChick: removeVincent Laporte1-6/+0
2017-12-02coqPackages_8_4.mathcomp: removeVincent Laporte1-6/+0
2017-12-02coqPackages_8_4.interval: removeVincent Laporte1-15/+3
2017-12-02coqPackages_8_4.fiat: removeVincent Laporte1-41/+0
2017-12-02coqPackages_8_4.domains: removeVincent Laporte2-835/+0
2017-12-02coqPackages_8_4.coquelicot: removeVincent Laporte1-19/+3
2017-12-02coqPackages_8_4.coqeal: removeVincent Laporte1-33/+0
2017-12-02coqPackages_8_4.coqExtLib: removeVincent Laporte1-1/+0
2017-12-02coqPackages_8_4.bedrock: removeVincent Laporte1-39/+0
2017-11-13coqPackages.interval: make bignums optional and propagatedVincent Laporte1-3/+4
2017-11-12coqPackages.interval: Add bignums, now a required dependencyJohn Wiegley1-2/+2
2017-11-12coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7John Wiegley1-6/+6
2017-11-12coqPackages.metalib: New expressionJohn Wiegley1-0/+53
2017-11-12Add missing default.nix for coqPackages.equationsJohn Wiegley1-0/+45
2017-11-12coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley1-6/+14
2017-11-12coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7John Wiegley1-4/+26
2017-11-12coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7John Wiegley1-1/+6
2017-11-11coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7John Wiegley1-4/+26
2017-11-07Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"Tim Steinbach2-6/+6
2017-11-07coqPackages.ssreflect: 1.6.1 -> 1.6.4Maxime Dénès1-3/+3
2017-11-07coqPackages.mathcomp: 1.6.1 -> 1.6.4Maxime Dénès1-3/+3
2017-11-05coqPackages.math-classes: 1.0.6 -> 1.0.7Théo Zimmermann1-14/+15
2017-11-05bignums: init at various versionsThéo Zimmermann1-0/+38
2017-10-30coqPackages.dpdgraph: remove support for coq 8.7Maxime Dénès1-5/+0
2017-10-26Merge pull request #30708 from maximedenes/fix-quickchickJohn Wiegley1-5/+0
2017-10-23coqPackages.QuickChick: remove support for coq 8.7Maxime Dénès1-5/+0
2017-10-22coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6Vincent Laporte1-0/+1
2017-10-22coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley4-0/+13
2017-10-18coqPackages.flocq: 2.5.2 -> 2.6.0Vincent Laporte1-3/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 19:46:46 +0000