]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/debian/control
* Abst removed from the DTD
[helm.git] / helm / helmpot / debian / control
1 Source: helmpot
2 Section: misc
3 Priority: optional
4 Maintainer: Stefano Zacchiroli <zack@debian.org>
5 Build-Depends: debhelper (>> 2.0.0), libgtkmathview-dev
6 Standards-Version: 3.5.2
7
8 Package: helmpot
9 Architecture: any
10 Depends: ${shlibs:Depends}
11 Description: A minimal browser for the HELM library.
12  'helmpot' is a minimal browser, in the form of a plug-out, for
13  browsing the HELM library (MathML presentation).
14