pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

abrt-action-generate-core-backtrace atq objcopy arm-linux-gnu-size sha512sum drat mann glite-lb-setup kexec ocaml-bdump unshare db2bak-online h8300-hitachi-coff-readelf as rpc.bootparamd colorinterpolate printsextract doozer klist.heimdal jack-udp mapnik-plugin-base mia-3dserial-nonrigid winbond-diag olwm-x-window-manager ocp mountinfo f2py3.4 usrp_n2xx_simple_net_burner gnudoit.xemacs21 xx-svn-review

© loginroot.com, 2016