| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| lhs2tex_1.18.1-2_amd64.deb | 843K | 15-Sep-2017 22:26 |
| lhs2tex_1.19-2_amd64.deb | 753K | 16-Aug-2017 13:32 |
| lhs2tex_1.19-5.debian.tar.xz | 6592 | 05-Jun-2017 22:41 |
| lhs2tex_1.19-5.dsc | 2047 | 05-Jun-2017 22:41 |
| lhs2tex_1.19-5_amd64.deb | 781K | 05-Jun-2017 23:11 |
| lhs2tex_1.19.orig.tar.gz | 643K | 29-Jun-2015 21:02 |