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
Andreas.
--
http://fam-tille.de
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
