summary refs log tree commit diff
path: root/pkgs/development/coq-modules/tlc/default.nix
AgeCommit message (Expand)AuthorFilesLines
2023-06-06treewide: use use lib.optionalAttrs instead of 'then {}'Felix Buehler1-3/+1
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-4/+4
2022-06-13coqPackages.tlc: enable for Coq 8.16Vincent Laporte1-1/+1
2022-04-28coqPackages.tlc: 20210316 → 20211215Vincent Laporte1-0/+2
2021-04-25coqPackages.tlc: 20200328 → 20210316Vincent Laporte1-4/+10
2021-01-09coqPackages: refactorCyril Cohen1-32/+14
2020-07-17coqPackages.tlc: 20181116 → 20200328Vincent Laporte1-9/+23
2020-01-31coqPackages.tlc: disable for Coq > 8.10Vincent Laporte1-1/+1
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2019-04-24coqPackages.tlc: 20180316 -> 20181116Vincent Laporte1-2/+2
2018-05-22coqPackages.tlc: 20171206 -> 20180316 (#40927)Vincent Laporte1-2/+2
2017-12-28coqPackages.tlc: init at 20171206Vincent Laporte1-0/+27
2017-12-02coqPackages_8_4.tlc: removeVincent Laporte1-38/+0
2015-06-02coq-tlc: fix packageVincent Laporte1-0/+9
2015-04-30meta.description fixupsJoachim Fasting1-1/+1
2014-10-11coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley1-1/+1
2014-10-11coqPackages.tlc: new expressionJohn Wiegley1-0/+29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 04:10:50 +0000