Index of /boss/pool/urja/non-free/p/ptex-jtex
Name
Last modified
Size
Description
Parent Directory
-
ptex-jtex_1.7+1-15.dsc
2022-04-28 13:41
1.0K
ptex-jtex_1.7+1-15.diff.gz
2022-04-28 13:41
8.3K
ptex-jtex_1.7+1-15_all.deb
2022-04-28 13:41
301K
ptex-jtex_1.7+1.orig.tar.gz
2022-04-28 13:41
3.6M