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:
> 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.
>  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