Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

wordview ps2pdf psscale twopi vgcfgrestore ppmtoneo node-supervisor ntfsundelete celeryd qml1plugindump zbackup zip bp_local_taxonomydb_query astribank_allow mk-build-deps av7110_loadkeys gjar-4.8 triangulate hpssd mbmon amd64-mingw32msvc-windmc ml-burg obexget ohcount dnamove qmailctl jsvnlook gcheck wrc zmakebas