| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| lhs2tex_1.24-1_amd64.deb | 845.3 KiB | 2020-Jun-16 17:42 |
| lhs2tex_1.24-1_i386.deb | 857.4 KiB | 2020-Jun-16 18:58 |
| lhs2tex_1.24-1+b2_amd64.deb | 861.7 KiB | 2022-Sep-18 21:28 |
| lhs2tex_1.24-1+b2_i386.deb | 3.4 MiB | 2022-Sep-19 09:12 |