Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
lhs2tex_1.22.orig.tar.gz | 2018-09-30 11:04 | 664K | ||
lhs2tex_1.22-2_amd64.deb | 2018-10-02 04:26 | 762K | ||
lhs2tex_1.24.orig.tar.gz | 2020-06-16 16:56 | 758K | ||
lhs2tex_1.24-1_amd64.deb | 2020-06-16 17:42 | 845K | ||
lhs2tex_1.24-1+b2_amd64.deb | 2022-09-18 21:28 | 862K | ||
lhs2tex_1.24-1+b1_riscv64.deb | 2024-01-29 20:24 | 3.4M | ||