Index of /old/debian/pool/main/p/ptex-base/

../
jbibtex-base_2.5-2.1_all.deb                       24-Aug-2017 09:38               98826
ptex-base_2.5-2.1.diff.gz                          03-Oct-2017 12:02                5745
ptex-base_2.5-2.1.dsc                              03-Oct-2017 12:02                1708
ptex-base_2.5-2.1_all.deb                          24-Aug-2017 09:41             1757896
ptex-base_2.5.orig.tar.gz                          03-Oct-2017 08:26              396209