pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
eulb-detach-lb-from-subnets
runhaskell-ghc
lefty
g_polystat
setkey
md-mx-ctrl
myisam_ftdump
night_pointer
pnuke
pw_export.x_openmpi
ts_print_raw
unzoo
lzdiff
atmsigd
ceph-monstore-tool
score_conservation
darktable-cltest
dwdiff
ifpc-2.6.4
grace-thumbnailer
gupnp-dlna-ls-profiles
ircp-tray
las2ogr
grid-matching
mrtg-ip-acct
fitch
dns_server_test
network
tones
xoscope