Bug#468557: what's the status of alt-ergo package?

[Timo Juhani Lindfors <timo.lindfors@iki.fi>]

Hi,

Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr> writes:
>>> [1] http://svn.debian.org/viewsvn/pkg-ocaml-maint/trunk/packages/ergo/
>> 
>
> You can find in [1] the source of package. And you can build it manually
> using :
>
> 	svn-buildpackage -us -uc -rfakeroot --svn-ignore

Ah, I didn't notice the orig.tar.gz was at

http://svn.debian.org/viewsvn/pkg-ocaml-maint/trunk/packages/ergo/tarballs/


> I'm afraid you will need a newest version (≥ 2.14) of Why.
> Why 2.15 will be uploaded (in experimental) soon ...

Ok, I can live with a symlink for now.

-Timo