Package: matita-standard-library
Architecture: all
-Recommends: matita
Depends: matita (= ${binary:Version})
Description: standard library for the Matita interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of