summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Collapse)AuthorAge
* coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte2018-06-01
|
* coqPackages.tlc: 20171206 -> 20180316 (#40927)Vincent Laporte2018-05-22
|
* coqPackages.iris: init at 3.1.0 (#40909)Vincent Laporte2018-05-22
|
* coqPackages.stdpp: init at 1.1Vincent Laporte2018-05-15
|
* coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8Vincent Laporte2018-05-09
|
* Merge pull request #39469 from vbgl/coq-contribs-containers-8.8Matthew Justin Bauer2018-05-01
|\ | | | | coqPackages.contribs.containers: make available for Coq 8.8
| * coqPackages.contribs.containers: make available for Coq 8.8Vincent Laporte2018-04-25
| |
* | coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte2018-05-01
|/
* coqPackages.bignums: make it available for Coq 8.8Vincent Laporte2018-03-27
|
* Merge pull request #37591 from vbgl/coq-88beta1John Wiegley2018-03-23
|\ | | | | coq: init at 8.8+beta1
| * coq: init at 8.8+beta1Vincent Laporte2018-03-21
| |
* | coqPackages.contribs.containers: make available for Coq 8.7Vincent Laporte2018-03-21
|/
* coqPackages.bignums: Change expression to match other Coq packagesJohn Wiegley2018-03-06
| | | | | Without this change, it's impossible to override bignums, or ignore it when creating custom datasets for other versions of Coq (such as 8.8+alpha).
* coqPackages.QuickChick: use fetchFromGitHubJohn Wiegley2018-03-06
|
* coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27John Wiegley2018-03-05
|
* coqPackages.tlc: init at 20171206Vincent Laporte2017-12-28
| | | | | | | TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/
* coqPackages.contribs.containers: fix urlVincent Laporte2017-12-22
|
* coqPackages.contribs: new set with all packages from coq-contribsJohn Wiegley2017-12-21
|
* coqPackages.equations: -> 1.0John Wiegley2017-12-21
|
* coqPackages.multinomials: init at 1.0Vincent Laporte2017-12-18
|
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-18
|
* coqPackages.coq-haskell: Update to add Hask.Ssr moduleJohn Wiegley2017-12-15
|
* coqPackages.category-theory: New expressionJohn Wiegley2017-12-14
|
* coqPackages.coq-haskell: New expressionJohn Wiegley2017-12-14
|
* coqPackages_8_7.QuickChick: update to latest masterJohn Wiegley2017-12-12
|
* coqPackages_8_4.contribs: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.ynot: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.unimath: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.tlc: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.ssreflect: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.QuickChick: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.mathcomp: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.interval: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.fiat: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.domains: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.coquelicot: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.coqeal: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.coqExtLib: removeVincent Laporte2017-12-02
|
* coqPackages_8_4.bedrock: removeVincent Laporte2017-12-02
|
* coqPackages.interval: make bignums optional and propagatedVincent Laporte2017-11-13
|
* coqPackages.interval: Add bignums, now a required dependencyJohn Wiegley2017-11-12
|
* coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7John Wiegley2017-11-12
|
* coqPackages.metalib: New expressionJohn Wiegley2017-11-12
|
* Add missing default.nix for coqPackages.equationsJohn Wiegley2017-11-12
|
* coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley2017-11-12
|
* coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7John Wiegley2017-11-12
|
* coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7John Wiegley2017-11-12
|
* coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7John Wiegley2017-11-11
|
* Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"Tim Steinbach2017-11-07
|
* coqPackages.ssreflect: 1.6.1 -> 1.6.4Maxime Dénès2017-11-07
|
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 14:37:23 +0000