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

Eric Sandall scm at sourcemage.org
Fri Mar 2 18:48:47 EST 2012


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- at GLIBC_VERSION@.so
--   obj:/*libc- at GLIBC_VERSION@.so
--   obj:/*libc- at GLIBC_VERSION@.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
- }
- {
-    glibc24-64bit-padding-1c
-@@ -180,7 +180,7 @@
-    fun:__nscd_get_map_ref
-    fun:nscd_get*_r
-    fun:*nscd*
--   obj:/*libc- at GLIBC_VERSION@.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
- }
- 
- 
-@@ -199,18 +199,18 @@
-    Memcheck:Param
-    socketcall.sendto(msg)
-    fun:send
--   obj:/*libc- at GLIBC_VERSION@.so
--   obj:/*libc- at GLIBC_VERSION@.so
--   obj:/*libc- at GLIBC_VERSION@.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
- }
- {
-    X11-64bit-padding-4b
-    Memcheck:Param
-    socketcall.send(msg)
-    fun:send
--   obj:/*libc- at GLIBC_VERSION@.so
--   obj:/*libc- at GLIBC_VERSION@.so
--   obj:/*libc- at GLIBC_VERSION@.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
-+   obj:/*libc- at GLIBC_VERSION@*.so
-+   obj:/*libc- at 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
 


More information about the SM-Commit mailing list