/debian-ports/pool-x32/main/l/lhs2tex/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
lhs2tex-dbgsym_1.24-1+b1_x32.deb1.8 MiB01.10.2021 06:03
lhs2tex_1.24-1+b1_x32.buildinfo6.4 KiB01.10.2021 06:03
lhs2tex_1.24-1+b1_x32.deb5.9 MiB01.10.2021 06:03