Directory: /debian-ports/pool-ia64/main/s/src2tex/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
src2tex_2.12h-9_ia64.deb	423.4 KiB	2018-Jan-11 02:03
src2tex_2.12h-9_ia64.buildinfo	4.0 KiB	2018-Jan-11 02:03