pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

autoreconf-2.13 x86_64-linux-gnu-ar db43_deadlock dmenu_run libval-config-x86_64 git-strip-merge oracle lcm-logger wnck-urgency-monitor mpitests-osu_reduce sso-uniforms-02 carbon-cache sdcc-sdldz80 xkeycaps objdump pkg-ver-latest git-bug crywrap ipropd-slave heimdall-frontend hyphen_show mhn ad-context-server.pl php5-cgi parallel_identify_chimeric_seqs.py ryu PeakPickerWavelet tth unaccent xx-cvs-revcmp

© loginroot.com, 2016