pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matita

Debian packages that has this binary:

Package: matita

/usr/bin/matita

Random binary cloud:

migrate-ds.pl bltk_wl_player_make_binary dbus-monitor dps-config gfal_test_checksum capiinfo pbmtoptx dbrowcount glsl-fs-bug25902 sphinx-1.0-build grpconv qstat-torque tpm_setclearable reboot zarafa-autorespond bp_run_neighbor.pl freefoam-foamDataToFluent objscoll.o gbrowse_import_ucsc_db i686-w64-mingw32-gcc-win32 i.gensig imwheel klatexformula not-3.5 object.py opusdec matchers.py qemu-mips swish-search traceproto.db

© loginroot.com, 2016