sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

[SM-Commit] GIT changes to devel-xorg-modular grimoire by Eric Sandall (2cfc6df13d55eb304b664d488d07422a755885fa)

From: Eric Sandall <scm AT sourcemage.org>
To: sm-commit AT lists.ibiblio.org
Subject: [SM-Commit] GIT changes to devel-xorg-modular grimoire by Eric Sandall (2cfc6df13d55eb304b664d488d07422a755885fa)
Date: Fri, 2 Mar 2012 17:48:47 -0600

GIT changes to devel-xorg-modular grimoire by Eric Sandall
<sandalle AT sourcemage.org>:

ChangeLog | 6 +
collab/openldap/BUILD | 26 ++++
collab/openldap/CONFIGURE | 55
++++++++--
collab/openldap/DEPENDS | 45
++++++--
collab/openldap/HISTORY | 14 ++
database/mariadb/HISTORY | 3
database/mariadb/PRE_SUB_DEPENDS | 1
database/mariadb/SUB_DEPENDS | 6 +
database/mysql/HISTORY | 3
database/mysql/PRE_SUB_DEPENDS | 1
database/mysql/SUB_DEPENDS | 6 +
dev/null |binary
devel/alt-ergo/DEPENDS | 2
devel/alt-ergo/DETAILS | 17 +++
devel/alt-ergo/HISTORY | 3
devel/camlp5/BUILD | 4
devel/camlp5/DEPENDS | 1
devel/camlp5/DETAILS | 13 ++
devel/camlp5/HISTORY | 4
devel/coq/BUILD | 8 +
devel/coq/DEPENDS | 6 +
devel/coq/DETAILS | 20 +++
devel/coq/HISTORY | 3
devel/coq/PRE_BUILD | 3
devel/ocamlgraph/DEPENDS | 1
devel/ocamlgraph/DETAILS | 35
++++++
devel/ocamlgraph/HISTORY | 3
devel/valgrind/DETAILS | 4
devel/valgrind/HISTORY | 4
devel/valgrind/PRE_BUILD | 3
devel/valgrind/glibc-version.patch | 49
--------
printer/ghostscript/BUILD | 2
printer/ghostscript/HISTORY | 3
video-libs/gst-plugins-bad/DETAILS | 2
video-libs/gst-plugins-bad/HISTORY | 4
video-libs/gst-plugins-bad/PRE_BUILD | 4
video-libs/gst-plugins-bad/gst-plugins-bad-0.10.22.tar.bz2.sig | 0
video-libs/gst-plugins-bad/gst-plugins-bad-0.10.23.tar.bz2.sig |binary
video-libs/gst-plugins-bad/mjpegtools-fix.patch | 15 --
video-libs/gst-plugins-base/DETAILS | 2
video-libs/gst-plugins-base/HISTORY | 3
video-libs/gst-plugins-base/gst-plugins-base-0.10.35.tar.bz2.sig | 0
video-libs/gst-plugins-base/gst-plugins-base-0.10.36.tar.bz2.sig |binary
video-libs/gst-plugins-good/DETAILS | 2
video-libs/gst-plugins-good/HISTORY | 3
video-libs/gst-plugins-good/gst-plugins-good-0.10.30.tar.bz2.sig | 0
video-libs/gst-plugins-good/gst-plugins-good-0.10.31.tar.bz2.sig |binary
video-libs/gst-plugins-ugly/DETAILS | 2
video-libs/gst-plugins-ugly/HISTORY | 3
video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.18.tar.bz2.sig | 0
video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.19.tar.bz2.sig |binary
video-libs/gstreamer/DETAILS | 2
video-libs/gstreamer/HISTORY | 3
video-libs/gstreamer/gstreamer-0.10.35.tar.bz2.sig | 0
video-libs/gstreamer/gstreamer-0.10.36.tar.bz2.sig |binary
x11-libs/wine/DETAILS | 2
x11-libs/wine/HISTORY | 3
57 files changed, 302 insertions(+), 102 deletions(-)

New commits:
commit 0a2bcf284466f76af5f25464d571806355e925ba
Author: Eric Sandall <sandalle AT sourcemage.org>
Commit: Eric Sandall <sandalle AT sourcemage.org>

wine: Updated devel to 1.4-rc6

commit f94f820d6792ffd0a38a00fbdb586d1f6904ed5f
Author: Arjan Bouter <abouter AT sourcemage.org>
Commit: Arjan Bouter <abouter AT sourcemage.org>

mariadb: added NDB for ndbcluster sub dependencies

commit 4b282b956835eae293c756daa70a2e0f08f4b88e
Author: Arjan Bouter <abouter AT sourcemage.org>
Commit: Arjan Bouter <abouter AT sourcemage.org>

mysql: added NDB for ndbcluster sub dependencies

commit 5a4c671a76d4ef78ac8aa416966c630b55943af9
Author: Arjan Bouter <abouter AT sourcemage.org>
Commit: Arjan Bouter <abouter AT sourcemage.org>

openldap: removed sluprd and ldbm as they are removed by upstream.
added comments to various backends and added some missing ones
added overlay support, made cleartext and crypt passwords optional.

Note: I'm not done with this spell yet, but it seems to work.

commit f9b59c4ceec434c631db0c26d288ae66e4751776
Author: Thomas Orgis <sobukus AT sourcemage.org>
Commit: Thomas Orgis <sobukus AT sourcemage.org>

valgrind: bump to 3.7.0

commit 0f82af9bea62ef215d309b3c871a1187dcf803ef
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

printer/ghostscript: fixed linker error

commit c67170df73a6091b877cbda96b27337bc9263519
Author: Ladislav Hagara <hgr AT vabo.cz>
Commit: Ladislav Hagara <hgr AT vabo.cz>

gst-plugins-bad 0.10.23

commit 52d390d3f2f7d572843747a92a09352698027228
Author: Ladislav Hagara <hgr AT vabo.cz>
Commit: Ladislav Hagara <hgr AT vabo.cz>

gst-plugins-ugly 0.10.19

commit e45429d80baa5d424ce4310d7f5f4286bb6cd970
Author: Ladislav Hagara <hgr AT vabo.cz>
Commit: Ladislav Hagara <hgr AT vabo.cz>

gst-plugins-good 0.10.31

commit 7dcf7610f63dfadade3acb9ffd250cd09a308992
Author: Ladislav Hagara <hgr AT vabo.cz>
Commit: Ladislav Hagara <hgr AT vabo.cz>

gst-plugins-base 0.10.36

commit 4227dcb60e4df12cac16d712b01b877c02d46f1f
Author: Ladislav Hagara <hgr AT vabo.cz>
Commit: Ladislav Hagara <hgr AT vabo.cz>

gstreamer 0.10.36

commit 81e9ff38539b39f3717d0cf983f74a3de0fd977c
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/coq: new spell, a formal proof management system

commit dd0d57f780d674f2a333aa6f5efae822359edfe4
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/camlp5: fixed libdir

commit f2e768c07cdd4ce05f09ef0f161d3f66044dd5ce
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/camlp5: new spell, a preprocessor-pretty-printer for ocaml

commit f010a870d8d3ed1038d14a1585fe7d4b44d1d66a
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/alt-ergo: new spell, a theorem prover

commit e4a65815b974e1ebe7dff140e9c1aac609affa15
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/ocamlgraph: new spell, a graph library for ocaml

diff --git a/ChangeLog b/ChangeLog
index 5f8b652..5fabbce 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * devel/ocamlgraph: new spell, a graph library for ocaml
+ * devel/alt-ergo: new spell, a theorem prover
+ * devel/camlp5: new spell, a preprocessor-pretty-printer for ocaml
+ * devel/coq: new spell, a formal proof management system
+
2012-03-01 Ladislav Hagara <hgr AT vabo.cz>
* libs/libftdi: new spell, library to talk to FTDI chips
* devel/openocd: new spell, Open On-Chip Debugging
diff --git a/collab/openldap/BUILD b/collab/openldap/BUILD
index c34f4ae..101e5cd 100755
--- a/collab/openldap/BUILD
+++ b/collab/openldap/BUILD
@@ -2,13 +2,33 @@
# See http://www.openldap.org/lists/openldap-bugs/200804/msg00074.html
CPPFLAGS="-D_GNU_SOURCE $CPPFLAGS" &&

-if [[ "$SLAPD_LDBM" == "db" ]]; then
+if is_depends_enabled $SPELL db; then
LDFLAGS="-ldb $LDFLAGS"
fi &&

+# only add slapd options when actually building it
+if echo $OPENLDAP_SLAPD | grep -q enable; then
+
+ if [[ "${SLAPD_OVERLAYS}" == 'none' ]]; then
+ message 'skipping overlays'
+ elif [[ "${SLAPD_OVERLAYS}" == 'all' ]]; then
+ message 'adding all overlays' &&
+ OVERLAYS='--enable-overlays=mod'
+ else
+ for OVERLAY in ${SLAPD_OVERLAYS}; do
+ OVERLAYS="${OVERLAYS} --enable-${OVERLAY}=mod"
+ done
+ fi
+
+ SLAPD_OPTS="$OPENLDAP_SLAPD $SLAPD_ACL $SLAPD_ACI $SLAPD_DNSSRV
+ $SLAPD_MONITOR $SLAPD_CRYPT $SLAPD_CLEAR $SLAPD_REV
+ $SLAPD_SOCK $SLAPD_META $SLAPD_RELAY $OVERLAYS"
+else
+ SLAPD_OPTS="$OPENLDAP_SLAPD"
+fi &&
+
OPTS="$OPTS
- $OPENLDAP_SLAPD $SLAPD_ACI $SLAPD_DNSSRV $SLAPD_MONITOR
- $OPENLDAP_SLURPD
+ $SLAPD_OPTS
--enable-shared --enable-static
--enable-dynamic
--enable-local" &&
diff --git a/collab/openldap/CONFIGURE b/collab/openldap/CONFIGURE
index 69e5b19..8ba29f9 100755
--- a/collab/openldap/CONFIGURE
+++ b/collab/openldap/CONFIGURE
@@ -1,22 +1,57 @@
-config_query_option OPENLDAP_SLAPD 'Build SLAPD, the standalone LDAP
daemon?' y \
- '--enable-slapd --enable-modules --enable-cleartext --enable-crypt
--enable-rlookups' \
- '--disable-slapd' &&
+source $GRIMOIRE/config_query_multi.function &&

-config_query_option OPENLDAP_SLURPD 'Build SLURPD, the replication daemon?'
y \
- '--enable-slurpd' '--disable-slurpd' &&
+config_query_option OPENLDAP_SLAPD 'Build SLAPD, the standalone LDAP
daemon?' y \
+ '--enable-slapd --enable-modules' '--disable-slapd' &&

if echo $OPENLDAP_SLAPD | grep -q enable; then
- config_query_list SLAPD_LDBM 'Select LDBM backend (Berkeley DB
recommended)' \
- db none &&
- config_query_option SLAPD_DNSSRV 'Enable DNS "SRV" record backend?' y \
+ config_query_option SLAPD_DNSSRV 'Enable DNS backend? (LDAP server
locator)' n \
'--enable-dnssrv=mod' '--disable-dnssrv' &&
- config_query_option SLAPD_MONITOR 'Enable monitor backend?' y \
+ config_query_option SLAPD_META 'Enable metadirectory backend?' n \
+ '--enable-meta=mod' '--disable-meta' &&
+ config_query_option SLAPD_MONITOR 'Enable LDAP server monitor backend?' y \
'--enable-monitor=mod' '--disable-monitor' &&
- config_query_option SLAPD_ACI 'Enable per-object access control' n \
+ config_query_option SLAPD_SOCK 'Enable sock backend?' n \
+ '--enable-sock=mod' '--disable-sock' &&
+ config_query_option SLAPD_RELAY 'Enable relay backend?' n \
+ '--enable-relay=mod' '--disable-relay' &&
+ config_query_option SLAPD_ACL 'Enable EXPERIMENTAL loadable ACL?' n \
+ '--enable-dynacl' '--disable-dynacl' &&
+ if echo $SLAPD_ACL|grep -q enable; then
+ config_query_option SLAPD_ACI 'Enable per-object access control' n \
'--enable-aci' '--disable-aci'
+ fi &&
+ config_query_option SLAPD_CLEAR 'Enable cleartext passwords?' y \
+ '--enable-cleartext' '--disable-cleartext' &&
+ config_query_option SLAPD_CRYPT 'Enable crypt passwords?' n \
+ '--enable-crypt' '--disable-crypt' &&
+ config_query_option SLAPD_REV 'Enable reverse lookup of client hostnames?'
n \
+ '--enable-rlookups' '--disable-rlookups'
fi &&

config_query OPENLDAP_NTLM "Enable NTLM API support (needed for Evolution
Exchange plugin)?" n &&

+config_query_multi SLAPD_OVERLAYS \
+ "which overlays do you want supported?" \
+ none all \
+ accesslog auditlog collect constraint dds deref dyngroup \
+ dynlist memberof ppolicy proxycache refint retcode rwm \
+ seqmod sssvlv syncprov translucent unique valsort
+
+if list_find "$SLAPD_OVERLAYS" "all"; then
+ SLAPD_OVERLAYS="all"
+elif list_find "$SLAPD_OVERLAYS" "none"; then
+ SLAPD_OVERLAYS="none"
+fi &&
+
+if echo $OPENLDAP_SLURPD |grep -q enable ; then
+ if list_find "$SLAPD_OVERLAYS" "syncprov"; then
+ message 'slurpd has been replaced by the syncprov overlay'
+ else
+ message 'slurpd has been replaced by the syncprov overlay, adding it' &&
+ SLAPD_OVERLAYS="${SLAPD_OVERLAYS} syncprov"
+ fi &&
+ persistent_remove OPENLDAP_SLURPD
+fi &&
+
message "${MESSAGE_COLOR}If you care about security, check out
http://timof.qipc.org/ldap/libldap.html .$DEFAULT_COLOR" &&
message "${MESSAGE_COLOR}The patch is not in the spell anymore because of
version mismatch...$DEFAULT_COLOR."
diff --git a/collab/openldap/DEPENDS b/collab/openldap/DEPENDS
index d5bafb0..e3b7aa3 100755
--- a/collab/openldap/DEPENDS
+++ b/collab/openldap/DEPENDS
@@ -12,30 +12,57 @@ optional_depends openssl \
'--without-tls' \
'for SSL/TLS support' &&

-optional_depends cyrus-sasl '--with-cyrus-sasl' '--without-cyrus-sasl'
\
+optional_depends cyrus-sasl '--with-cyrus-sasl' '--without-cyrus-sasl' \
'for SASL authentication, if SLAPD is a backend authenticator for SASL,
say "no"' &&

if echo $OPENLDAP_SLAPD | grep -q enable; then
- case "$SLAPD_LDBM" in
- db)
- depends db '--enable-ldbm=mod --enable-ldbm-api=berkeley'
- ;;
- esac
+ optional_depends db '--enable-bdb=mod --enable-hdb=mod' \
+ '--disable-bdb --disable-hdb' \
+ 'for Berkeley DB backend (recommended)' &&

optional_depends ODBC-MGR \
'--enable-sql=mod' \
'--disable-sql' \
- 'for SQL backend' &&
+ 'for SQL backend (experimental)' &&
+ if [[ $(get_spell_provider $SPELL ODBC-MGR) ]]; then
+ if is_depends_enabled $SPELL unixodbc; then
+ depends unixodbc --with-odbc=unixodbc
+ elif is_depends_enabled $SPELL libiodbc; then
+ depends libiodbc --with-odbc=iodbc
+ else
+ message "${PROBLEM_COLOR}unknown ODBC provider selected, please update
spell${DEFAULT_COLOR}"
+ fi
+ fi &&
+
+ optional_depends MYSQL '--enable-mdb=mod' '--disable-mdb' \
+ 'for MYSQL backend' &&
+
+ if [[ $(get_spell_provider $SPELL MYSQL) ]]; then
+ config_query_option SLAPD_NDB 'Enable MYSQL NDB cluster support?' n \
+ '--enable-ndb=mod' '--disable-ndb'
+ if echo $SLAPD_NDB |grep -q enable ; then
+ if is_depends_enabled $SPELL mariadb; then
+ depends -sub NDB mariadb
+ elif is_depends_enabled $SPELL mysql; then
+ depends -sub NDB mysql
+ fi
+ fi
+ fi

optional_depends perl \
'--enable-perl=mod' \
'--disable-perl' \
- 'for perl backend' &&
+ 'for perl backend (write your own storage backend)' &&
+
+ optional_depends bash \
+ '--enable-shell=mod' \
+ '--disable-shell' \
+ 'for shell backend (write your own storage backend)' &&

optional_depends shadow \
'--enable-passwd=mod' \
'--disable-passwd' \
- 'for passwd backend' &&
+ 'for passwd backend (demo code, do not use)' &&

optional_depends tcp_wrappers \
'--enable-wrappers' \
diff --git a/collab/openldap/HISTORY b/collab/openldap/HISTORY
index 0b25eda..3df7cd5 100644
--- a/collab/openldap/HISTORY
+++ b/collab/openldap/HISTORY
@@ -1,3 +1,17 @@
+2012-03-01 Arjan Bouter <abouter AT sourcemage.org>
+ * DEPENDS: ldbm support was removed upstream,
+ allow shell backend, added comments on several backends,
+ added mysql backends.
+ * CONFIGURE: removed obsolete ldbm and slurpd queries,
+ (auto enables syncprov overlay if slurpd was used)
+ added comments on backends.
+ don't enable dns backend by default.
+ added options for sock, relay and meta backends.
+ made reverse lookups, crypt and clear passwords optional.
+ added optional overlays.
+ * BUILD: fix check for enabled db, don't add slapd options when not
+ building slapd. added overlays, removed slurpd
+
2012-03-01 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 2.4.30

