pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
gfal_testrw
rsvg
ncftpbookmarks
pgmtopbm
setup-nsssysinit.sh
shellinaboxd
lzmainfo
burn-configure
cgm
cryptmount
storage_classes
ebnupgrade
freefoam-Lambda2
headerthemeeditor
nwepgen
aria_dump_log
epic-diag
njplot
obgui
pulseview
gnatpython-mainloop
sequencer
racc2y
pgp-fixkey
build-release.sh
tclsh8.6
unison-2.40.102
universalindentgui
isfits
Zipper