Index of /debian/pool/main/l/lhs2tex

Icon  Name                         Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] lhs2tex_1.24-1+b2_amd64.deb 2022-09-18 23:28 862K [   ] lhs2tex_1.24.orig.tar.gz 2020-06-16 18:56 758K [   ] lhs2tex_1.24-1.debian.tar.xz 2020-06-16 18:56 6.6K [TXT] lhs2tex_1.24-1.dsc 2020-06-16 18:56 2.0K