diff --git a/database/mariadb/HISTORY b/database/mariadb/HISTORY
index b44a011..267d9e9 100644
--- a/database/mariadb/HISTORY
+++ b/database/mariadb/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Arjan Bouter <abouter AT sourcemage.org>
+ * PRE_SUB_DEPENDS, SUB_DEPENDS: added NDB for ndbcluster
+
2012-02-13 Vlad Glagolev <stealth AT sourcemage.org>
* DETAILS: updated spell to 5.2.10

diff --git a/database/mariadb/PRE_SUB_DEPENDS
b/database/mariadb/PRE_SUB_DEPENDS
index cc7ba91..ede9a09 100755
--- a/database/mariadb/PRE_SUB_DEPENDS
+++ b/database/mariadb/PRE_SUB_DEPENDS
@@ -1,5 +1,6 @@
case $THIS_SUB_DEPENDS in
embedded|EMBEDDED) if list_find "$MADB_OPTS" "--with-embedded-server";
then return 0; fi;;
innodb|INNODB) if [[ $MADB_ENGINES == *innodb_plugin* || "$MADB_ENGINES"
== "all" ]]; then return 0; fi;;
+ NDB) if [[ $MADB_ENGINES == *ndbcluster* || "$MADB_ENGINES" == "all" ]];
then return 0; fi;;
esac
return 1
diff --git a/database/mariadb/SUB_DEPENDS b/database/mariadb/SUB_DEPENDS
index df9d64b..fb44ab1 100755
--- a/database/mariadb/SUB_DEPENDS
+++ b/database/mariadb/SUB_DEPENDS
@@ -7,5 +7,11 @@ case $THIS_SUB_DEPENDS in
else
MADB_ENGINES="innodb_plugin $MADB_ENGINES"
fi ;;
+ NDB) echo "ndbcluster storage engine support requested, forcing it." &&
+ if [ "$MADB_ENGINES" == "none" ]; then
+ MADB_ENGINES="ndbcluster"
+ else
+ MADB_ENGINES="ndbcluster $MADB_ENGINES"
+ fi ;;
*) echo "unknown sub-depends!"; return 1 ;;
esac
diff --git a/database/mysql/HISTORY b/database/mysql/HISTORY
index b36154d..a9e56e0 100644
--- a/database/mysql/HISTORY
+++ b/database/mysql/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Arjan Bouter <abouter AT sourcemage.org>
+ * SUB_DEPENDS, PRE_SUB_DEPENDS: added NDB for ndbcluster
+
2012-02-10 George Sherwood <gsherwood AT sourcemage.org>
* DETAILS: Updated stable to 5.1.61

