pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
erl.src
ethstatus
flow-send
fore2gmn
tvtk_doc
graphchk
nhlcc
arb_uniform_buffer_object-row-major
qmltestrunner
sg_sat_set_features
smoltGui
bsdl2jtag
lsusb
flatlo
ebook-edit
DBusCall
diodls
gcc-4.8
rm_text
git-release
kc++
reduce-font
comedi_board_info
gdcmtar
vpbconf
maillist
pdfpc
pngcheck
mcv-int64
dc_icon.gif