Binary: ptex2tex

Debian packages that has this binary:

Package: ptex2tex

/usr/bin/ptex2tex

Random binary cloud:

amadmin ccmake28 ConicProj msgexec twopi akonadi_birthdays_resource tandem2pin shp2pgsql-gui preprocess-2.6 bloom-export-upstream rpc.rquotad smbget binstats objdump ceph_test_rados_watch_notify downtime dvbackup freefoam-sample rnews modplugplay megablast ovs-vswitchd pma-secure pkascii2ogr postal-list pg_controldata powerline-lint storeBackupConvertBackup ebong src2def