diff --git a/database/mysql/PRE_SUB_DEPENDS b/database/mysql/PRE_SUB_DEPENDS
index b79f83d..7a5489a 100755
--- a/database/mysql/PRE_SUB_DEPENDS
+++ b/database/mysql/PRE_SUB_DEPENDS
@@ -1,5 +1,6 @@
case $THIS_SUB_DEPENDS in
embedded|EMBEDDED) if [ $MSQL_EMBED == "--with-embedded-server" ]; then
return 0; fi;;
innodb|INNODB) if [[ $MSQL_ENGINES == *InnoDB* || "$MSQL_ENGINES" ==
"all" ]]; then return 0; fi;;
+ NDB) if [[ $MSQL_ENGINES == *ndbcluster* || "$MSQL_ENGINES" == "all" ]];
then return 0; fi;;
esac
return 1
diff --git a/database/mysql/SUB_DEPENDS b/database/mysql/SUB_DEPENDS
index b31384a..1721e71 100755
--- a/database/mysql/SUB_DEPENDS
+++ b/database/mysql/SUB_DEPENDS
@@ -7,5 +7,11 @@ case $THIS_SUB_DEPENDS in
else
MSQL_ENGINES="$MSQL_ENGINES InnoDB"
fi ;;
+ NDB) echo "ndbcluster storage engine support requested, forcing it." &&
+ if [ "$MSQL_ENGINES" == "none" ]; then
+ MSQL_ENGINES="ndbcluster"
+ else
+ MSQL_ENGINES="$MSQL_ENGINES ndbcluster"
+ fi ;;
*) echo "unknown sub-depends!"; return 1 ;;
esac
diff --git a/devel/alt-ergo/DEPENDS b/devel/alt-ergo/DEPENDS
new file mode 100755
index 0000000..4e9dffe
--- /dev/null
+++ b/devel/alt-ergo/DEPENDS
@@ -0,0 +1,2 @@
+depends ocaml &&
+depends ocamlgraph
diff --git a/devel/alt-ergo/DETAILS b/devel/alt-ergo/DETAILS
new file mode 100755
index 0000000..5a089ba
--- /dev/null
+++ b/devel/alt-ergo/DETAILS
@@ -0,0 +1,17 @@
+ SPELL=alt-ergo
+ VERSION=0.94
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
+ SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SOURCE}
+
SOURCE_HASH=sha512:7bd5f725f9861b764dcc1a71cf89e8abe9398a0138d1f137094a9d1b089938ef3a3933bb5d55677f50b197a443c66bbbbf0a57e07da32e592f741a7aab527bdf
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://alt-ergo.lri.fr";
+ LICENSE[0]=CeCILL-C
+ ENTERED=20120302
+ SHORT="an automatic theorem prover"
+cat << EOF
+Alt-Ergo is an automatic theorem prover dedicated to program verification.
+Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by
+an equational theory X. Currently, CC(X) can be instantiated by the empty
+equational theory and by the linear arithmetics. Alt-Ergo contains also a
+home made SAT-solver and an instantiation mechanism.
+EOF
diff --git a/devel/alt-ergo/HISTORY b/devel/alt-ergo/HISTORY
new file mode 100644
index 0000000..5404b63
--- /dev/null
+++ b/devel/alt-ergo/HISTORY
@@ -0,0 +1,3 @@
+2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DEPENDS, DETAILS: spell created
+
diff --git a/devel/camlp5/BUILD b/devel/camlp5/BUILD
new file mode 100755
index 0000000..01abadf
--- /dev/null
+++ b/devel/camlp5/BUILD
@@ -0,0 +1,4 @@
+./configure --mandir ${INSTALL_ROOT}/usr/share/man \
+ --prefix ${INSTALL_ROOT}/usr \
+ ${OPTS} &&
+default_build_make
diff --git a/devel/camlp5/DEPENDS b/devel/camlp5/DEPENDS
new file mode 100755
index 0000000..1a31e9f
--- /dev/null
+++ b/devel/camlp5/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
diff --git a/devel/camlp5/DETAILS b/devel/camlp5/DETAILS
new file mode 100755
index 0000000..5ec3a73
--- /dev/null
+++ b/devel/camlp5/DETAILS
@@ -0,0 +1,13 @@
+ SPELL=camlp5
+ VERSION=6.04
+ SOURCE="${SPELL}-${VERSION}.tgz"
+ SOURCE_URL[0]=http://pauillac.inria.fr/~ddr/${SPELL}/distrib/src/${SOURCE}
+
SOURCE_HASH=sha512:b1c6f5bc7ee662837b533bada68ec85f646ff372c7b8e68a2cf8503d65afd1b7710c1bc4279f85e29cb3a36fcfdef38cb261c3fe8da7037c2b5881b809a072b0
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://pauillac.inria.fr/~ddr/camlp5";
+ LICENSE[0]=BSD
+ ENTERED=20120302
+ SHORT="a preprocessor-pretty-printer of OCaml"
+cat << EOF
+Camlp5 is a preprocessor-pretty-printer of ocaml.
+EOF
diff --git a/devel/camlp5/HISTORY b/devel/camlp5/HISTORY
new file mode 100644
index 0000000..f10411d
--- /dev/null
+++ b/devel/camlp5/HISTORY
@@ -0,0 +1,4 @@
+2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * BUILD, DEPENDS, DETAILS: spell created
+ * BUILD: fixed libdir
+
diff --git a/devel/coq/BUILD b/devel/coq/BUILD
new file mode 100755
index 0000000..14de3bf
--- /dev/null
+++ b/devel/coq/BUILD
@@ -0,0 +1,8 @@
+./configure -prefix ${INSTALL_ROOT}/usr \
+ -mandir ${INSTALL_ROOT}/usr/share/man \
+ -coqrunbyteflags "-dllib -lcoqrun" \
+ -libdir /usr/lib/coq \
+ ${OPTS} &&
+make_single &&
+CAML_LD_LIBRARY_PATH=$(pwd)/kernel/byterun default_build_make &&
+make_normal
diff --git a/devel/coq/DEPENDS b/devel/coq/DEPENDS
new file mode 100755
index 0000000..bd27fc7
--- /dev/null
+++ b/devel/coq/DEPENDS
@@ -0,0 +1,6 @@
+depends ocaml &&
+depends camlp5 &&
+optional_depends lablgtk2 \
+ "" \
+ "" \
+ "to build the IDE"
diff --git a/devel/coq/DETAILS b/devel/coq/DETAILS
new file mode 100755
index 0000000..931ecf5
--- /dev/null
+++ b/devel/coq/DETAILS
@@ -0,0 +1,20 @@
+ SPELL=coq
+ VERSION=8.3pl3
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
+ SOURCE_URL[0]=http://${SPELL}.inria.fr/distrib/V${VERSION}/files/${SOURCE}
+
SOURCE_HASH=sha512:c80d9dd13fdeba632e8db3e49fb210546ddfc665b7a7dedbdaad1a1e2533e2e526871d8995837c4806f322eb7c4b86a7ac0762167bcec54ac90a06b3eb246b50
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://coq.inria.fr";
+ LICENSE[0]=GPL
+ ENTERED=20120302
+ SHORT="a formal proof management system"
+cat << EOF
+Coq is a formal proof management system. It provides a formal language to
write
+mathematical definitions, executable algorithms and theorems together with an
+environment for semi-interactive development of machine-checked proofs.
Typical
+applications include the formalization of programming languages semantics
(e.g.
+the CompCert compiler certification project or Java Card EAL7 certification
+in industrial context), the formalization of mathematics (e.g. the full
+formalization of the 4 color theorem or constructive mathematics at Nijmegen)
+and teaching.
+EOF
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY
new file mode 100644
index 0000000..c5380fe
--- /dev/null
+++ b/devel/coq/HISTORY
@@ -0,0 +1,3 @@
+2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * BUILD, DEPENDS, DETAILS, PRE_BUILD: spell created
+
diff --git a/devel/coq/PRE_BUILD b/devel/coq/PRE_BUILD
new file mode 100755
index 0000000..61835c9
--- /dev/null
+++ b/devel/coq/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd ${SOURCE_DIRECTORY} &&
+sed -i "s/\\\\\"\\\$LABLGTKLIB\\\\\"/\\\$LABLGTKLIB/" configure
diff --git a/devel/ocamlgraph/DEPENDS b/devel/ocamlgraph/DEPENDS
new file mode 100755
index 0000000..1a31e9f
--- /dev/null
+++ b/devel/ocamlgraph/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
diff --git a/devel/ocamlgraph/DETAILS b/devel/ocamlgraph/DETAILS
new file mode 100755
index 0000000..bc0c7a3
--- /dev/null
+++ b/devel/ocamlgraph/DETAILS
@@ -0,0 +1,35 @@
+ SPELL=ocamlgraph
+ VERSION=1.8.1
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
+ SOURCE_URL[0]=http://${SPELL}.lri.fr/download/${SOURCE}
+
SOURCE_HASH=sha512:8e2aab51afd096979e3e062a86eaa1445c4cd84baf7f45bff01897ef03a9d154eacf51f494212c1a5859f83f8521584679069f9bf604f2eccb4714ebf71ab6a8
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://ocamlgraph.lri.fr";
+ LICENSE[0]=GPL
+ ENTERED=20120302
+ SHORT="a graph library for Objective Caml"
+cat << EOF
+ocamlgraph is a graph library for Objective Caml. Its contribution is
+three-fold:
+
+* It provides an easy-to-use graph data structure together with several
+ operations and algorithms over graphs. It is a reasonably efficient
+ imperative data structure for directed graphs with vertices and edges
+ labeled with integers.
+
+* Ocamlgraph provides several other graph implementations for those not
+ satisfied with the one above. Some are persistent (imutable) and other
+ imperative (mutable). Some are directed and other are not. Some have labels
+ for vertices, or labels for edges, or both. Some have abstract types for
+ vertices. etc.
+
+ These implementations are written as functors: you give the types of
vertices
+ labels, edge labels, etc. and you get the data structure as a result.
+
+* Finally, ocamlgraph provides several classic operations and algorithms over
+ graphs. They are also written as functors i.e. independently of the data
+ structure for graphs. One consequence is that you can define your own data
+ structure for graphs and yet re-use all the algorithms from this library
+ -- you only need to provide a few operations such as iterating over all
+ vertices, over the successors of a vertex, etc.
+EOF
diff --git a/devel/ocamlgraph/HISTORY b/devel/ocamlgraph/HISTORY
new file mode 100644
index 0000000..5404b63
--- /dev/null
+++ b/devel/ocamlgraph/HISTORY
@@ -0,0 +1,3 @@
+2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DEPENDS, DETAILS: spell created
+
diff --git a/devel/valgrind/DETAILS b/devel/valgrind/DETAILS
index fbc41ac..fb1bec4 100755
--- a/devel/valgrind/DETAILS
+++ b/devel/valgrind/DETAILS
@@ -13,8 +13,8 @@ then
SOURCE_IGNORE=volatile
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-svn"
else
- VERSION=3.6.1
-
SOURCE_HASH=sha512:fef0d379b525ffef10783c0de6b37a4923f9627991dbf75973e88e9810b68cba095a25bf842c2f70b1e734c1b221418a2f3d4937e0c12b6fa6b4f7984a0dc2d9
+ VERSION=3.7.0
+
SOURCE_HASH=sha512:0ccf6607fe6d26f0dc0f3d6e45f84645925d0a90ce4ecf6acfc6b4d374d3e909b2a628b03c0a964a45d2462cca6877f818a5f72b3e4a5bbf3a2d9b8a9a343d5f
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_URL[0]=http://valgrind.org/downloads/$SOURCE
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
diff --git a/devel/valgrind/HISTORY b/devel/valgrind/HISTORY
index 94225b9..2ebf94c 100644
--- a/devel/valgrind/HISTORY
+++ b/devel/valgrind/HISTORY
@@ -1,3 +1,7 @@
+2012-03-02 Thomas Orgis <sobukus AT sourcemage.org>
+ * DETAILS: bump to 3.7.0
+ * glibc-version.patch, PRE_BUILD: removed build hacks
+
2012-02-11 Pol Vinogradov <vin.public AT gmail.com>
* PRE_BUILD: fixed and simplified branch checking in if statement

