pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

openrisc-linux-gnu-ranlib csscompress euca-download-bundle grid-mapfile-delete-entry fsview mpirun.ch_gen2 esvalidate.js dbicadmin arb_transform_feedback2-istransformfeedback qhalf recode pdf_callbacks sabayon icon_append_index wnntouch x86_64-linux-gnu-gcc-nm-4.9 xgpsspeed jvim prima-gencls lostirc maria-vis mia-2dimagefullstats amd64-mingw32msvc-dlltool pg_updatedicts python2.7-pyrexc roarradio saga_cmd process_keys sngetd webcheck

© loginroot.com, 2016