pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

convert_image cdbackup-gfortran search dawg gfan gl-auth-command obminimize genpmda arb_transform_feedback2-istransformfeedback watch runxlrd rspec ax25_call cqa-mass-tag gkeytool-4.9 fsck.hfsplus fsck.nfs jardetector lldb-gdbserver llvm-symbolizer-3.5 obs-build pinot-index ploop-balloon simsearch package-installs builddbm rotter cyclictest protoc-gen-beefcake science-physics

© loginroot.com, 2016