pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
autoheader-2.13
c6x-linux-gnu-ld
byobu-enable
cabal-dev
dpns-modifyusrmap
createmodule.py
qrsub
ibstat
intltool-update
kmk_md5sum
pbmlife
ntfsresize
vmtoolsd
pcl_hdl_viewer_simple
ib_write_bw_postlist
fbo-generatemipmap-npot
glx-window-life
playmus
calibredb
ceph_test_rados_open_pools_parallel
jaspscan
prima-cfgmaint
wps2raw
macho-dump-3.5
lp-capture-bug-counts
rdisc6
nepomuksearch
ceilometer
xml2odf
SpectraFilterNormalizer