diff --git a/devel/valgrind/PRE_BUILD b/devel/valgrind/PRE_BUILD
index ce75974..8c5c7b9 100755
--- a/devel/valgrind/PRE_BUILD
+++ b/devel/valgrind/PRE_BUILD
@@ -4,7 +4,4 @@ cd "$SOURCE_DIRECTORY" &&
if [[ $VALGRIND_BRANCH == "scm" ]]
then
NOCONFIGURE=Y ./autogen.sh
-else
- sedit "s,2\.6\.\*),2\.6\.\*\|3\.\*)," configure &&
- patch -p0 < "$SPELL_DIRECTORY/glibc-version.patch"
fi
diff --git a/devel/valgrind/glibc-version.patch
b/devel/valgrind/glibc-version.patch
deleted file mode 100644
index 53c0759..0000000
--- a/devel/valgrind/glibc-version.patch
+++ /dev/null
@@ -1,49 +0,0 @@
---- glibc-2.X.supp.in.orig
-+++ glibc-2.X.supp.in
-@@ -168,9 +168,9 @@
- Memcheck:Param
- socketcall.sendto(msg)
- fun:__sendto_nocancel
-- obj:/*libc-@GLIBC_VERSION@.so
-- obj:/*libc-@GLIBC_VERSION@.so
-- obj:/*libc-@GLIBC_VERSION@.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
- }
- {
- glibc24-64bit-padding-1c
-@@ -180,7 +180,7 @@
- fun:__nscd_get_map_ref
- fun:nscd_get*_r
- fun:*nscd*
-- obj:/*libc-@GLIBC_VERSION@.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
- }
-
-
-@@ -199,18 +199,18 @@
- Memcheck:Param
- socketcall.sendto(msg)
- fun:send
-- obj:/*libc-@GLIBC_VERSION@.so
-- obj:/*libc-@GLIBC_VERSION@.so
-- obj:/*libc-@GLIBC_VERSION@.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
- }
- {
- X11-64bit-padding-4b
- Memcheck:Param
- socketcall.send(msg)
- fun:send
-- obj:/*libc-@GLIBC_VERSION@.so
-- obj:/*libc-@GLIBC_VERSION@.so
-- obj:/*libc-@GLIBC_VERSION@.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
-+ obj:/*libc-@GLIBC_VERSION@*.so
- }
-
- ##----------------------------------------------------------------------##
diff --git a/printer/ghostscript/BUILD b/printer/ghostscript/BUILD
index bfb3e17..38ba7f8 100755
--- a/printer/ghostscript/BUILD
+++ b/printer/ghostscript/BUILD
@@ -3,7 +3,7 @@ OPTS="--with-drivers=`echo ${GS_PRINTERS} | \
sed "s/ */ /g;s/^ *//;s/ *$/ /;s/^NONE //;s/ /,/g"`JAPAN,FILES \
--enable-dynamic ${GS_OMNI} ${OPTS}" &&

-default_build &&
+LIBS+=" -lz" default_build &&

