Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

avr32-linux-gnu-gprof tile-linux-gnu-gcc h4redeploy mkcover vboxcnvt glx-copy-sub-buffer system-config-kdump aide-attributes ao-elftohex bowtie2-align-l buffycli ocs-update-initrd degrep geiser-racket i686-w64-mingw32-gnatclean-win32 cmstat ircp-tray comdraw knewsd wbxml2xml SAXPrint luac5.1 i586-mingw32msvc-strings rmid osgconv seqan_mason hfind unsquashfs annotationViewer wily