Binary: matita

Debian packages that has this binary:

Package: matita

/usr/bin/matita

Random binary cloud:

getfacl mknod esc globus-url-copy ccmakedep ksu gtk-lshw analysis_example_openmpi niLicense chkhelp ext_timer_query-lifetime ase-build initial_state.x sg_get_config modula3_count uwsgi xkill arista-gtk ceph_multi_stress_watch cibsecret gdal_wkt_to_mask dr_unsort ganeti-wconfd obexls ocproxy pfsrotate proutes3 encode.py rc.pl IDFileConverter