[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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:

Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git

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



Reply to: