?package(matita):needs="X11" section="Applications/Science"\
title="Matita" \
longtitle="Matita interactive theorem prover" \
?package(matita):needs="X11" section="Applications/Science"\
title="Matita" \
longtitle="Matita interactive theorem prover" \