pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
cpphs
genkrf
hp-linefeedcal
hwloc-ps
isdnconf
lcg-stmd
vgextend
ulimit.sh
upsmon
maxima_filter
pfni
netromd
objdump
btrfs-select-super
calibre
cdfgeostrophy
cricket-compile
diet
dh_germinate_clean
git-buildpackage
blockmean
latexdiff-fast
mipe2pcrprimers
pyxplot
rivet-mkhtml
rtl_sdr
rabema_build_gold_standard
masai_output_se
blkstat
ui