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/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
