|
Manifest
|
dev-tex/texlab: drop 5.12.1
|
2024-01-28 00:07:58 +02:00 |
|
metadata.xml
|
dev-tex/texlab: add wiki to metadata
|
2023-10-02 08:31:49 +03:00 |
|
texlab-5.12.2.ebuild
|
dev-tex/texlab: add 5.12.2
|
2024-01-20 12:52:28 +02:00 |
|
texlab-5.12.3.ebuild
|
dev-tex/texlab: add 5.12.3
|
2024-01-28 00:04:01 +02:00 |
