(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
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.gz
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
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 possible
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
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 package is
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 could
* 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 in
10 matches
Mail list logo
