pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

avahi-dnsconfd xtensa-linux-gnu-readelf build-jim-ext tifficc ykneomgr cmpfillin g3cat caspol mpitests-osu_reduce tcpdump_to_db horde-sessions-gc s3tc-texsubimage wvWare aels msp430-objdump clang-format atsa ptexpire dose-debcheck v.net.salesman indigo-depict pirl melting starfire-diag comp olsrd-adhoc-setup easy_install-3.4 uclust swipl dzhandle

© loginroot.com, 2016