[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Vampire-public] First Vampire release
|
From: |
Thomas Claveirole |
|
Subject: |
Re: [Vampire-public] First Vampire release |
|
Date: |
Thu, 19 Feb 2004 16:05:13 +0100 |
|
User-agent: |
Gnus/5.090018 (Oort Gnus v0.18) Emacs/21.3 (gnu/linux) |
Akim Demaille <address@hidden> writes:
> Please, send the tarball to Thomas, he will put it were appropriate.
> Thomas, please also update the Vampire Wiki page.
>
> http://www.lrde.epita.fr/cgi-bin/twiki/view/Projects/Vampire
Done.
Since I have received no tarball yet, I have checked out the CVS
version on Savannah and built a tarball with a ``make all distcheck''.
If this is not the version you expected to release, just send me a
tarball and I will change the link, else everything is OK.
--
Thomas Claveirole
address@hidden
pgpcSEI90SGea.pgp
Description: PGP signature