Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

objcopy ami_slab cpatterson codemod fail2ban-testcases ftdump gl-compile-conf opj2dat phc2sys mpitests-osu_scatterv vxi11-cli clunfslock regdiff shar collink cdflinreg reconstruct dxfsphere parse_net_conf freefoam-mhd x86_64-pc-linux-gnu-gcc-default64 ifp inetutils-ftp latfilter mpstore osgspotlight feedvalidator update-inetd slonik_drop_table texliveonfly