Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

trashroutes dbus-uuidgen mkfs.ext4dev makekdewidgets4 perldl pilot-xfer turbo_lanczos.x_mpich kwalify printcdb xine-bugreport msp430-gprof bosixnet_daemon setbrlkeys diet elaps odbcserver FreeFem++ hpmkdir hmmpgmd domain mpitask makejail tkmolrender oakdecode probabel pyside-rcc scaladoc dfg2ascii webgpg ConvertTSVToTraML