if [[ $GS_LIBGS == y ]]; then
make so
diff --git a/printer/ghostscript/HISTORY b/printer/ghostscript/HISTORY
index 64598b5..7f66749 100644
--- a/printer/ghostscript/HISTORY
+++ b/printer/ghostscript/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * BUILD: fixed linker error due to zlib not being linked
+
2012-02-15 Vlad Glagolev <stealth AT sourcemage.org>
* DEPENDS: JPEG is fine here

diff --git a/video-libs/gst-plugins-bad/DETAILS
b/video-libs/gst-plugins-bad/DETAILS
index 5cbeedf..681ce78 100755
--- a/video-libs/gst-plugins-bad/DETAILS
+++ b/video-libs/gst-plugins-bad/DETAILS
@@ -1,5 +1,5 @@
SPELL=gst-plugins-bad
- VERSION=0.10.22
+ VERSION=0.10.23
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
SOURCE_URL[0]=http://gstreamer.freedesktop.org/src/$SPELL/$SOURCE
diff --git a/video-libs/gst-plugins-bad/HISTORY
b/video-libs/gst-plugins-bad/HISTORY
index a3e3e28..8fa3beb 100644
--- a/video-libs/gst-plugins-bad/HISTORY
+++ b/video-libs/gst-plugins-bad/HISTORY
@@ -1,3 +1,7 @@
+2012-03-02 Ladislav Hagara <hgr AT vabo.cz>
+ * DETAILS: 0.10.23
+ * PRE_BUILD, mjpegtools-fix.patch: removed
+
2012-01-13 Robin Cook <rcook AT wyrms.net>
* PRE_BUILD: added to apply patch so will build with update mjpegtools

diff --git a/video-libs/gst-plugins-bad/PRE_BUILD
b/video-libs/gst-plugins-bad/PRE_BUILD
deleted file mode 100755
index 9999066..0000000
--- a/video-libs/gst-plugins-bad/PRE_BUILD
+++ /dev/null
@@ -1,4 +0,0 @@
-default_pre_build &&
-cd $SOURCE_DIRECTORY &&
-
-patch -p1 < $SCRIPT_DIRECTORY/mjpegtools-fix.patch
diff --git a/video-libs/gst-plugins-bad/gst-plugins-bad-0.10.22.tar.bz2.sig
b/video-libs/gst-plugins-bad/gst-plugins-bad-0.10.22.tar.bz2.sig
deleted file mode 100644
index ef4ee2b..0000000
Binary files a/video-libs/gst-plugins-bad/gst-plugins-bad-0.10.22.tar.bz2.sig
and /dev/null differ
diff --git a/video-libs/gst-plugins-bad/gst-plugins-bad-0.10.23.tar.bz2.sig
b/video-libs/gst-plugins-bad/gst-plugins-bad-0.10.23.tar.bz2.sig
new file mode 100644
index 0000000..df74fc9
Binary files /dev/null and
b/video-libs/gst-plugins-bad/gst-plugins-bad-0.10.23.tar.bz2.sig differ
diff --git a/video-libs/gst-plugins-bad/mjpegtools-fix.patch
b/video-libs/gst-plugins-bad/mjpegtools-fix.patch
deleted file mode 100644
index de5460c..0000000
--- a/video-libs/gst-plugins-bad/mjpegtools-fix.patch
+++ /dev/null
@@ -1,15 +0,0 @@
-diff -ur gst-plugins-bad-0.10.22/ext/mpeg2enc/gstmpeg2encoder.cc
gst-plugins-bad-mod/ext/mpeg2enc/gstmpeg2encoder.cc
---- gst-plugins-bad-0.10.22/ext/mpeg2enc/gstmpeg2encoder.cc 2010-04-29
03:59:29.000000000 -0500
-+++ gst-plugins-bad-mod/ext/mpeg2enc/gstmpeg2encoder.cc 2012-01-13
16:46:44.177259807 -0600
-@@ -27,9 +27,8 @@
- #include <mpegconsts.h>
- #include <quantize.hh>
- #if GST_MJPEGTOOLS_API >= 10900
--#include <ontheflyratectl.hh>
--#include <pass1ratectl.hh>
--#include <pass2ratectl.hh>
-+#include <ontheflyratectlpass1.hh>
-+#include <ontheflyratectlpass2.hh>
- #else
- #include <ratectl.hh>
- #endif
diff --git a/video-libs/gst-plugins-base/DETAILS
b/video-libs/gst-plugins-base/DETAILS
index 18a8dc0..d76887a 100755
--- a/video-libs/gst-plugins-base/DETAILS
+++ b/video-libs/gst-plugins-base/DETAILS
@@ -1,5 +1,5 @@
SPELL=gst-plugins-base
- VERSION=0.10.35
+ VERSION=0.10.36
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
SOURCE_URL[0]=http://gstreamer.freedesktop.org/src/$SPELL/$SOURCE
diff --git a/video-libs/gst-plugins-base/HISTORY
b/video-libs/gst-plugins-base/HISTORY
index 40ddc57..64dcb0f 100644
--- a/video-libs/gst-plugins-base/HISTORY
+++ b/video-libs/gst-plugins-base/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Ladislav Hagara <hgr AT vabo.cz>
+ * DETAILS: 0.10.36
+
2011-06-16 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 0.10.35

