pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
dtinitconf
git-receive-pack
updateinfoxml2solv
mmg3d4
whiptail
semver
qdoc
rakgit2new
cleandb.sh
vigra-config
synclient
bp_flanks
mkpop3dcert
dacsemail
dmucs
i3-nagbar
jclicauthor
Newtonsoft.Json.xml
nodejs
pkcs11-dump
pilconvert
tntlogin
robocut
sim4
lv2_simple_jack_host
tlsdated
tracker-needle
ucspi-proxy-imap
unbound-host
xmobar