| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| lhs2tex_1.24-1+b2_amd64.deb | 882368 | 2022-Sep-18 21:28 |
| lhs2tex_1.24-1.debian.tar.xz | 6808 | 2020-Jun-16 16:56 |
| lhs2tex_1.24-1.dsc | 2076 | 2020-Jun-16 16:56 |
| lhs2tex_1.24-1_amd64.deb | 865588 | 2020-Jun-16 17:42 |
| lhs2tex_1.24.orig.tar.gz | 775885 | 2020-Jun-16 16:56 |