[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #5045] Submission of Separation Logic i

From: Sebastian Wieseler
Subject: [Savannah-register-public] [task #5045] Submission of Separation Logic in Coq
Date: Sat, 24 Dec 2005 21:08:59 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050317 Firefox/1.0.2

Update of task #5045 (project administration):

                  Status:               Need Info => Wait reply             


Follow-up Comment #5:


The address of the FSF has changed, and is now:

  51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA

Please update your license notices.

Then pleaase include an updates versions of the GPL, LGPL and GFDL into your
project, which can also be found at:

Please update the copy of the license (usually, the 'COPYING' file) in your
package as well.

You can find some background and a possible migration script at

Have a nice weekend - the Savannah Administration


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]