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

[Sebastian Wieseler]

Update of task #5045 (project administration):

                  Status:               Need Info => Wait reply             

    _______________________________________________________

Follow-up Comment #5:

Hello.

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:
http://www.gnu.org/licenses/gpl.txt
http://www.gnu.org/licenses/lgpl.txt
http://www.gnu.org/licenses/fdl.txt

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
https://savannah.gnu.org/forum/forum.php?forum_id=3766


Have a nice weekend - the Savannah Administration

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?func=detailitem&item_id=5045>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/