Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Florian Franzmann (abef9acdeaaf6ce2d5885fc3c8d0475e1b228cde)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Florian Franzmann <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Florian Franzmann (abef9acdeaaf6ce2d5885fc3c8d0475e1b228cde)
  • Date: Sun, 26 May 2013 14:30:30 -0500

GIT changes to master grimoire by Florian Franzmann
<siflfran AT hawo.stw.uni-erlangen.de>:

ChangeLog | 4
devel/camlp5/DETAILS | 4
devel/camlp5/HISTORY | 3
devel/coq/DEPENDS | 1
devel/coq/HISTORY | 3
devel/frama-c/DEPENDS | 14 +
devel/frama-c/DETAILS | 8
devel/frama-c/HISTORY | 4
devel/ocamlgraph/DEPENDS | 3
devel/ocamlgraph/DETAILS | 4
devel/ocamlgraph/HISTORY | 4
devel/perl/DETAILS | 6
devel/perl/HISTORY | 4
devel/why/BUILD | 5
devel/why/DEPENDS | 25
+++
devel/why/DETAILS | 26
+++
devel/why/HISTORY | 3
devel/zarith/0001-use-correct-library-suffix-in-install-target.patch | 25
+++
devel/zarith/BUILD | 3
devel/zarith/DEPENDS | 2
devel/zarith/DETAILS | 16 +
devel/zarith/HISTORY | 5
devel/zarith/PRE_BUILD | 3
ftp/wget/HISTORY | 4
ftp/wget/PRE_BUILD | 3
ftp/wget/wget-1.14-perl-5.18-pod-fixes.diff | 82
++++++++++
shell-term-fm/rxvt-unicode/HISTORY | 4
shell-term-fm/rxvt-unicode/PRE_BUILD | 3
shell-term-fm/rxvt-unicode/fix-tabber-perl-5.18-ext.diff | 12 +
video/ffmpeg/DETAILS | 2
video/ffmpeg/HISTORY | 3
31 files changed, 270 insertions(+), 18 deletions(-)

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

Revert "Revert "devel/perl: version 5.18.0, security update""

This reverts commit b550b4c70d619b46653e98916a7b6421f59b3ade.

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

shell-term-fm/rxvt-unicode: add patch to fix bug #551

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

video/ffmpeg: version 1.2.1

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

ftp/wget: fix bug #546

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

devel/why: new spell, a software verification platform

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

devel/frama-c: version Fluorine-20130501

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

devel/coq: add dependency on zarith

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

devel/camlp5: version 6.09

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

devel/zarith: new spell, arbitrary precision integers for ocaml

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

devel/ocamlgraph: version 1.8.3

diff --git a/ChangeLog b/ChangeLog
index 8599e08..f8be222 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * devel/zarith: new spell, arbitrary precision integers for ocaml
+ * devel/why: new spell, a software verification platform
+
2013-05-23 Ismael Luceno <ismael AT sourcemage.org>
* editors/vim-gnupg: new spell, Vim plugin for transparent editing of
gpg encrypted files
diff --git a/devel/camlp5/DETAILS b/devel/camlp5/DETAILS
index 5ec3a73..4e29343 100755
--- a/devel/camlp5/DETAILS
+++ b/devel/camlp5/DETAILS
@@ -1,8 +1,8 @@
SPELL=camlp5
- VERSION=6.04
+ VERSION=6.09
SOURCE="${SPELL}-${VERSION}.tgz"
SOURCE_URL[0]=http://pauillac.inria.fr/~ddr/${SPELL}/distrib/src/${SOURCE}
-
SOURCE_HASH=sha512:b1c6f5bc7ee662837b533bada68ec85f646ff372c7b8e68a2cf8503d65afd1b7710c1bc4279f85e29cb3a36fcfdef38cb261c3fe8da7037c2b5881b809a072b0
+
SOURCE_HASH=sha512:d7ccd0aeaffe4c14fdd411b2b645148823628c76a8efd4563a235a748f92393122c3f7372606056210ba4fd4fe33ee46aeeddec120ba0b7cd0d7da029111ecc5
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://pauillac.inria.fr/~ddr/camlp5";
LICENSE[0]=BSD
diff --git a/devel/camlp5/HISTORY b/devel/camlp5/HISTORY
index f10411d..3c2875f 100644
--- a/devel/camlp5/HISTORY
+++ b/devel/camlp5/HISTORY
@@ -1,3 +1,6 @@
+2012-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 6.09
+
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/DEPENDS b/devel/coq/DEPENDS
index bd27fc7..54539e4 100755
--- a/devel/coq/DEPENDS
+++ b/devel/coq/DEPENDS
@@ -1,5 +1,6 @@
depends ocaml &&
depends camlp5 &&
+depends zarith &&
optional_depends lablgtk2 \
"" \
"" \
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY
index a5a9fff..872d18a 100644
--- a/devel/coq/HISTORY
+++ b/devel/coq/HISTORY
@@ -1,3 +1,6 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DEPENDS: added dependency on zarith
+
2012-09-09 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 8.4

