Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

rlogin-cwd gnatxref h5stat implantisomd5 lxc-create ext_framebuffer_multisample-interpolation qtcreator_process_stub quotastats nnslog mips-linux-gnu-strip MC_HxEd dtc_kill_vps_disk fosrec x86_64-w64-mingw32-gcc-ar-win32 r.neighbors jocamlc.opt lamhalt dh_gtkmodules memcflush edusers osgversion oregano amin psurface-smooth qmidinet qmltestrunner rm sam2p MascotAdapterOnline crossword