pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
byobu-silent
foomatic-ppd-options
grib_count
g_rdf_d
cgcreate
mediainfo-qt
mingw32-make
i686-w64-mingw32-pkg-config
wsdl
opendmarc
pmprobe
glsl-arb-fragment-coord-conventions
recursion
syncqt.pl
twadmin
mkfs.cramfs
apertium-destxt
daisy-player
devilspie
dump-netlink
dh_girepository
splitfont
aria-demo
itkTestDriver
jsoncat
mighty-mkindex
mkc_check_header
pcapdump
sra-stat.2
xnbd-server