summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/tlc
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-07-23coqPackages: Enable override with dev branches (#329356)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2023-06-06treewide: use use lib.optionalAttrs instead of 'then {}'Felix Buehler
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-06-13coqPackages.tlc: enable for Coq 8.16Vincent Laporte
2022-04-28coqPackages.tlc: 20210316 → 20211215Vincent Laporte
2021-04-25coqPackages.tlc: 20200328 → 20210316Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-07-17coqPackages.tlc: 20181116 → 20200328Vincent Laporte
2020-01-31coqPackages.tlc: disable for Coq > 8.10Vincent Laporte
2019-12-30treewide: installFlags is a listRobin Gloster
2019-04-24coqPackages.tlc: 20180316 -> 20181116Vincent Laporte
2018-05-22coqPackages.tlc: 20171206 -> 20180316 (#40927)Vincent Laporte
2017-12-28coqPackages.tlc: init at 20171206Vincent Laporte
2017-12-02coqPackages_8_4.tlc: removeVincent Laporte
2015-06-02coq-tlc: fix packageVincent Laporte
2015-04-30meta.description fixupsJoachim Fasting
2014-10-11coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley
2014-10-11coqPackages.tlc: new expressionJohn Wiegley
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 02:03:44 +0000