diff --git a/devel/frama-c/DEPENDS b/devel/frama-c/DEPENDS
index f79ca40..18e7fb9 100755
--- a/devel/frama-c/DEPENDS
+++ b/devel/frama-c/DEPENDS
@@ -1,13 +1,17 @@
-depends libart_lgpl &&
+depends ocamlgraph &&
depends atk &&
depends cairo &&
+depends coq &&
depends fontconfig &&
depends freetype2 &&
depends glib2 &&
+depends graphviz &&
depends gtk+2 &&
+depends gtksourceview &&
+depends lablgtk2 &&
+depends libart_lgpl &&
depends libgnomecanvas &&
-depends pango &&
-depends graphviz &&
+depends ltl2ba &&
depends ocaml &&
-depends gtksourceview &&
-depends lablgtk2
+depends pango &&
+depends zarith
diff --git a/devel/frama-c/DETAILS b/devel/frama-c/DETAILS
index a1317e5..33a54d2 100755
--- a/devel/frama-c/DETAILS
+++ b/devel/frama-c/DETAILS
@@ -1,9 +1,9 @@
SPELL=frama-c
- VERSION=20111001
- SOURCE="${SPELL}-Nitrogen-${VERSION}.tar.gz"
+ VERSION=Fluorine-20130501
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
SOURCE_URL[0]=http://${SPELL}.com/download/${SOURCE}
-
SOURCE_HASH=sha512:316eba07a5eff47c4fa22d116dc6a1c7adb5a617cd4719a01cf844d6dd5e9d4b2509fcd66c2ceba7d11c94f136cb7c57abd8df25415e1236361a794773580ace
-SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-Nitrogen-${VERSION}"
+
SOURCE_HASH=sha512:00272ad90a929ffc1ca634a1cc2db8162baaca2c357246e6ff41d9e4867324ce1abe0f9a9a388981a96f10f0286c5870073e4d35f58d13f072c99e3f63042375
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://frama-c.com/index.html";
LICENSE[0]=GPL
ENTERED=20120209
diff --git a/devel/frama-c/HISTORY b/devel/frama-c/HISTORY
index d5b6303..64d09fa 100644
--- a/devel/frama-c/HISTORY
+++ b/devel/frama-c/HISTORY
@@ -1,3 +1,7 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version Fluorine-20130501
+ * DEPENDS: added dependencies on coq, zarith, ltl2ba
+
2012-02-09 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS, DETAILS: spell created

diff --git a/devel/ocamlgraph/DEPENDS b/devel/ocamlgraph/DEPENDS
index 1a31e9f..4e57287 100755
--- a/devel/ocamlgraph/DEPENDS
+++ b/devel/ocamlgraph/DEPENDS
@@ -1 +1,2 @@
-depends ocaml
+depends ocaml &&
+depends lablgtk2
diff --git a/devel/ocamlgraph/DETAILS b/devel/ocamlgraph/DETAILS
index bc0c7a3..f3c0fb8 100755
--- a/devel/ocamlgraph/DETAILS
+++ b/devel/ocamlgraph/DETAILS
@@ -1,8 +1,8 @@
SPELL=ocamlgraph
- VERSION=1.8.1
+ VERSION=1.8.3
SOURCE="${SPELL}-${VERSION}.tar.gz"
SOURCE_URL[0]=http://${SPELL}.lri.fr/download/${SOURCE}
-
SOURCE_HASH=sha512:8e2aab51afd096979e3e062a86eaa1445c4cd84baf7f45bff01897ef03a9d154eacf51f494212c1a5859f83f8521584679069f9bf604f2eccb4714ebf71ab6a8
+
SOURCE_HASH=sha512:cd5fbf461f4df4f2c9002f5f583e20009042bfa151347eeaed5e984c3702770c5af9a296980e99f95556e6e1d859ee8487cf36d0b3d45118ca03540b1afa62f1
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://ocamlgraph.lri.fr";
LICENSE[0]=GPL
diff --git a/devel/ocamlgraph/HISTORY b/devel/ocamlgraph/HISTORY
index 5404b63..b654ae9 100644
--- a/devel/ocamlgraph/HISTORY
+++ b/devel/ocamlgraph/HISTORY
@@ -1,3 +1,7 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 1.8.3
+ * DEPENDS: add dependency on lablgtk2
+
2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS, DETAILS: spell created

