Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

ld.bfd ami_slab cube_diff update-gio-modules gnuplot-wx g_editconf_d jnettop nnalg s3put newaliases.sendmail spacenavd tcucodec xfs_io vsyasm rose_call courierpassd sieved dcmpsrcv dh_di_kernel_gencontrol dispcalGUI-curve-viewer dms_prepare_bind_data freefoam-redistributeMeshPar gnupod_convert_MIDI vboxmail ncpus Microsoft.Build.Core.xsd mpeg3peek pt-find condredirect ragg2-cc