pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

cryptsetup-reencrypt ipmi-dcmi update-gdk-pixbuf-loaders mediainfo texredefine vp-address-01 designer-qt4 wbemai wbemecn tm_mupad_help imapd valgrind 6tunnel canlogserver ecaccess-ectrans-restart flrig gespeaker gnulib-tool grub-mkimage larsclock magicfilterconfig mkc_check_compiler mklibs vortex-diag qreceipt alt_getopt samba_dnsupdate sak sb_chkopts ttproclist

© loginroot.com, 2016