Bug#468557: what's the status of alt-ergo package?
Timo Juhani Lindfors a écrit :
> Hi,
>
> what's the status of this package? I need to use it myself so I
> started to create a simple package for my own use. Is your "more
> official" packaging already available somewhere?
>
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/
Actually, I was waiting for the authors to correct some glitches in
their tarball. Some of them have been fixed in 0.8. Other issues conern
licencing. The COPYING file still referes to "The ergo verifier" but
ergo doesn't exit anymore (Actually, it's a registered trademark). So,
it should be "The alt-ergo verifier". I prefer to check that more
closely before upload ... even if it seems ridiculous.
I updated the repository and made the built package available[1] for
you. But the version 0.8 do not compile ... there is a missing file
"version.sh.in". I could live without it but still, the configure
doesn't work properly without it. It will work perfectly if you do:
./configure || true
But, as you can imagine, this will never happen in a package :)
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/
--
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
Reply to: