summary refs log tree commit diff
path: root/pkgs/development/coq-modules/equations
Commit message (Expand)AuthorAge
* treewide: installFlags is a listRobin Gloster2019-12-30
* treewide: remove redundant quotesvolth2019-09-08
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.equations: 1.2beta2 -> 1.2 (#65281)Vincent Laporte2019-07-23
* updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen2019-05-23
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-01
* coqPackages.equations: 1.2-beta-8.9 for coq_8_9John Wiegley2019-01-31
* coq-modules: add default to fix evalMatthew Bauer2019-01-28
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* coqPackages.equations: enable for Coq 8.8Vincent Laporte2018-07-08
* coqPackages.equations: Add support for Coq 8.8John Wiegley2018-07-05
* coqPackages.equations: -> 1.0John Wiegley2017-12-21
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-18
* Add missing default.nix for coqPackages.equationsJohn Wiegley2017-11-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-09 14:13:50 +0000