pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
sparc64-linux-gnu-gprof
bzr
webspy
gsec
gifflip
mysqlmetagrep
ncidsip
draw-copypixels-sync
glx-destroycontext-2
pure-config.py
rkhunter
snake-machine
arm-none-eabi-ar
msp430-ar
cairo-dock-session
chirpw
db5.1_verify
deluge-console
power-usage-report
glance-manage
gnomeradio
r.quant
gtimer
indi_imager_agent
puic4
osgkeystone
dtos8cvt
socklog-check
synctex
gencfg