Binary: coq-tex

kxterm clamav-unofficial-sigs.sh darkplaces-sdl fts_info_publisher gif2x11 g_tpbconv h5ls i2cdetect icecc-scheduler iodine ldnsd gmcs dbcoldefine projwfc.x bareos-dir vhd-index cookfp dh_installinfo patcil fbterm_ucimf fldiff fstminer run.pl eqn2eps amd64-mingw32msvc-c++filt perdition.imap4 rpcli sb2-session sitesummary-update-nagios upstart-file-bridge