Hi,

Mehdi Dogguy <[EMAIL PROTECTED]> 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



--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to