diff --git a/devel/perl/DETAILS b/devel/perl/DETAILS
index 65ec2d2..4d0a94b 100755
--- a/devel/perl/DETAILS
+++ b/devel/perl/DETAILS
@@ -1,7 +1,7 @@
SPELL=perl
- VERSION=5.16.3
- SECURITY_PATCH=2
-
SOURCE_HASH=sha512:8328de506dcb8e2f9b0dfbff74aebce11d2edbc9d1fe95ff48b22c2061fc3947278f6abf1b16a63acf109113be2400b059fcb565a4ec83d91fe2a42ed277da5d
+ VERSION=5.18.0
+ SECURITY_PATCH=3
+
SOURCE_HASH=sha512:39f3fa9a700c93af3f49b932deaaad4d6a057333b64a7c684f1c2048996ad3c3f9e15995d282dc9917d4a8ce3cc75c70e367ba01b64b11b325bf41bbe781b574
SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
SOURCE_URL[0]=http://www.cpan.org/src/5.0/$SOURCE
diff --git a/devel/perl/HISTORY b/devel/perl/HISTORY
index b2294f4..c287459 100644
--- a/devel/perl/HISTORY
+++ b/devel/perl/HISTORY
@@ -1,3 +1,7 @@
+2013-05-19 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 5.18.0
+ SECURITY_PATCH++, fixes CVE-2012-6329, CVE-2012-5195
+
2013-0318 Treeve Jelbert <treeve AT sourcemage.org>
* DETAILS: version 5.16.3
SECURITY_PATCH++ - fixes CVE-2013-1667
diff --git a/devel/why/BUILD b/devel/why/BUILD
new file mode 100755
index 0000000..ddc4d7e
--- /dev/null
+++ b/devel/why/BUILD
@@ -0,0 +1,5 @@
+CAML_LD_LIBRARY_PATH=${INSTALL_ROOT}/usr/lib/coq LDFLAGS+=" -Wl,-z,defs" \
+ default_build_configure &&
+make_single &&
+default_build_make &&
+make_normal
diff --git a/devel/why/DEPENDS b/devel/why/DEPENDS
new file mode 100755
index 0000000..40d199c
--- /dev/null
+++ b/devel/why/DEPENDS
@@ -0,0 +1,25 @@
+depends atk &&
+depends cairo &&
+depends camlidl &&
+depends fontconfig &&
+depends frama-c &&
+depends freetype2 &&
+depends gdk-pixbuf2 &&
+depends glib2 &&
+depends gmp &&
+depends mlgmpidl &&
+depends mpfr &&
+depends ocaml &&
+depends pango &&
+optional_depends lablgtk2 \
+ "" \
+ "" \
+ "for a graphical user interface" &&
+optional_depends coq \
+ "" \
+ "" \
+ "to use coq" &&
+optional_depends alt-ergo \
+ "" \
+ "" \
+ "use alt-ergo"
diff --git a/devel/why/DETAILS b/devel/why/DETAILS
new file mode 100755
index 0000000..a9db03d
--- /dev/null
+++ b/devel/why/DETAILS
@@ -0,0 +1,26 @@
+ SPELL=why
+ VERSION=2.33
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
+ SOURCE_URL[0]=http://${SPELL}.lri.fr/download/${SOURCE}
+
SOURCE_HASH=sha512:aef4fc09b23600bc76203b1b276afcde0035e1186f899c007c5fe183345dc4b93bddf3f27abd1a3c0830cc3ebf127b6eaba20f54b22deeedd5d2723a012f9746
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://why.lri.fr";
+ LICENSE[0]=GPL
+ ENTERED=20120305
+ SHORT="a software verification platform"
+cat << EOF
+Why is a software verification platform.
+
+This platform contains several tools:
+
+* a general-purpose verification condition generator (VCG), Why, which is
used
+ as a back-end by other verification tools (see below) but which can also
+ be used directly to verify programs (see for instance these examples) ;
+* a tool Krakatoa for the verification of Java programs; * a tool Caduceus
+for the verification of C programs; note that Caduceus is
+ somewhat obsolete now and users should turn to Frama-C instead.
+
+One of the main features of Why is to be integrated with many existing
provers
+(proof assistants such as Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar
+and decision procedures such as Simplify, Alt-Ergo, Yices, Z3, CVC3, etc.).
+EOF
diff --git a/devel/why/HISTORY b/devel/why/HISTORY
new file mode 100644
index 0000000..de1dd71
--- /dev/null
+++ b/devel/why/HISTORY
@@ -0,0 +1,3 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * BUILD, DEPENDS, DETAILS: spell created
+
diff --git
a/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch
b/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch
new file mode 100644
index 0000000..f0b0db9
--- /dev/null
+++ b/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch
@@ -0,0 +1,25 @@
+From f85024e93a8b3292433b27a074fefafea0f979d4 Mon Sep 17 00:00:00 2001
+From: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+Date: Sun, 26 May 2013 13:35:01 +0200
+Subject: [PATCH] use correct library suffix in install target
+
+---
+ project.mak | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/project.mak b/project.mak
+index 6f43306..865b7ea 100644
+--- a/project.mak
++++ b/project.mak
+@@ -109,7 +109,7 @@ endif
+
+ ifeq ($(INSTMETH),findlib)
+ install:
+- $(OCAMLFIND) install -destdir "$(INSTALLDIR)" zarith META
$(TOINSTALL) dllzarith.dll
++ $(OCAMLFIND) install -destdir "$(INSTALLDIR)" zarith META
$(TOINSTALL) dllzarith.$(DLLSUFFIX)
+
+ uninstall:
+ $(OCAMLFIND) remove -destdir "$(INSTALLDIR)" zarith
+--
+1.8.2.3
+
diff --git a/devel/zarith/BUILD b/devel/zarith/BUILD
new file mode 100755
index 0000000..ba546ed
--- /dev/null
+++ b/devel/zarith/BUILD
@@ -0,0 +1,3 @@
+./configure -installdir "${INSTALL_ROOT}/usr/lib/ocaml" \
+ -gmp &&
+default_build_make
diff --git a/devel/zarith/DEPENDS b/devel/zarith/DEPENDS
new file mode 100755
index 0000000..a187db3
--- /dev/null
+++ b/devel/zarith/DEPENDS
@@ -0,0 +1,2 @@
+depends ocaml &&
+depends gmp
diff --git a/devel/zarith/DETAILS b/devel/zarith/DETAILS
new file mode 100755
index 0000000..5453f91
--- /dev/null
+++ b/devel/zarith/DETAILS
@@ -0,0 +1,16 @@
+ SPELL=zarith
+ VERSION=1.2
+ SOURCE="${SPELL}-${VERSION}.tgz"
+ SOURCE_URL[0]=http://forge.ocamlcore.org/frs/download.php/1187/${SOURCE}
+
SOURCE_HASH=sha512:acf508563266d07a6311d30f3d6ca770f162204fd674f17a042a9aa7305fccdd4f35f8df373a4df12729d324d5ecdb96ef62b287e39de60c4a62c102ecd02600
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://forge.ocamlcore.org/projects/zarith";
+ LICENSE[0]=LGPL
+ ENTERED=20130526
+ SHORT="arbitrary precision integers for ocaml"
+cat << EOF
+The Zarith library implements arithmetic and logical operations over
+arbitrary-precision integers. It uses GMP to efficiently implement arithmetic
+over big integers. Small integers are represented as Caml unboxed integers,
+for speed and space economy.
+EOF
diff --git a/devel/zarith/HISTORY b/devel/zarith/HISTORY
new file mode 100644
index 0000000..d900bb3
--- /dev/null
+++ b/devel/zarith/HISTORY
@@ -0,0 +1,5 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DEPENDS, DETAILS,
+ 0001-use-correct-library-suffix-in-install-target.patch,
+ BUILD, PRE_BUILD: spell created
+
diff --git a/devel/zarith/PRE_BUILD b/devel/zarith/PRE_BUILD
new file mode 100755
index 0000000..7da4f9c
--- /dev/null
+++ b/devel/zarith/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd ${SOURCE_DIRECTORY} &&
+patch -p1 <
${SPELL_DIRECTORY}/0001-use-correct-library-suffix-in-install-target.patch
diff --git a/ftp/wget/HISTORY b/ftp/wget/HISTORY
index 9d94ae6..2b75569 100644
--- a/ftp/wget/HISTORY
+++ b/ftp/wget/HISTORY
@@ -1,3 +1,7 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * PRE_BUILD, wget-1.14-perl-5.18-pod-fixes.diff: add fix for
+ bug #546
+
2012-08-11 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 1.14, bz2 -> xz

