pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

ia64-linux-gnu-ranlib objcopy mk-query-advisor rpc.svcgssd makedb sqlt-diagram integer-errors autospec lzmadec ypset ld fillImageDB tagpending dcentvfy dispcalGUI-curve-viewer e2freefrag electrum fm check_urdf pof7 museeq myproxy-server multi.html test_multi.py qemu-alpha fls ot2kpx untex otl2docbook xentop

© loginroot.com, 2016