pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

setup-ds-admin.pl pef-config gifflip r.median cgget mcomp mmm_restore ext_framebuffer_multisample-sample-coverage pcp_stop_pgpool ftpasswd urxvt256c-mlc wbemri sg_get_lba_status lzcat citadel drbl-get-nfsserver gnome-tweak-tool goscience hppwd interpfilter rwtop-report llvm-ar tsinputswitch httpGate guidata-tests simulavr tvnamer vflpp msgcache ackinfo.cgi

© loginroot.com, 2016