pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
convert_image
cdbackup-gfortran
search
dawg
gfan
gl-auth-command
obminimize
genpmda
arb_transform_feedback2-istransformfeedback
watch
runxlrd
rspec
ax25_call
cqa-mass-tag
gkeytool-4.9
fsck.hfsplus
fsck.nfs
jardetector
lldb-gdbserver
llvm-symbolizer-3.5
obs-build
pinot-index
ploop-balloon
simsearch
package-installs
builddbm
rotter
cyclictest
protoc-gen-beefcake
science-physics