summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
Commit message (Expand)AuthorAge
* mkCoqPackages: look for “dontFilter” in coq derivationVincent Laporte2018-11-04
* coq_8_9: init at 8.9+beta1Théo Zimmermann2018-11-04
* coq_8_4: removeJörg Thalheim2018-10-30
* coqPackages.Velisarios: New expressionJohn Wiegley2018-10-23
* camlp5_transitional: remove in favor of camlp5 (strict)Théo Zimmermann2018-10-10
* ocamlPackages_3_11_2: removeThéo Zimmermann2018-10-08
* coqPackages.coqprime: init at 8.7.2 & 8.8Vincent Laporte2018-10-01
* coq: 8.8.1 -> 8.8.2 (#47388)Vincent Laporte2018-09-26
* coq_8_6: use OCaml 4.05Vincent Laporte2018-08-29
* coq_8_5: use OCaml 4.05Vincent Laporte2018-08-29
* coq: default to version 8.8Vincent Laporte2018-08-13
* coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann2018-06-29
* coqPackages.iris: init at 3.1.0 (#40909)Vincent Laporte2018-05-22
* coqPackages.stdpp: init at 1.1Vincent Laporte2018-05-15
* coq: 8.8+beta1 -> 8.8.0Vincent Laporte2018-04-18
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coq: 8.7.1 -> 8.7.2John Wiegley2018-02-15
* coq: default to 8.7Vincent Laporte2018-02-07
* coqPackages.tlc: init at 20171206Vincent Laporte2017-12-28
* coqPackages.contribs: recurse into the nested setVincent Laporte2017-12-22
* coqPackages.contribs: new set with all packages from coq-contribsJohn Wiegley2017-12-21
* Specify the coq version in a more consistent locationJohn Wiegley2017-12-21
* coqPackages.multinomials: init at 1.0Vincent Laporte2017-12-18
* coq: minor cleaningVincent Laporte2017-12-18
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-18
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-18 11:59:32 +0000