New commits:
commit 1c7ca5b1e7e21f70dbb1179620acc881c66a6b49
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
utils/wyrd: new spell, a curses based front-end to remind
commit 19fa21dfd08946793956c3f2309d46e1f2291ed8
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
devel/cppcheck: version 1.58
commit 05ada9437126df81dd69fbe05a84612b0b1d08d8
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
devel/why3: new spell, a rich library of proof task transformations
commit 0b173a26c03bdadce4eafdd1351de58b07b37cc4
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
devel/alt-ergo: version 0.95
commit 22fbca90ab192826dadfe81c950dd2abffcdb7a9
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
devel/ocaml: add check_self on cast binutils, tk, tcl
diff --git a/ChangeLog b/ChangeLog
index da8f331..5f483b8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,12 @@
+2013-01-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * utils/wyrd: new spell, a curses based front-end to remind
+
2013-01-21 Vlad Glagolev <stealth AT sourcemage.org>
* mail/greylist: new spell, greylist policy service for postfix
+2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * devel/why3: new spell, a rich library of proof task transformations
+
2013-01-20 Vlad Glagolev <stealth AT sourcemage.org>
* python-pypi/virtualenv: new spell, Virtual Python Environment
builder
* python-pypi/celery: new spell, Distributed Task Queue
diff --git a/devel/alt-ergo/DETAILS b/devel/alt-ergo/DETAILS
index 5a089ba..6dea232 100755
--- a/devel/alt-ergo/DETAILS
+++ b/devel/alt-ergo/DETAILS
@@ -1,8 +1,8 @@
SPELL=alt-ergo
- VERSION=0.94
+ VERSION=0.95
SOURCE="${SPELL}-${VERSION}.tar.gz"
- SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SOURCE}
-
SOURCE_HASH=sha512:7bd5f725f9861b764dcc1a71cf89e8abe9398a0138d1f137094a9d1b089938ef3a3933bb5d55677f50b197a443c66bbbbf0a57e07da32e592f741a7aab527bdf
+ SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SPELL}-${VERSION}/${SOURCE}
+
SOURCE_HASH=sha512:04256d73417d1b708c0d5a8533f0e9f45568cc862a4ca2354c657035911a66e31f24128be7938a3eb13a35d40b76c54316374559a70fdb4c4ff85671f630bc91
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://alt-ergo.lri.fr"
LICENSE[0]=CeCILL-C
diff --git a/devel/alt-ergo/HISTORY b/devel/alt-ergo/HISTORY
index 5404b63..21016fd 100644
--- a/devel/alt-ergo/HISTORY
+++ b/devel/alt-ergo/HISTORY
@@ -1,3 +1,6 @@
+2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 0.95
+
2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS, DETAILS: spell created