pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

alternatives icu.ini sepolgen-ifgen idle sg_persist tm_matlab wsl xbacklight cdfprobe mat2dof cyclist inet_gethost dh_germinate_clean gpiv_mktestimg icegrid-gui send-uucp.pl virt-diff rqsh.gz M2VRequantiser mclpipeline vos javadoc pms bits.py lupdate scram_merge tos-serial-configure running-in-container vim.gtk winswitch_ssh_session

© loginroot.com, 2016