Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bltk_get_lspci ceph-disk genkey fb_smp_server qresub lshw modinfo weak-modules mib2c fog-modes qmake asciidoctor-safe scotch_amk_fft2 midi2abc dh_installdirs icalfilter latexila llvm-stress misery docfdisk ngrok notangle rivet-chopbins fm2ps sreport texloganalyser atk6-fake_advertise6 vbtool flatboob wmacpi-cli