index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
/
tlc
Commit message (
Expand
)
Author
Age
*
treewide: use use lib.optionalAttrs instead of 'then {}'
Felix Buehler
2023-06-06
*
treewide: remove global with lib; statements in pkgs/coq-modules
Shawn8901
2023-01-21
*
coqPackages.tlc: enable for Coq 8.16
Vincent Laporte
2022-06-13
*
coqPackages.tlc: 20210316 → 20211215
Vincent Laporte
2022-04-28
*
coqPackages.tlc: 20200328 → 20210316
Vincent Laporte
2021-04-25
*
coqPackages: refactor
Cyril Cohen
2021-01-09
*
coqPackages.tlc: 20181116 → 20200328
Vincent Laporte
2020-07-17
*
coqPackages.tlc: disable for Coq > 8.10
Vincent Laporte
2020-01-31
*
treewide: installFlags is a list
Robin Gloster
2019-12-30
*
coqPackages.tlc: 20180316 -> 20181116
Vincent Laporte
2019-04-24
*
coqPackages.tlc: 20171206 -> 20180316 (#40927)
Vincent Laporte
2018-05-22
*
coqPackages.tlc: init at 20171206
Vincent Laporte
2017-12-28
*
coqPackages_8_4.tlc: remove
Vincent Laporte
2017-12-02
*
coq-tlc: fix package
Vincent Laporte
2015-06-02
*
meta.description fixups
Joachim Fasting
2015-04-30
*
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
John Wiegley
2014-10-11
*
coqPackages.tlc: new expression
John Wiegley
2014-10-11