>>
>> [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/
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
