pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
fake-ghc-cabal-dev
nsdb-update-nci
g_wham_d
hp-firmware
inject
cert2ldap
nautilus-file-management-properties
showmount
certutil
xpce-client
prody
qhelpconverter-qt5
pogrep
wdread
pfc
x2y
bf_compact-sqlite
ontocount
avr-gcc-ranlib
g.pnmcomp
lldb-mi
i586-mingw32msvc-cpp
music123
noblenote
gp2c-run
phasex-convert-patch
zconfig_schema2html
gout-long
sextractor
macro8x