New commits:
commit c9983ea4379c6e0612826dc60a9ea88fd06f38e4
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
graphics/imagemagick: version 6.8.1-10
commit 0d4bc840fad48cd0b1666150153b0d70515df7b2
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
graphics/darktable: version 1.1.2
commit fe4cdf998a07b2754fdc98394a5dc19acedbe599
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
graphics/dcraw: version 9.17
commit 8058715ebc8fb13f38a1b71f4ac4ea2938186f55
Author: Ladislav Hagara <hgr AT vabo.cz>
Commit: Ladislav Hagara <hgr AT vabo.cz>
calligra 2.5.5
commit 287e0373767b050169876e3202c880a5ea8d2984
Author: Pol Vinogradov <vin.public AT gmail.com>
Commit: Pol Vinogradov <vin.public AT gmail.com>
x11/lightdm-gtk-greeter: my bad, version 1.3.1
commit ffa4682edb506afb41d058d73e22b24cad5fff51
Author: Pol Vinogradov <vin.public AT gmail.com>
Commit: Pol Vinogradov <vin.public AT gmail.com>
x11/lightdm-gtk-greeter: version 1.4.0
commit 4dccd1e2db2a94a9973a5c90872580c9686bcf56
Author: Pol Vinogradov <vin.public AT gmail.com>
Commit: Pol Vinogradov <vin.public AT gmail.com>
x11/lightdm: updated to 1.4.0
commit a4c4f9969b652e0e3d796216f288e29e5b2f70e4
Author: Treeve Jelbert <treeve AT sourcemage.org>
Commit: Treeve Jelbert <treeve AT sourcemage.org>
wine - fix libxxf86vm dependency
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 6a0b40e0af1c6f15ca5db68e8276a0880b24625c
Author: Treeve Jelbert <treeve AT sourcemage.org>
Commit: Treeve Jelbert <treeve AT sourcemage.org>
ghostscript - update depends
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 859bfd1..b978063 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