Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

dl_poly_gui ccomps resizecons .ipsec.hmac liebert-esp2 niReg copyteximage gunicorn_django qucstrans ufo pdfetex copyfs-daemon discover-modprobe raideng drbl-user-rm cwcompile x86_64-linux-gnu-gdc psclip extract_a52 gen-ctl-io gda-sql-5.0 go-show-paths-to-root moc rmm ml-lex.x86-linux mutter ca-revoke.py refdbnd sat xsil2graphics