about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/paco
Commit message (Expand)AuthorAge
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte2023-08-03
* coqPackages.paco: enable for Coq 8.17Vincent Laporte2023-03-15
* Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang2023-01-24
|\
| * treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* | treewide: replace http by https when https is a permanent redirectionFerry Jérémie2023-01-22
|/
* coqPackages.paco: enable for Coq 8.16Vincent Laporte2022-06-13
* coqPackages.paco: 4.1.1 → 4.1.2Vincent Laporte2021-12-22
* coqPackages.paco: 4.0.2 -> 4.1.1Léo Stefanesco2021-11-25
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.paco: 4.0.0 → 4.0.2Vincent Laporte2020-10-12
* coqPackages.paco: enable for Coq 8.12Vincent Laporte2020-09-10
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coqPackages.paco: enable for Coq 8.10 and 8.11Vincent Laporte2020-03-04
* coqPackages.paco: 1.2.8 -> 4.0.0Valentin Robert2019-11-08
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coqPackages.paco: 1.2.7 -> 1.2.8John Wiegley2017-07-10
* meta.description fixupsJoachim Fasting2015-04-30
* coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley2014-10-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-21 12:43:55 +0000