pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
fastanrdb
fbi
gstat-fb
gmtinfo
gpk-install-package-name
g_filter_d
ireset
kfourinline
mailgraph
mpitests-osu_gather
jx_openmpi
pawX11.dynamic-gfortran
tablify
fd_ifc.x_mpich
pwi2xsf.x
redland-db-upgrade
rlwrap
xrootd-3
bplay
cclib-get
cduce
eboard-config
lpc21isp
nccgen
tnameserv
pcl_openni_voxel_grid
rdfpipe
synce-serial-udev-remove
mkindex
xymond_rrd