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

Re: Bug#516545: ITP: eprover -- The Equational Theorem Prover E



Hi Andreas,

I'm happy with the changes. Thanks for your help! If I have time I'll add the creation of the links into the repository tomorrow.

Best regards,

Petr

On Thursday 05 March 2009 18:57:28 Andreas Tille wrote:

> 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.


Reply to: