pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
ceph_test_filestore_idempotent
dspam_admin
globus-makefile-header
kdostartupconfig
ibv_uc_pingpong
pcl_poisson_reconstruction
ext_framebuffer_multisample-upsample
ptweens
reptyr
roundup-server
testdisk
po2tmx
userhelper
xfsmdiag
bogolexer-bdb
dar_static
dictfmt_index2suffix
ispell-wrapper
gfan_saturation
gmysqlcc
ipcheck
nvdecompress
mailexec
nekoc
p0f
predictnls
sift
rax2
rtl_fm
xnbd-wrapper-ctl