Index of /debian-ports/pool-x32/main/s/src2tex/

Name	Size	Date
📁 ../	-	-
📄 src2tex-dbgsym_2.12h-11_x32.deb	112716 bytes	2025-05-17 00:03:04
📄 src2tex_2.12h-11_x32.buildinfo	5625 bytes	2025-05-17 00:03:04
📄 src2tex_2.12h-11_x32.deb	244504 bytes	2025-05-17 00:03:04