summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflectJörg Thalheim2018-11-06
|\
| * coqPackages.ssreflect: inherit mathcomp's source/meta attributesJörg Thalheim2018-11-06
| * coqPackages.mathcomp: use fetchFromGitHubJörg Thalheim2018-11-06
| * coqPackages.ssreflect: refactor choice of source versionThéo Zimmermann2018-11-05
* | coqPackages_8_5.fiat_HEAD: fix buildVincent Laporte2018-11-06
|/
* coqPackages.autosubst: fix buildVincent Laporte2018-11-05
* coqPackages.ssreflect: refactorVincent Laporte2018-11-04
* coqPackages.mathcomp: refactorVincent Laporte2018-11-04
* coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte2018-11-02
* coqPackages.category-theory: fix buildVincent Laporte2018-10-24
* coqPackages.Velisarios: New expressionJohn Wiegley2018-10-23
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"John Wiegley2018-10-10
* Merge pull request #47589 from vbgl/coq-coqprime-initMatthew Bauer2018-10-05
|\
| * coqPackages.coqprime: init at 8.7.2 & 8.8Vincent Laporte2018-10-01
* | coqPackages.coq-haskell: Support building with Coq 8.8John Wiegley2018-10-04
|/
* treewide: Use http/https for homepagesJanne Heß2018-09-08
* Merge branch 'master' into staging-nextVladimír Čunát2018-08-13
|\
| * coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}Vincent Laporte2018-08-08
* | treewide: Make configureFlags listsJohn Ericson2018-08-03
|/
* coqPackages.category-theory: revert "Add equations as a buildInput"Peter Simons2018-07-28
* coqPackages.category-theory: Add equations as a buildInputJohn Wiegley2018-07-27
* coqPackages.category-theory: Update to Git version as of 20180709John Wiegley2018-07-27
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* coqPackages.equations: enable for Coq 8.8Vincent Laporte2018-07-08
* coqPackages.equations: Add support for Coq 8.8John Wiegley2018-07-05
* 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.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+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
* 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
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-24 19:52:26 +0000