Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

ranlib GenPatchPcdTable ffbatterymon nsdb-remove-nci gmimeuudecode gtkdoc-check mpicc gamatronic zf gl-3.2-clear-no-buffers watch qmlviewer-qt5 eventlogadm ttf2pt1 wmmenugen ypserv agda apt-mirror mcs2h chronicle-rss-importer ifpc-2.6.4 gattrib sm nadoka chardet3 bsp_virtual filter_otus_by_sample.py rpld-listq tsplash vzdqcheck