pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

strip hppa64-linux-gnu-strip xtensa-linux-gnu-c++filt cpufreq-aperf genbackupdata grdgradient guilt-repair icotool stream hydra_pmi_proxy pacemakerd gcov2perl dbcolstatscores gl-3.2-layered-rendering-gl-layer-not-layered convert_to_should_syntax purge fsfreeze aj5 tnameserv gnugk grub-kbdcomp fix_include kitenradselect letodms lgrep pmacct science-geometry scilab-adv-cli trash-list uim-dict-gtk3

© loginroot.com, 2016