Mehdi Dogguy <[EMAIL PROTECTED]> writes: > My "more official" packaging is already available in the svn repository. > You can check it at: > > http://svn.debian.org/viewsvn/pkg-ocaml-maint/trunk/packages/ergo/
Thanks. > By the way, we are in freeze status ... I don't think I can upload it > soon. I'll upload it in experimental when it will be ready. > > [1] http://debian.dogguy.org/ This has only binary packages, do you have source package repository somewhere too? I'd like to apt-get --build source this on amd64. 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. -Timo -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
