|
Manifest
|
dev-tex/texlab: add 5.13.0
|
2024-03-11 04:48:58 +02:00 |
|
metadata.xml
|
dev-tex/texlab: add wiki to metadata
|
2023-10-02 08:31:49 +03:00 |
|
texlab-5.12.4.ebuild
|
dev-tex/texlab: add 5.12.4
|
2024-02-23 19:18:41 +02:00 |
|
texlab-5.13.0.ebuild
|
dev-tex/texlab: add 5.13.0
|
2024-03-11 04:48:58 +02:00 |
