pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
score-linux-gnu-ranlib
cfv
thin_dump
dt-getrrset
fastasoftmask
psmeca
liveusb-creator
luarocks-admin
mdb-header
camlp4of
opendmarc-reports
pvdataserver_mpich
vbo-bufferdata
pth-config
calc
zone_tool~rvim
drbl-aoe-img-dump
fastx_collapser
freefoam-pdfPlot
normalize_roles.php
v.segment
list_admins
polygraph-beepmon
trancid
magnet-link
sikuli-ide
tea
atk6-fake_pim6
INIUpdater
init-checkconf