pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
arcstorage-ui
ld
isdnconf
x86_64-w64-mingw32-gcc-ar
mpitests-osu_allgatherv
ppmnorm
strip-json-comments
wakeup-latency-record
extlinux
tex4ht
logconv
aribas
dep3changelog
dwm.default
envify
ftangle
icewm-experimental
hmackeys
dzil
obus-gen-server
llvm-link
mosquitto_sub
photopc
postr
tiger-hash
ssplash
sunxi-bootinfo
devnag
gap
tv_grep