![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| lhs2tex_1.24-1build2.1_amd64.deb | 15-Sep-2021 14:41 | 882K |
| lhs2tex_1.22-2build3_amd64.deb | 08-Feb-2020 15:18 | 746K |
| lhs2tex_1.19-5_i386.deb | 06-Jun-2017 07:13 | 781K |
| lhs2tex_1.19-5_amd64.deb | 06-Jun-2017 07:13 | 781K |
| lhs2tex_1.19-2_i386.deb | 10-Dec-2015 12:35 | 762K |
| lhs2tex_1.19-2_amd64.deb | 10-Dec-2015 12:34 | 755K |
| lhs2tex_1.18.1-2_i386.deb | 27-May-2013 12:04 | 806K |
| lhs2tex_1.18.1-2_amd64.deb | 27-May-2013 12:33 | 839K |