Bug#468557: what's the status of alt-ergo package?
>>
>> [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
> Also, do you know how I should configure the gwhy tool to show alt-ergo? At
> the moment I just had to resort to adding a symlink from ergo to
> alt-ergo.
I'm afraid you will need a newest version (≥ 2.14) of Why.
Why 2.15 will be uploaded (in experimental) soon ...
>
> -Timo
>
--
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
Reply to: