diff options
| author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-22 10:06:16 (GMT) |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-22 10:06:16 (GMT) |
| commit | 46b4aac455472f03dd63d01d40d4891c44db0e8c (patch) | |
| tree | ea3e8d85bf553229734c56c143b6d4da7b59364e | |
| parent | 5f6f68130c641897dc33923e60ca96ad860d5689 (diff) | |
| download | coq-46b4aac455472f03dd63d01d40d4891c44db0e8c.zip coq-46b4aac455472f03dd63d01d40d4891c44db0e8c.tar.gz coq-46b4aac455472f03dd63d01d40d4891c44db0e8c.tar.bz2 | |
Version bump: 8.4pl1V8.4pl1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/tags/V8.4pl1@16115 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ # ################################## -VERSION=8.4 +VERSION=8.4pl1 VOMAGIC=08400 STATEMAGIC=58400 DATE=`LC_ALL=C LANG=C date +"%B %Y"` |