pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
afpcmd
ceph_streamtest
autogsdoc
lxc-freeze
clog2_repair
g3topbm
opensipsunix
linguist-qt4
samba-regedit
saoimage
check-regexp
restorepalette
safe_finger
webcam
balsa
dh_clideps
git-obliterate
ipcluster3
testrb
mifare-desfire-info
dotlock.mailutils
mate-keybinding-properties
otrs.SetPassword.pl
replacekey
qmail-qstat
amk_fft2-long
vnc4server
winecfg-development
tv_grab_uk_bleb
vmmouse_detect