pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
condor_advertise
edg-gridftp-exists
edg-gridftp-rename
tred
ksystraycmd
pwscore
LC_MESSAGES
isutf8
pmstore
igraph
fd_ifc.x_openmpi
plotrho.x_openmpi
rake-compiler
tcpprep
ardour3
yamcfg
arm-linux-gnueabihf-ld.bfd
asx8051
freefoam-md
x86_64-w64-mingw32-gcc-4.9-posix
oxygen-settings
omxregister-bellagio-0
unoapploader
gridftpd
q4wine
qmapshack
seqcons
cavern
synce-serial-abort-device
tryton-client