pkgs.loginroot.com
Home
Packages
Binaries
Binary: matita
Debian packages that has this binary:
Package:
matita
/usr/bin/matita
Random binary cloud:
exim_dumpdb
gawk
kaffeine
kdeasciiquarium.kss
rsvg-convert
lvcreate
mo-inline
pdbedit
playwave
sems-sbc-reload-profile
mini-inetd
tuboexec
create-cpmdb
debdiff
git-alias
gmttrack
grub-mkconfig
hasciicam
buffchan
lightspeed
makedatprog
tracks2vtk
nap
rimraf
pcl_manual_registration
hitc
qemuctl
bands_FS.x
spatialite_network
uim-im-switcher-qt4