pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

autoconf-2.13 hppa64-linux-gnu-elfedit ceph-authtool chicken-install foomatic-fix-xml globus-fork-starter bovo akonadi_vcard_resource ib_read_bw ams sccs db5.1_stat dicod dhamma lit2epub eric5_webbrowser gcjh-4.8 r.fill.dir icegrid-gui kdevplatform_shell_environment.sh stag-drawtree svm-checkdata mate-font-viewer mpqcval ovs-appctl osgearth_demo mailsubj qmail-inject sbcenc atk6-exploit6

© loginroot.com, 2016