From e2dfdf4a79ab0c4e7a992fbcf382ac0005ca55d6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 14 Jan 2002 09:03:30 +0000
Subject: Soleil revenu

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2393 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ANNONCE | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ANNONCE b/ANNONCE
index cb82be8fcc..fcee480f06 100644
--- a/ANNONCE
+++ b/ANNONCE
@@ -19,6 +19,7 @@ following versions
   package for sources
   rpm package for sources
   rpm packages for linux
+  binary package for Sun-Solaris
   binary version for Windows
   binary version for MacOS X (Darwin)
 
-- 
cgit v1.2.3