Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

vdir euare-instanceprofileaddrole gpgv jcuber-config-frontend sendmail.opensmtpd sdbadmin linguist zerofree restoreconfig adplugdb camping ceph_test_rados_api_lock ccon dbus-send dialign-tx YUV444toRGB fgetty-login folks-import x86_64-w64-mingw32-gnatprep-win32 udp2file ApacheJMeter.jar tracefilter meterec-init-conf rip repl orbd pg_python.py sid2wav rtdServer uphpmvault