diff --git a/video-libs/gst-plugins-base/gst-plugins-base-0.10.35.tar.bz2.sig
b/video-libs/gst-plugins-base/gst-plugins-base-0.10.35.tar.bz2.sig
deleted file mode 100644
index bd1452b..0000000
Binary files
a/video-libs/gst-plugins-base/gst-plugins-base-0.10.35.tar.bz2.sig and
/dev/null differ
diff --git a/video-libs/gst-plugins-base/gst-plugins-base-0.10.36.tar.bz2.sig
b/video-libs/gst-plugins-base/gst-plugins-base-0.10.36.tar.bz2.sig
new file mode 100644
index 0000000..5b385c7
Binary files /dev/null and
b/video-libs/gst-plugins-base/gst-plugins-base-0.10.36.tar.bz2.sig differ
diff --git a/video-libs/gst-plugins-good/DETAILS
b/video-libs/gst-plugins-good/DETAILS
index 4bf6e5d..16eef94 100755
--- a/video-libs/gst-plugins-good/DETAILS
+++ b/video-libs/gst-plugins-good/DETAILS
@@ -1,5 +1,5 @@
SPELL=gst-plugins-good
- VERSION=0.10.30
+ VERSION=0.10.31
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
SOURCE_URL[0]=http://gstreamer.freedesktop.org/src/$SPELL/$SOURCE
diff --git a/video-libs/gst-plugins-good/HISTORY
b/video-libs/gst-plugins-good/HISTORY
index 4ab2cad..77ea832 100644
--- a/video-libs/gst-plugins-good/HISTORY
+++ b/video-libs/gst-plugins-good/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Ladislav Hagara <hgr AT vabo.cz>
+ * DETAILS: 0.10.31
+
2011-07-26 Vlad Glagolev <stealth AT sourcemage.org>
* DEPENDS: check against deps' versions

diff --git a/video-libs/gst-plugins-good/gst-plugins-good-0.10.30.tar.bz2.sig
b/video-libs/gst-plugins-good/gst-plugins-good-0.10.30.tar.bz2.sig
deleted file mode 100644
index 3057fb8..0000000
Binary files
a/video-libs/gst-plugins-good/gst-plugins-good-0.10.30.tar.bz2.sig and
/dev/null differ
diff --git a/video-libs/gst-plugins-good/gst-plugins-good-0.10.31.tar.bz2.sig
b/video-libs/gst-plugins-good/gst-plugins-good-0.10.31.tar.bz2.sig
new file mode 100644
index 0000000..69d1e7e
Binary files /dev/null and
b/video-libs/gst-plugins-good/gst-plugins-good-0.10.31.tar.bz2.sig differ
diff --git a/video-libs/gst-plugins-ugly/DETAILS
b/video-libs/gst-plugins-ugly/DETAILS
index e873360..c94a53c 100755
--- a/video-libs/gst-plugins-ugly/DETAILS
+++ b/video-libs/gst-plugins-ugly/DETAILS
@@ -1,5 +1,5 @@
SPELL=gst-plugins-ugly
- VERSION=0.10.18
+ VERSION=0.10.19
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
SOURCE_URL[0]=http://gstreamer.freedesktop.org/src/$SPELL/$SOURCE
diff --git a/video-libs/gst-plugins-ugly/HISTORY
b/video-libs/gst-plugins-ugly/HISTORY
index 2cbfaf7..5c31662 100644
--- a/video-libs/gst-plugins-ugly/HISTORY
+++ b/video-libs/gst-plugins-ugly/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Ladislav Hagara <hgr AT vabo.cz>
+ * DETAILS: 0.10.19
+
2011-05-12 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 0.10.18

diff --git a/video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.18.tar.bz2.sig
b/video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.18.tar.bz2.sig
deleted file mode 100644
index 218653c..0000000
Binary files
a/video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.18.tar.bz2.sig and
/dev/null differ
diff --git a/video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.19.tar.bz2.sig
b/video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.19.tar.bz2.sig
new file mode 100644
index 0000000..8935b72
Binary files /dev/null and
b/video-libs/gst-plugins-ugly/gst-plugins-ugly-0.10.19.tar.bz2.sig differ
diff --git a/video-libs/gstreamer/DETAILS b/video-libs/gstreamer/DETAILS
index dea01fd..acfa58e 100755
--- a/video-libs/gstreamer/DETAILS
+++ b/video-libs/gstreamer/DETAILS
@@ -1,5 +1,5 @@
SPELL=gstreamer
- VERSION=0.10.35
+ VERSION=0.10.36
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
SOURCE_URL[0]=http://gstreamer.freedesktop.org/src/gstreamer/$SOURCE
diff --git a/video-libs/gstreamer/HISTORY b/video-libs/gstreamer/HISTORY
index ae3c9f7..a3996fe 100644
--- a/video-libs/gstreamer/HISTORY
+++ b/video-libs/gstreamer/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Ladislav Hagara <hgr AT vabo.cz>
+ * DETAILS: 0.10.36
+
2011-06-16 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 0.10.35

diff --git a/video-libs/gstreamer/gstreamer-0.10.35.tar.bz2.sig
b/video-libs/gstreamer/gstreamer-0.10.35.tar.bz2.sig
deleted file mode 100644
index 10dd89d..0000000
Binary files a/video-libs/gstreamer/gstreamer-0.10.35.tar.bz2.sig and
/dev/null differ
diff --git a/video-libs/gstreamer/gstreamer-0.10.36.tar.bz2.sig
b/video-libs/gstreamer/gstreamer-0.10.36.tar.bz2.sig
new file mode 100644
index 0000000..316aff4
Binary files /dev/null and
b/video-libs/gstreamer/gstreamer-0.10.36.tar.bz2.sig differ
diff --git a/x11-libs/wine/DETAILS b/x11-libs/wine/DETAILS
index da7eda8..e772903 100755
--- a/x11-libs/wine/DETAILS
+++ b/x11-libs/wine/DETAILS
@@ -12,7 +12,7 @@ SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-git"
FORCE_DOWNLOAD=1
else
if [[ $WINE_BRANCH == devel ]]; then
- VERSION=1.4-rc5
+ VERSION=1.4-rc6
else
VERSION=1.2.3
fi
diff --git a/x11-libs/wine/HISTORY b/x11-libs/wine/HISTORY
index 9d76023..f0f34d7 100644
--- a/x11-libs/wine/HISTORY
+++ b/x11-libs/wine/HISTORY
@@ -1,3 +1,6 @@
+2012-03-02 Eric Sandall <sandalle AT sourcemage.org>
+ * DETAILS: Updated devel to 1.4-rc6
+
2012-02-24 Eric Sandall <sandalle AT sourcemage.org>
* DETAILS: Updated devel to 1.4-rc5

[SM-Commit] GIT changes to devel-xorg-modular grimoire by Eric Sandall (2cfc6df13d55eb304b664d488d07422a755885fa), Eric Sandall, 03/02/2012