Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

mn10300-linux-gnu-strings ar rotctl kcarectl mmdblookup mtp11-format xfce4-kiosk-query libstdc++-6.dll sg_inq ctxtools tctmgr aide bumblebeed cangen debdelta dblook EDTSurf freefoam-PDR r.quantile v.lrs.create gravit rrd-client.pl.gz mewstunnel mgpembed palm2mhc yuvdeinterlace podracer pspresent xlassie xsec-xklient