diff --git a/ftp/wget/PRE_BUILD b/ftp/wget/PRE_BUILD
new file mode 100755
index 0000000..6cda7c3
--- /dev/null
+++ b/ftp/wget/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd ${SOURCE_DIRECTORY} &&
+patch -p1 < ${SPELL_DIRECTORY}/wget-1.14-perl-5.18-pod-fixes.diff
diff --git a/ftp/wget/wget-1.14-perl-5.18-pod-fixes.diff
b/ftp/wget/wget-1.14-perl-5.18-pod-fixes.diff
new file mode 100644
index 0000000..5110ab7
--- /dev/null
+++ b/ftp/wget/wget-1.14-perl-5.18-pod-fixes.diff
@@ -0,0 +1,82 @@
+diff -Naur wget-1.14.orig/doc/wget.texi wget-1.14.new/doc/wget.texi
+--- wget-1.14.orig/doc/wget.texi 2012-08-04 02:41:52.000000000 -0600
++++ wget-1.14.new/doc/wget.texi 2013-05-26 11:18:52.986107183 -0600
+@@ -876,7 +876,7 @@
+ actions of one.
+
+ @cindex proxy
+-@itemx --no-proxy
++@item --no-proxy
+ Don't use proxies, even if the appropriate @code{*_proxy} environment
+ variable is defined.
+
+@@ -977,7 +977,7 @@
+ whose encoding does not match the one used locally.
+
+ @cindex IPv6
+-@itemx -4
++@item -4
+ @itemx --inet4-only
+ @itemx -6
+ @itemx --inet6-only
+@@ -2106,32 +2106,32 @@
+
+
+ @table @asis
+-@item 0
++@item .0
+ No problems occurred.
+
+-@item 1
++@item .1
+ Generic error code.
+
+-@item 2
+-Parse error---for instance, when parsing command-line options, the
++@item .2
++Parse error - for instance, when parsing command-line options, the
+ @samp{.wgetrc} or @samp{.netrc}...
+
+-@item 3
++@item .3
+ File I/O error.
+
+-@item 4
++@item .4
+ Network failure.
+
+-@item 5
++@item .5
+ SSL verification failure.
+
+-@item 6
++@item .6
+ Username/password authentication failure.
+
+-@item 7
++@item .7
+ Protocol errors.
+
+-@item 8
++@item .8
+ Server issued an error response.
+ @end table
+
+@@ -3094,7 +3094,7 @@
+ Change setting of passive @sc{ftp}, equivalent to the
+ @samp{--passive-ftp} option.
+
+-@itemx password = @var{string}
++@item password = @var{string}
+ Specify password @var{string} for both @sc{ftp} and @sc{http} file
retrieval.
+ This command can be overridden using the @samp{ftp_password} and
+ @samp{http_password} command for @sc{ftp} and @sc{http} respectively.
+@@ -3605,7 +3605,7 @@
+ may be specified from within Wget itself.
+
+ @table @samp
+-@itemx --no-proxy
++@item --no-proxy
+ @itemx proxy = on/off
+ This option and the corresponding command may be used to suppress the
+ use of proxy, even if the appropriate environment variables are set.
diff --git a/shell-term-fm/rxvt-unicode/HISTORY
b/shell-term-fm/rxvt-unicode/HISTORY
index 3b2ae09..6608171 100644
--- a/shell-term-fm/rxvt-unicode/HISTORY
+++ b/shell-term-fm/rxvt-unicode/HISTORY
@@ -1,3 +1,7 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * PRE_BUILD, fix-tabber-perl-5.18-ext.diff: added patch from Arch
+ to fix bug #551
+
2013-05-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 9.18

