Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

alpha-linux-gnu-ld.bfd m32r-linux-gnu-nm berkeley_db43_svc ebtables-save euca-bundle-instance tsql gdal-config-32 pamdepth ifdhandler OpticalConductivityMain_mpich rec_control rtags makemat pv_export debirf fadecut ganeti-rapi akonadi_kdeaccounts_resource gio-querymodules log4shib-config loki_ext yuvscaler restdist poeditor py_xls2html sic sb_filter wfst_build rcexplain.2 SpectraFilterNormalizer