alt-ergo_0.8-1_i386.changes uploaded successfully to localhost
along with the files:
alt-ergo_0.8-1.dsc
alt-ergo_0.8.orig.tar.gz
alt-ergo_0.8-1.diff.gz
alt-ergo_0.8-1_i386.deb
Greetings,
Your Debian queue daemon
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debia
(new) alt-ergo_0.8-1.diff.gz optional math
(new) alt-ergo_0.8-1.dsc optional math
(new) alt-ergo_0.8-1_i386.deb optional math
Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover dedicated to program verification.
Alt-Ergo is based on CC(X) a congruen
Evgeni Golov a écrit :
>> BTW, there are many things that shouldn't be in the .orig.tar.gz (such
>> as CVS directories, for a start)... For future releases, it might be
>> relevant to repackage the upstream tarball.
>
> Yupp, but thats a different issue, not relevant here and now :)
Sorry for the
George Danchev a écrit :
> I strongly believe that removing 0.9.8.5-3-3 from both lenny and sid is the
> way to go, since such a insane package as have been put together should have
> never been uploaded to the archive in the first place [1]. Then prepare a new
> and fixed package (sane orig.tar
Hi,
I am a very new packager for Mandriva, and discovered that one can package for
Mandriva even if he's not a Mandriva user because there are test machines on
which we can log on through ssh to do the tests and submit the package.
So my question is
is it possible too to become a Debian packager
Florent Monnier a écrit :
> I am a very new packager for Mandriva, and discovered that one can package
> for
> Mandriva even if he's not a Mandriva user because there are test machines on
> which we can log on through ssh to do the tests and submit the package.
>
> So my question is
> is it pos
> > I am a very new packager for Mandriva, and discovered that one can
> > package for Mandriva even if he's not a Mandriva user because there are
> > test machines on which we can log on through ssh to do the tests and
> > submit the package.
> >
> > So my question is
> > is it possible too to bec
Le Thursday 08 January 2009 16:59:08 Florent Monnier, vous avez écrit :
> Second the idea (when I saw it was possible for mandriva) is that the
> author of a software should be able to provide packages for all the main
> Linux distros (not only 1 or 2), and it would be nice if this could be made
>
> Provided that you can test the package.
>
> Packaging is not only about preparing the package, but also maintaining it.
> You can be a maintainer without using the distro, but if you do not use it
> and don't follow its developpements, it quickly turns into a poorest
> situation, where your packa
Le Thursday 08 January 2009 19:54:02 Florent Monnier, vous avez écrit :
> > Ususally, packaging follows naturally the need for a given software, and
> > I feel natural that it is not done by its author if he does not use the
> > distro himself.
>
> What I would personaly feel as natural, is that we
* Goswin Brederlow:
> I assumed that when the program exits normaly that all memory will be
> freed, specifically that *_finalize(value) is called for all custom
> blocks in case they have to do some custom cleanup. Unfortunately that
> is not the case.
Having this functionality could be useful i
11 matches
Mail list logo