pkgs.loginroot.com
Home
Packages
Binaries
Binary: matita.opt
Debian packages that has this binary:
Package:
matita
/usr/bin/matita.opt
Random binary cloud:
ar
cht
xclips-color
disktype
florence
powerpc64-linux-gnu-cpp
gclose
otf2-config
pod2latex
arb_draw_indirect-draw-elements-prim-restart-ugly
glsl-fs-textureenvcolor-statechange
shpcreate
mktexpk
eric5_pluginuninstall
felix.jar
loginfo-handler
kphotoalbum
setupnash
mkc_which
mpgtx
osgtexture1D
zjsdecode
prxs
psignifit
dgscat-int32
config-fast
wcat
split_stl
vnc4server
vbcfx