pkgs.loginroot.com
Home
Packages
Binaries
Binary: matita
Debian packages that has this binary:
Package:
matita
/usr/bin/matita
Random binary cloud:
abrt-harvest-vmcore
pbind
faxstat
svm-predict
unmunge
ogdi_info
pcscd
wannier_ham.x
sing
tpm_version
affdiskprint
ucsc_snp2gff.pl
easychem
kswarm.kss
countperl
wps2raw
light-locker
bugpoint-3.4
mh_patchpom
drmm
flash_unlock
java
service_started_daemon
pegasus-plots
ptscotch_esmumps-int32
prancid
recinf
io.pl
texdef
TrimmomaticPE