pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
autoreconf268
arm-linux-gnu-nm
m68k-linux-gnu-gprof
arm-linux-gnu-gcc
hwloc-ps
icehelp
mingw32-make
nfs_cache_getent
fbo-generatemipmap-3d
qv4l2
razor-config
powerpc-linux-gnu-elfedit
Configurator.java
bowtie2
cook
patdiff
x_report
grub-floppy
linklint
mate-panel-test-applets
incm
unrpm
pip_stress
gcode_sectioncut
stressapptest
smd-translate
multibibliography
QCCalculator
xenstore-chmod
zxpdf