Vincent Laporte
|
52dfc053d0
|
coqPackages.tlc: 20210316 → 20211215
|
2 years ago |
|
Vincent Laporte
|
d4f48c8547
|
coqPackages.tlc: 20200328 → 20210316
|
3 years ago |
|
Cyril Cohen
|
9ffd16b385
|
coqPackages: refactor
|
4 years ago |
|
Vincent Laporte
|
5adadd1466
|
coqPackages.tlc: 20181116 → 20200328
|
4 years ago |
|
Vincent Laporte
|
fa709922f3
|
coqPackages.tlc: disable for Coq > 8.10
|
4 years ago |
|
Robin Gloster
|
2157dcd141
|
treewide: installFlags is a list
|
5 years ago |
|
Vincent Laporte
|
f61cadb624
|
coqPackages.tlc: 20180316 -> 20181116
|
5 years ago |
|
Vincent Laporte
|
042790832e
|
coqPackages.tlc: 20171206 -> 20180316 (#40927)
|
6 years ago |
|
Vincent Laporte
|
a9d066a990
|
coqPackages.tlc: init at 20171206
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.
Homepage: http://www.chargueraud.org/softs/tlc/
|
7 years ago |
|
Vincent Laporte
|
c1efbbab96
|
coqPackages_8_4.tlc: remove
|
7 years ago |
|
Vincent Laporte
|
d5a4c3d21d
|
coq-tlc: fix package
|
9 years ago |
|
Joachim Fasting
|
bf7ad2d84f
|
meta.description fixups
Mostly scripted substitutions with a couple of subjective enhancements.
|
9 years ago |
|
John Wiegley
|
904bee0c46
|
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
|
10 years ago |
|
John Wiegley
|
814961f37a
|
coqPackages.tlc: new expression
|
10 years ago |
