Binary: matita

Debian packages that has this binary:

Package: matita

/usr/bin/matita

Random binary cloud:

autoupdate268 MagneticField gfs-gfork-master iodbc-config pswhite pawX11.dynamic vbo-subdata-sync pbm2ppa seqtk stoken-gui gftopk aa-easyprof arm-linux-gnueabihf-dwp cgminer-api cpm YUV422ItoYUV420I freefoam-mdInitialise clang++-libc++ dbs_printtab cat_nvram omegat DicomSRValidator procmeter3-log sb2-show tsplash tcptrace gtf_to_fasta tralics wammu-configure qvideoob