diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ # ################################## -VERSION=8.4pl3 +VERSION=8.4pl4 VOMAGIC=08400 STATEMAGIC=58400 DATE=`LC_ALL=C LANG=C date +"%B %Y"` |
index : coq | ||
El asistente de pruebas Coq | mirror |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | configure | 2 |
@@ -6,7 +6,7 @@ # ################################## -VERSION=8.4pl3 +VERSION=8.4pl4 VOMAGIC=08400 STATEMAGIC=58400 DATE=`LC_ALL=C LANG=C date +"%B %Y"` |