diff --git a/shell-term-fm/rxvt-unicode/PRE_BUILD
b/shell-term-fm/rxvt-unicode/PRE_BUILD
new file mode 100755
index 0000000..bd0a1a8
--- /dev/null
+++ b/shell-term-fm/rxvt-unicode/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd ${SOURCE_DIRECTORY} &&
+patch -p1 < ${SPELL_DIRECTORY}/fix-tabber-perl-5.18-ext.diff
diff --git a/shell-term-fm/rxvt-unicode/fix-tabber-perl-5.18-ext.diff
b/shell-term-fm/rxvt-unicode/fix-tabber-perl-5.18-ext.diff
new file mode 100644
index 0000000..adb140b
--- /dev/null
+++ b/shell-term-fm/rxvt-unicode/fix-tabber-perl-5.18-ext.diff
@@ -0,0 +1,12 @@
+# https://bugs.archlinux.org/task/35420
+--- a/src/perl/tabbed 2012-09-12 17:32:04.000000000 +0900
++++ b/src/perl/tabbed 2013-05-24 13:04:37.000000000 +0900
+@@ -402,7 +402,7 @@
+ # simply proxies all interesting calls back to the tabbed class.
+
+ {
+- for my $hook qw(start destroy key_press property_notify) {
++ for my $hook (qw(start destroy key_press property_notify)) {
+ eval qq{
+ sub on_$hook {
+ my \$parent = \$_[0]{term}{parent}
diff --git a/video/ffmpeg/DETAILS b/video/ffmpeg/DETAILS
index 3a61e06..03df390 100755
--- a/video/ffmpeg/DETAILS
+++ b/video/ffmpeg/DETAILS
@@ -1,6 +1,6 @@
SPELL=ffmpeg
if [[ $FFMPEG_RELEASE == stable ]]; then
- VERSION=1.0.5
+ VERSION=1.2.1
SECURITY_PATCH=14
else
VERSION=0.7.13
diff --git a/video/ffmpeg/HISTORY b/video/ffmpeg/HISTORY
index b566e04..03262c0 100644
--- a/video/ffmpeg/HISTORY
+++ b/video/ffmpeg/HISTORY
@@ -1,3 +1,6 @@
+2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 1.2.1
+
2013-03-11 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 1.0.5




  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (abef9acdeaaf6ce2d5885fc3c8d0475e1b228cde), Florian Franzmann, 05/26/2013

Archive powered by MHonArc 2.6.24.

Top of Page