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-1.debian.tar.xz 2020-06-16 18:56  6.6K  
[TXT] lhs2tex_1.24-1.dsc           2020-06-16 18:56  2.0K  
[   ] lhs2tex_1.24.orig.tar.gz     2020-06-16 18:56  758K