Bug#468557: what's the status of alt-ergo package?
Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr> 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
Reply to: