about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2018-08-13Merge branch 'master' into staging-nextVladimír Čunát1-1/+2
2018-08-08coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}Vincent Laporte1-1/+2
2018-08-03treewide: Make configureFlags listsJohn Ericson1-1/+1
2018-07-28coqPackages.category-theory: revert "Add equations as a buildInput"Peter Simons1-1/+1
2018-07-27coqPackages.category-theory: Add equations as a buildInputJohn Wiegley1-1/+1
2018-07-27coqPackages.category-theory: Update to Git version as of 20180709John Wiegley1-6/+6
2018-07-21pkgs/*: remove unreferenced function argumentsvolth2-2/+2
2018-07-08coqPackages.equations: enable for Coq 8.8Vincent Laporte1-7/+7
2018-07-05coqPackages.equations: Add support for Coq 8.8John Wiegley1-0/+6
2018-06-01coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte1-5/+12
2018-05-22coqPackages.tlc: 20171206 -> 20180316 (#40927)Vincent Laporte1-2/+2
2018-05-22coqPackages.iris: init at 3.1.0 (#40909)Vincent Laporte1-0/+30
2018-05-15coqPackages.stdpp: init at 1.1Vincent Laporte1-0/+28
2018-05-09coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8Vincent Laporte1-0/+5
2018-05-01Merge pull request #39469 from vbgl/coq-contribs-containers-8.8Matthew Justin Bauer1-1/+6
2018-05-01coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte7-33/+41
2018-04-25coqPackages.contribs.containers: make available for Coq 8.8Vincent Laporte1-1/+6
2018-03-27coqPackages.bignums: make it available for Coq 8.8Vincent Laporte1-3/+4
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-22 18:45:28 +0000