pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
cdiff
cgconfigparser
man2html
pamundice
extract_vba
pprof
sphinx-autogen
wbemdc
unhide_rb
callgrind_annotate
arora
blueman-applet
bbackupd
freefoam-applyWallFunctionBoundaryConditions
fusesmb.cache
gwenview_importer
ginstall-info
gts-config
lp-milestone2ical
mh_linkrepojar
ods-server
ewend
jwt3
qdacco
qemu-aarch64
qvfb
rainbow-gc
buildsearchdb
main.tex
widl