about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/paco
AgeCommit message (Expand)AuthorFilesLines
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+1
2023-08-03coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte1-0/+2
2023-03-15coqPackages.paco: enable for Coq 8.17Vincent Laporte1-1/+1
2023-01-24Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang1-3/+3
2023-01-22treewide: replace http by https when https is a permanent redirectionFerry Jérémie1-1/+1
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-06-13coqPackages.paco: enable for Coq 8.16Vincent Laporte1-1/+1
2021-12-22coqPackages.paco: 4.1.1 → 4.1.2Vincent Laporte1-1/+4
2021-11-25coqPackages.paco: 4.0.2 -> 4.1.1Léo Stefanesco1-1/+2
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann1-2/+2
2021-01-09coqPackages: refactorCyril Cohen1-46/+14
2020-10-12coqPackages.paco: 4.0.0 → 4.0.2Vincent Laporte1-4/+3
2020-09-10coqPackages.paco: enable for Coq 8.12Vincent Laporte1-0/+1
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-04coqPackages.paco: enable for Coq 8.10 and 8.11Vincent Laporte1-2/+4
2019-11-08coqPackages.paco: 1.2.8 -> 4.0.0Valentin Robert1-8/+31
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann1-1/+1
2018-03-21coq: init at 8.8+beta1Vincent Laporte1-0/+4
2017-07-10coqPackages.paco: 1.2.7 -> 1.2.8John Wiegley1-2/+2
2015-04-30meta.description fixupsJoachim Fasting1-1/+1
2014-10-11coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley1-0/+31
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 13:35:45 +0000