Bug#516545: ITP: eprover -- The Equational Theorem Prover E
On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote:
I moved the package into the git repository:
and adapted the package for GIT.
I commited some changes (basically changed the Debian version of the package
to "-1" and moved the doc/examples to /usr/share/doc/eprover instead of the
doc directories of these packages. You might consider adding symlinks for
cosistency reasons - but users will look for the docs in /usr/share/doc/eprover
and if I'm not completely missleaded this is usual style of packaging (I did
not consulted the docs).
If you are happy with these changes I might upload in the next couple of days