pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matita

Debian packages that has this binary:

Package: matita

/usr/bin/matita

Random binary cloud:

eqsl ceph_rgw_jsonparser links glusterfsd qmake hp-info oggz-sort ucpp mpic++ syscall-counts-record lex_count abinit abiword cowdancer-ilistdump scot debian-edu-hwsetup kritagemini testMPEG2TransportStreamer lua50 orbit-name-server-2 ipmi_test slave1 van-pydeb qemu-sparc-static gem2.1 tree_recon gri909 prefield atk6-extract_networks6 esreport

© loginroot.com, 2016