pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
aarch64-linux-gnu-ld
nice
dircolors
dfbtest_fillrect
fusion_call
dropwatch
heimdal-kadmin
iptunnel
dbfilealter
arb_texture_view-formats
plotproj.x_openmpi
bombardment
j2amidi_bridge
aeskulap
autokey-gtk
bucardo
cairo-perf-trace
concavity
install-ftp.sh
i686-w64-mingw32-c++-win32
rnews
jmeter
xml2marc
not-3.4
aliascheck
mate-network-admin-pkexec
parley
dpkg-ruby
sig2dot
swift-orphans