pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
aarch64-linux-gnu-ranlib
powerpc64-linux-gnu-readelf
cube_part
hp-fab
webhttrack
cdda2ogg
ovz-install
kni_perfo
memcapable
rackup
syscall-counts-by-pid-record
sdcc-s51
tlp-pcilist
record
xdg-screensaver
img2simg
cccd
clinica
drumstick-dumpove
evemu-play
flowscan
gpx2osm
x86_64-linux-gnu-g++
hxmultitoc
mpg321
pyblosxom-cmd
sgfsplit
ssr-brs.nox
xspim
getpix