summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/paco
AgeCommit message (Expand)Author
2026-02-11rocqPackages.stdlib: 9.1.0 -> 9.2.0Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-03-13coqPackages.paco: 4.2.2 → 4.2.3Vincent Laporte
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2025-01-16coqPackages.paco: 4.2.0 → 4.2.2Vincent Laporte
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-01-26coqPackages_8_19.pacoPierre Roux
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-08-03coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte
2023-03-15coqPackages.paco: enable for Coq 8.17Vincent Laporte
2023-01-24Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang
2023-01-22treewide: replace http by https when https is a permanent redirectionFerry Jérémie
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-06-13coqPackages.paco: enable for Coq 8.16Vincent Laporte
2021-12-22coqPackages.paco: 4.1.1 → 4.1.2Vincent Laporte
2021-11-25coqPackages.paco: 4.0.2 -> 4.1.1Léo Stefanesco
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-01-09coqPackages: refactorCyril Cohen
2020-10-12coqPackages.paco: 4.0.0 → 4.0.2Vincent Laporte
2020-09-10coqPackages.paco: enable for Coq 8.12Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-04coqPackages.paco: enable for Coq 8.10 and 8.11Vincent Laporte
2019-11-08coqPackages.paco: 1.2.8 -> 4.0.0Valentin Robert
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-03-21coq: init at 8.8+beta1Vincent Laporte
2017-07-10coqPackages.paco: 1.2.7 -> 1.2.8John Wiegley
2015-04-30meta.description fixupsJoachim Fasting
2014-10-11coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 21:41:36 +0000