Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

aarch64-linux-gnu-gprof classad_version euscale-put-scaling-policy fastaannotatecdna ghdl eqn ikiwiki-comment lfcdaemon lvchange myproxy-init net-snmp-config-x86_64 pbc_to_exe fdo28551 kid urxvt256c-ml showimage mini-inetd pdftexi2dvi iusql bp_aacomp dpm-rfiod xmlget emgrip start_sasl.boot faimond gri_unpage nm_agent Newtonsoft.Json.dll test_events.py wserv