berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.changes ACCEPTED into proposed-updates-stable-new

2015-05-27 Thread Debian FTP Masters
Mapping stable-proposed-updates to proposed-updates.

Accepted:

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

Format: 1.8
Date: Tue, 26 May 2015 20:42:16 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1
Distribution: stable-proposed-updates
Urgency: medium
Maintainer: Debian Science Maintainers 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Ruben Undheim ruben.undh...@gmail.com
Description:
 berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Closes: 780449 782027 786916
Changes:
 berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates; 
urgency=medium
 .
   * Fixed Broken on big-endian architectures (Closes: #782027)
 - (debian/patches/abc-bugfix-20150403.diff)
   * Fixed memory alignment problem (Closes: #786916)
 - (debian/patches/04_memory_alignment_fix.patch)
   * Fixed FTBFS during reproducibility tests (Closes: 780449)
 - (debian/patches/reproducibility.patch)
Checksums-Sha1:
 b5d4490ac7f9745711800951d344df34a3c5ad19 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 a55e55bb5b2d792a97b86c4621ccfb48fa52c0ba 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 29508f55e1fa7c5c141da4e87ca41a9d949da1d8 2944694 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Checksums-Sha256:
 4f728fefcec1e14dae5fd117b1787967ad2d34bd3e32518b8ad515d5686b9a42 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 e24670372ed6c068c4f33990c80e0ceba43c0c6b71868e4a93153c154e4a4824 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 2866b1173fc19a7c0aeea85967d683af7f3c22f95af0329852970fd421c5ef28 2944694 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Files:
 c11349e9bfbb6a76df484dd69c055d33 2230 electronics optional 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 7ee4c12454ced9834d25b03f18e72dbe 7424 electronics optional 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 956f8820b91361653000f3fb44cbce42 2944694 electronics optional 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb

-BEGIN PGP SIGNATURE-
Version: GnuPG v1

iQIcBAEBCgAGBQJVZfa2AAoJEOaYIsfgKVjN8jQP/0wDpO+iWMtPzpVaivBvURWp
m9XthXdtnIlVVdrUvi32VJ0f53brd3t8d/j24iIAaF2Goxw3dxb6TAuY6jJOCD88
Ep5eoPUQ76zg8o3qtU+Uf9seC2/tL0oxg5VFA95s8GQCagtHAERzkkY1m0giHtf/
ubJ4duHqdlSXD6NT2/kHiqu1hbKmp6Wew4u9DwAG2SdOoe4K0VzZHnqZ/F/uJGvf
zAa2W7UsAcH7JDMLY+x5l2bGeZGdyVwAYYQj7gAoDaw6cb7HllQmSdf9FdXGTP0T
LzsuB440IF8Iqe8sC8t0UiDaoNSposisUOL8C6cRVg/rpfftph72d01xTAF3xA1k
XESUJM2hLvBkjPX2hINqcNDQk252nuIeXFQgK6lbEv6ZDhboBf6EMvDhwTvZva6M
pRxmvuO+xpOaNFVqzjbdcpCqgsj6sc7spEtZX/Yru39Y/6kbIHuzgYF5pVj2usEM
+nnQctMwUezKlILCTsh+SIt/iU4yjLenFLkWMMhX9ibIs9/gvABdvh2N+trOfVhx
yeWL7P5XGvOiKUGlb+pO0moEcRSS4qHf/OISmRq7I73QbsafBGbRRi7RYLiCsDIT
x1I1oNbq1lw59/nFTdxNm494vUC8HMitgenEvgYy8C4jkrlFyyDf4mHs8njfJNC9
7ZFnuLIcwJgLZvwb7Kah
=DS1y
-END PGP SIGNATURE-


Thank you for your contribution to Debian.

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers


Bug#731965: libptscotch-dev: Please upgrade to Scotch 6

2015-05-27 Thread andrey . gursky
Hi,

 I think we shall wait until 6.0.1 is released to upgrade scotch in
 Debian.

there have been already 6.0.1, 6.0.2, 6.0.3 and 6.0.4 releases [1].

Regards,
Andrey

[1] http://gforge.inria.fr/frs/?group_id=248

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers


Bug#787007: libgazebo5: recompile against libsimbody3.5 on amd64

2015-05-27 Thread Jochen Sprickerhof
Package: libgazebo5
Version: 5.0.1+dfsg-1
Severity: important

Dear Maintainer,

Gazebo is not installable on unstable amd64 at the moment. Please
recompile it on a clean unstable system (i.e. with libsimbody3.5).
libsimbody moved to 3.5 in March already.

Thanks,

Jochen

-- System Information:
Debian Release: stretch/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.0.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)

Versions of packages libgazebo5 depends on:
ii  libavcodec566:11.3-3+b3
ii  libavformat56   6:11.3-3+b3
ii  libavutil54 6:11.3-3+b3
ii  libblas3 [libblas.so.3] 1.2.20110419-10
ii  libboost-date-time1.55.01.55.0+dfsg-3
ii  libboost-filesystem1.55.0   1.55.0+dfsg-3
ii  libboost-iostreams1.55.01.55.0+dfsg-3
ii  libboost-program-options1.55.0  1.55.0+dfsg-3
ii  libboost-regex1.55.01.55.0+dfsg-3
ii  libboost-signals1.55.0  1.55.0+dfsg-3
ii  libboost-system1.55.0   1.55.0+dfsg-3
ii  libboost-thread1.55.0   1.55.0+dfsg-3
ii  libbulletcollision2.82  2.82-r2704+dfsg-2
ii  libbulletdynamics2.82   2.82-r2704+dfsg-2
ii  libbulletsoftbody2.82   2.82-r2704+dfsg-2
ii  libc6   2.19-18
ii  libcurl37.42.1-2
ii  libfreeimage3   3.15.4-4.1+b1
ii  libgcc1 1:5.1.1-7
ii  libgdal1h   1.10.1+dfsg-8+b6
ii  libgeos-c1  3.4.2-7
ii  libgl1-mesa-glx [libgl1]10.5.5-1
ii  libglib2.0-02.44.1-1
ii  libglu1-mesa [libglu1]  9.0.0-2
ii  libgts-0.7-50.7.6+darcs121130-1.2
ii  libice6 2:1.0.9-1+b1
ii  liblapack3 [liblapack.so.3] 3.5.0-4
ii  liblinearmath2.82   2.82-r2704+dfsg-2
ii  libogre-1.9.0   1.9.0+dfsg1-4
ii  libplayerc++3.0 3.0.2+dfsg-4.2+b1
ii  libplayerc3.0   3.0.2+dfsg-4.2+b1
ii  libplayercommon3.0  3.0.2+dfsg-4.2+b1
ii  libplayercore3.03.0.2+dfsg-4.2+b1
ii  libplayerinterface3.0   3.0.2+dfsg-4.2+b1
ii  libplayerwkb3.0 3.0.2+dfsg-4.2+b1
ii  libprotobuf92.6.1-1
ii  libqtcore4  4:4.8.7+dfsg-1
ii  libqtgui4   4:4.8.7+dfsg-1
ii  libsdformat22.3.0-1
ii  libsimbody3.4   3.4.1+dfsg-1
ii  libsm6  2:1.2.2-1+b1
ii  libspnav0   0.2.3-1
ii  libstdc++6  5.1.1-7
ii  libswscale3 6:11.3-3+b3
ii  libtar0 1.2.20-4+b1
ii  libtbb2 4.2~20140122-5
ii  libtinyxml2.6.2 2.6.2-2
ii  libx11-62:1.6.3-1
ii  libxext62:1.3.3-1
ii  zlib1g  1:1.2.8.dfsg-2+b1

libgazebo5 recommends no packages.

libgazebo5 suggests no packages.

-- debconf-show failed

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers


Processing of berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.changes

2015-05-27 Thread Debian FTP Masters
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.changes uploaded 
successfully to localhost
along with the files:
  berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
  berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
  berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb

Greetings,

Your Debian queue daemon (running on host franck.debian.org)

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers


Processing of opencv_2.4.9.1+dfsg-1+deb8u1_sourceall.changes

2015-05-27 Thread Debian FTP Masters
opencv_2.4.9.1+dfsg-1+deb8u1_sourceall.changes uploaded successfully to 
localhost
along with the files:
  opencv_2.4.9.1+dfsg-1+deb8u1.dsc
  opencv_2.4.9.1+dfsg-1+deb8u1.debian.tar.xz
  opencv-doc_2.4.9.1+dfsg-1+deb8u1_all.deb
  libcv2.4_2.4.9.1+dfsg-1+deb8u1_all.deb
  libhighgui2.4_2.4.9.1+dfsg-1+deb8u1_all.deb
  libcvaux2.4_2.4.9.1+dfsg-1+deb8u1_all.deb
  opencv-data_2.4.9.1+dfsg-1+deb8u1_all.deb
  libopencv2.4-java_2.4.9.1+dfsg-1+deb8u1_all.deb

Greetings,

Your Debian queue daemon (running on host franck.debian.org)

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers


opencv_2.4.9.1+dfsg-1+deb8u1_sourceall.changes ACCEPTED into proposed-updates-stable-new

2015-05-27 Thread Debian FTP Masters
Mapping jessie to stable.
Mapping stable to proposed-updates.

Accepted:

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Format: 1.8
Date: Mon, 25 May 2015 20:19:29 +0200
Source: opencv
Binary: opencv-doc libcv-dev libcv2.4 libhighgui-dev libhighgui2.4 libcvaux-dev 
libcvaux2.4 libopencv-dev opencv-data libopencv-core-dev libopencv-core2.4 
libopencv-ml-dev libopencv-ml2.4 libopencv-imgproc-dev libopencv-imgproc2.4 
libopencv-video-dev libopencv-video2.4 libopencv-objdetect-dev 
libopencv-objdetect2.4 libopencv-highgui-dev libopencv-highgui2.4 
libopencv-calib3d-dev libopencv-calib3d2.4 libopencv-flann-dev 
libopencv-flann2.4 libopencv-features2d-dev libopencv-features2d2.4 
libopencv-legacy-dev libopencv-legacy2.4 libopencv-contrib-dev 
libopencv-contrib2.4 libopencv-ts-dev libopencv-ts2.4 libopencv-photo-dev 
libopencv-photo2.4 libopencv-videostab-dev libopencv-videostab2.4 
libopencv-stitching-dev libopencv-stitching2.4 libopencv-gpu-dev 
libopencv-gpu2.4 libopencv-superres-dev libopencv-superres2.4 libopencv-ocl-dev 
libopencv-ocl2.4 libopencv2.4-java libopencv2.4-jni python-opencv
Architecture: source all
Version: 2.4.9.1+dfsg-1+deb8u1
Distribution: jessie
Urgency: medium
Maintainer: Debian Science Team 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Sebastian Ramacher sramac...@debian.org
Description:
 libcv-dev  - Translation package for libcv-dev
 libcv2.4   - computer vision library - libcv* translation package
 libcvaux-dev - Translation package for libcvaux-dev
 libcvaux2.4 - computer vision library - libcvaux translation package
 libhighgui-dev - Translation package for libhighgui-dev
 libhighgui2.4 - computer vision library - libhighgui translation package
 libopencv-calib3d-dev - development files for libopencv-calib3d
 libopencv-calib3d2.4 - computer vision Camera Calibration library
 libopencv-contrib-dev - development files for libopencv-contrib
 libopencv-contrib2.4 - computer vision contrib library
 libopencv-core-dev - development files for libopencv-core
 libopencv-core2.4 - computer vision core library
 libopencv-dev - development files for opencv
 libopencv-features2d-dev - development files for libopencv-features2d
 libopencv-features2d2.4 - computer vision Feature Detection and Descriptor 
Extraction libra
 libopencv-flann-dev - development files for libopencv-flann
 libopencv-flann2.4 - computer vision Clustering and Search in 
Multi-Dimensional spaces
 libopencv-gpu-dev - development files for libopencv-gpu2.4
 libopencv-gpu2.4 - computer vision GPU library
 libopencv-highgui-dev - development files for libopencv-highgui
 libopencv-highgui2.4 - computer vision High-level GUI and Media I/O library
 libopencv-imgproc-dev - development files for libopencv-imgproc
 libopencv-imgproc2.4 - computer vision Image Processing library
 libopencv-legacy-dev - development files for libopencv-legacy
 libopencv-legacy2.4 - computer vision legacy library
 libopencv-ml-dev - development files for libopencv-ml
 libopencv-ml2.4 - computer vision Machine Learning library
 libopencv-objdetect-dev - development files for libopencv-objdetect
 libopencv-objdetect2.4 - computer vision Object Detection library
 libopencv-ocl-dev - development files for libopencv-ocl2.4
 libopencv-ocl2.4 - computer vision OpenCL support library
 libopencv-photo-dev - development files for libopencv-photo2.4
 libopencv-photo2.4 - computer vision computational photography library
 libopencv-stitching-dev - development files for libopencv-stitching2.4
 libopencv-stitching2.4 - computer vision image stitching library
 libopencv-superres-dev - development files for libopencv-superres2.4
 libopencv-superres2.4 - computer vision Super Resolution library
 libopencv-ts-dev - development files for libopencv-ts2.4
 libopencv-ts2.4 - computer vision ts library
 libopencv-video-dev - development files for libopencv-video
 libopencv-video2.4 - computer vision Video analysis library
 libopencv-videostab-dev - development files for libopencv-videostab2.4
 libopencv-videostab2.4 - computer vision video stabilization library
 libopencv2.4-java - Java bindings for the computer vision library
 libopencv2.4-jni - Java jni library for the computer vision library
 opencv-data - development data for opencv
 opencv-doc - OpenCV documentation and examples
 python-opencv - Python bindings for the computer vision library
Closes: 784647
Changes:
 opencv (2.4.9.1+dfsg-1+deb8u1) jessie; urgency=medium
 .
   [ Bernhard Übelacker ]
   * Build with -march=i586 instead of -march=i686 on i386. (Closes: #784647)
Checksums-Sha1:
 907d99e410f7f19944eed37888df328ddf978974 5928 opencv_2.4.9.1+dfsg-1+deb8u1.dsc
 b2226d12ae9b9557bc8d36857bc260751d1f6c75 29864 
opencv_2.4.9.1+dfsg-1+deb8u1.debian.tar.xz
 f25843340927dc4df99c817a3c41b6e56ae56958 1406856 
opencv-doc_2.4.9.1+dfsg-1+deb8u1_all.deb
 d799da776cb8c54cc08eb7f176b044715bce6d76 11858 
libcv2.4_2.4.9.1+dfsg-1+deb8u1_all.deb
 ec972bc9d40239bc644abc8535229dd803e8c767 11810 

Bug#782027: marked as done (berkeley-abc: Broken on big-endian architectures)

2015-05-27 Thread Debian Bug Tracking System
Your message dated Wed, 27 May 2015 22:32:06 +
with message-id e1yxjrq-5h...@franck.debian.org
and subject line Bug#782027: fixed in berkeley-abc 
1.01+20140822hg4d547a5+dfsg-1+deb8u1
has caused the Debian Bug report #782027,
regarding berkeley-abc: Broken on big-endian architectures
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
782027: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=782027
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
---BeginMessage---
Package: berkeley-abc
Version: 1.01+20141105hg5b5af75+dfsg-1
Severity: normal
Tags: upstream


A bug has been found and fixed by Clifford Wolf. It makes some operations in
berkeley-abc broken for big-endian architectures, and may cause unstability
also for other architectures.


The following patch fixes it:


Index: berkeley-abc/src/opt/ret/retIncrem.c
===
--- berkeley-abc.orig/src/opt/ret/retIncrem.c   2015-04-03 18:36:00.361381237 
+0200
+++ berkeley-abc/src/opt/ret/retIncrem.c2015-04-03 18:36:00.357383236 +0200
@@ -176,7 +176,7 @@
 {
 // this is an old latch 
 // get its number in the original order
-if ( ! st__lookup( tLatches, (char *)pLatch, (char **)Index ) )
+if ( ! st__lookup_int( tLatches, (char *)pLatch, Index ) )
 {
 printf( Abc_NtkRetimeFinalizeLatches(): Internal error.\n );
 return 0;


Ruben


-- System Information:
Debian Release: 8.0
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.16.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages berkeley-abc depends on:
ii  libbz2-1.01.0.6-7+b3
ii  libc6 2.19-17
ii  libreadline6  6.3-8+b3
ii  zlib1g1:1.2.8.dfsg-2+b1

berkeley-abc recommends no packages.

berkeley-abc suggests no packages.

-- no debconf information
---End Message---
---BeginMessage---
Source: berkeley-abc
Source-Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1

We believe that the bug you reported is fixed in the latest version of
berkeley-abc, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 782...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ruben Undheim ruben.undh...@gmail.com (supplier of updated berkeley-abc 
package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

Format: 1.8
Date: Tue, 26 May 2015 20:42:16 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1
Distribution: stable-proposed-updates
Urgency: medium
Maintainer: Debian Science Maintainers 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Ruben Undheim ruben.undh...@gmail.com
Description:
 berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Closes: 780449 782027 786916
Changes:
 berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates; 
urgency=medium
 .
   * Fixed Broken on big-endian architectures (Closes: #782027)
 - (debian/patches/abc-bugfix-20150403.diff)
   * Fixed memory alignment problem (Closes: #786916)
 - (debian/patches/04_memory_alignment_fix.patch)
   * Fixed FTBFS during reproducibility tests (Closes: 780449)
 - (debian/patches/reproducibility.patch)
Checksums-Sha1:
 b5d4490ac7f9745711800951d344df34a3c5ad19 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 a55e55bb5b2d792a97b86c4621ccfb48fa52c0ba 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 29508f55e1fa7c5c141da4e87ca41a9d949da1d8 2944694 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Checksums-Sha256:
 4f728fefcec1e14dae5fd117b1787967ad2d34bd3e32518b8ad515d5686b9a42 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 e24670372ed6c068c4f33990c80e0ceba43c0c6b71868e4a93153c154e4a4824 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 2866b1173fc19a7c0aeea85967d683af7f3c22f95af0329852970fd421c5ef28 2944694 

Bug#784647: marked as done (libav-tools: avconv fails with Illegal Instruction)

2015-05-27 Thread Debian Bug Tracking System
Your message dated Wed, 27 May 2015 22:32:09 +
with message-id e1yxjrt-7d...@franck.debian.org
and subject line Bug#784647: fixed in opencv 2.4.9.1+dfsg-1+deb8u1
has caused the Debian Bug report #784647,
regarding libav-tools: avconv fails with Illegal Instruction
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
784647: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=784647
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
---BeginMessage---
Package: libav-tools
Version: 6:11.3-1
Severity: grave
Justification: renders package unusable

Dear Maintainer,

*** Reporter, please consider answering these questions, where appropriate ***

   * What led up to the situation?
Installing and trying to use avconv lead to the error
   * What exactly did you do (or not do) that was effective (or
 ineffective)?
Tried to use the other binaries of the package like avplay
   * What was the outcome of this action?
Running any of them returns an Illegal Instruction
   * What outcome did you expect instead?
Normal functioning
*** End of the template - remove these template lines ***


-- System Information:
Debian Release: 8.0
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 3.16.0-4-586
Locale: LANG=it_IT.UTF-8, LC_CTYPE=it_IT.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libav-tools depends on:
ii  dpkg 1.17.25
ii  libavcodec56 6:11.3-1
ii  libavdevice556:11.3-1
ii  libavfilter5 6:11.3-1
ii  libavformat566:11.3-1
ii  libavresample2   6:11.3-1
ii  libavutil54  6:11.3-1
ii  libc62.19-18
ii  libsdl1.2debian  1.2.15-10+b1
ii  libswscale3  6:11.3-1
ii  libvdpau10.8-3
ii  libx11-6 2:1.6.2-3

libav-tools recommends no packages.

Versions of packages libav-tools suggests:
pn  frei0r-plugins  none

-- no debconf information
---End Message---
---BeginMessage---
Source: opencv
Source-Version: 2.4.9.1+dfsg-1+deb8u1

We believe that the bug you reported is fixed in the latest version of
opencv, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 784...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Sebastian Ramacher sramac...@debian.org (supplier of updated opencv package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Format: 1.8
Date: Mon, 25 May 2015 20:19:29 +0200
Source: opencv
Binary: opencv-doc libcv-dev libcv2.4 libhighgui-dev libhighgui2.4 libcvaux-dev 
libcvaux2.4 libopencv-dev opencv-data libopencv-core-dev libopencv-core2.4 
libopencv-ml-dev libopencv-ml2.4 libopencv-imgproc-dev libopencv-imgproc2.4 
libopencv-video-dev libopencv-video2.4 libopencv-objdetect-dev 
libopencv-objdetect2.4 libopencv-highgui-dev libopencv-highgui2.4 
libopencv-calib3d-dev libopencv-calib3d2.4 libopencv-flann-dev 
libopencv-flann2.4 libopencv-features2d-dev libopencv-features2d2.4 
libopencv-legacy-dev libopencv-legacy2.4 libopencv-contrib-dev 
libopencv-contrib2.4 libopencv-ts-dev libopencv-ts2.4 libopencv-photo-dev 
libopencv-photo2.4 libopencv-videostab-dev libopencv-videostab2.4 
libopencv-stitching-dev libopencv-stitching2.4 libopencv-gpu-dev 
libopencv-gpu2.4 libopencv-superres-dev libopencv-superres2.4 libopencv-ocl-dev 
libopencv-ocl2.4 libopencv2.4-java libopencv2.4-jni python-opencv
Architecture: source all
Version: 2.4.9.1+dfsg-1+deb8u1
Distribution: jessie
Urgency: medium
Maintainer: Debian Science Team 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Sebastian Ramacher sramac...@debian.org
Description:
 libcv-dev  - Translation package for libcv-dev
 libcv2.4   - computer vision library - libcv* translation package
 libcvaux-dev - Translation package for libcvaux-dev
 libcvaux2.4 - computer vision library - libcvaux translation package
 libhighgui-dev - Translation package for libhighgui-dev
 libhighgui2.4 - computer vision library - libhighgui translation package
 libopencv-calib3d-dev - development files for libopencv-calib3d
 libopencv-calib3d2.4 - computer vision Camera Calibration library
 libopencv-contrib-dev - development files 

Bug#786916: marked as done (berkeley-abc: Crashes on some architectures because of memory alignment problems)

2015-05-27 Thread Debian Bug Tracking System
Your message dated Wed, 27 May 2015 22:32:06 +
with message-id e1yxjrq-5n...@franck.debian.org
and subject line Bug#786916: fixed in berkeley-abc 
1.01+20140822hg4d547a5+dfsg-1+deb8u1
has caused the Debian Bug report #786916,
regarding berkeley-abc: Crashes on some architectures because of memory 
alignment problems
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
786916: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=786916
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
---BeginMessage---
Package: berkeley-abc
Version: 1.01+20140822hg4d547a5+dfsg
Severity: important
Tags: jessie, patch


Dear Maintainer,

This patch fixes the issue (already fixed in unstable):


Index: berkeley-abc/Makefile
===
--- berkeley-abc.orig/Makefile
+++ berkeley-abc/Makefile
@@ -45,6 +45,9 @@ ARCHFLAGS ?= $(shell $(CC) arch_flags.c
 OPTFLAGS  ?= -g -O #-DABC_NAMESPACE=xxx
 
 CFLAGS   += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare 
$(OPTFLAGS) $(ARCHFLAGS) -Isrc
+ifneq ($(findstring arm,$(shell uname -m)),)
+   CFLAGS += -DABC_MEMALIGN=4
+endif
 
 # Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only
 ifneq ($(or $(findstring gcc,$(CC)),$(findstring g++,$(CC))),)
Index: berkeley-abc/src/aig/aig/aigMem.c
===
--- berkeley-abc.orig/src/aig/aig/aigMem.c
+++ berkeley-abc/src/aig/aig/aigMem.c
@@ -366,6 +366,10 @@ void Aig_MmFlexStop( Aig_MmFlex_t * p, i
 char * Aig_MmFlexEntryFetch( Aig_MmFlex_t * p, int nBytes )
 {
 char * pTemp;
+#ifdef ABC_MEMALIGN
+// extend size to max alignment
+nBytes += (ABC_MEMALIGN - nBytes % ABC_MEMALIGN) % ABC_MEMALIGN;
+#endif
 // check if there are still free entries
 if ( p-pCurrent == NULL || p-pCurrent + nBytes  p-pEnd )
 { // need to allocate more entries
@@ -535,6 +539,10 @@ char * Aig_MmStepEntryFetch( Aig_MmStep_
 {
 if ( nBytes == 0 )
 return NULL;
+#ifdef ABC_MEMALIGN
+// extend size to max alignment
+nBytes += (ABC_MEMALIGN - nBytes % ABC_MEMALIGN) % ABC_MEMALIGN;
+#endif
 if ( nBytes  p-nMapSize )
 {
 if ( p-nChunks == p-nChunksAlloc )
@@ -564,6 +572,10 @@ void Aig_MmStepEntryRecycle( Aig_MmStep_
 {
 if ( nBytes == 0 )
 return;
+#ifdef ABC_MEMALIGN
+// extend size to max alignment
+nBytes += (ABC_MEMALIGN - nBytes % ABC_MEMALIGN) % ABC_MEMALIGN;
+#endif
 if ( nBytes  p-nMapSize )
 {
 //ABC_FREE( pEntry );





Ruben
---End Message---
---BeginMessage---
Source: berkeley-abc
Source-Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1

We believe that the bug you reported is fixed in the latest version of
berkeley-abc, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 786...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ruben Undheim ruben.undh...@gmail.com (supplier of updated berkeley-abc 
package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

Format: 1.8
Date: Tue, 26 May 2015 20:42:16 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1
Distribution: stable-proposed-updates
Urgency: medium
Maintainer: Debian Science Maintainers 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Ruben Undheim ruben.undh...@gmail.com
Description:
 berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Closes: 780449 782027 786916
Changes:
 berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates; 
urgency=medium
 .
   * Fixed Broken on big-endian architectures (Closes: #782027)
 - (debian/patches/abc-bugfix-20150403.diff)
   * Fixed memory alignment problem (Closes: #786916)
 - (debian/patches/04_memory_alignment_fix.patch)
   * Fixed FTBFS during reproducibility tests (Closes: 780449)
 - (debian/patches/reproducibility.patch)
Checksums-Sha1:
 b5d4490ac7f9745711800951d344df34a3c5ad19 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 a55e55bb5b2d792a97b86c4621ccfb48fa52c0ba 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 

opencv_2.4.9.1+dfsg-1+deb8u1_sourceall.changes ACCEPTED into proposed-updates-stable-new, proposed-updates

2015-05-27 Thread Debian FTP Masters


Accepted:

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Format: 1.8
Date: Mon, 25 May 2015 20:19:29 +0200
Source: opencv
Binary: opencv-doc libcv-dev libcv2.4 libhighgui-dev libhighgui2.4 libcvaux-dev 
libcvaux2.4 libopencv-dev opencv-data libopencv-core-dev libopencv-core2.4 
libopencv-ml-dev libopencv-ml2.4 libopencv-imgproc-dev libopencv-imgproc2.4 
libopencv-video-dev libopencv-video2.4 libopencv-objdetect-dev 
libopencv-objdetect2.4 libopencv-highgui-dev libopencv-highgui2.4 
libopencv-calib3d-dev libopencv-calib3d2.4 libopencv-flann-dev 
libopencv-flann2.4 libopencv-features2d-dev libopencv-features2d2.4 
libopencv-legacy-dev libopencv-legacy2.4 libopencv-contrib-dev 
libopencv-contrib2.4 libopencv-ts-dev libopencv-ts2.4 libopencv-photo-dev 
libopencv-photo2.4 libopencv-videostab-dev libopencv-videostab2.4 
libopencv-stitching-dev libopencv-stitching2.4 libopencv-gpu-dev 
libopencv-gpu2.4 libopencv-superres-dev libopencv-superres2.4 libopencv-ocl-dev 
libopencv-ocl2.4 libopencv2.4-java libopencv2.4-jni python-opencv
Architecture: source all
Version: 2.4.9.1+dfsg-1+deb8u1
Distribution: jessie
Urgency: medium
Maintainer: Debian Science Team 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Sebastian Ramacher sramac...@debian.org
Description:
 libcv-dev  - Translation package for libcv-dev
 libcv2.4   - computer vision library - libcv* translation package
 libcvaux-dev - Translation package for libcvaux-dev
 libcvaux2.4 - computer vision library - libcvaux translation package
 libhighgui-dev - Translation package for libhighgui-dev
 libhighgui2.4 - computer vision library - libhighgui translation package
 libopencv-calib3d-dev - development files for libopencv-calib3d
 libopencv-calib3d2.4 - computer vision Camera Calibration library
 libopencv-contrib-dev - development files for libopencv-contrib
 libopencv-contrib2.4 - computer vision contrib library
 libopencv-core-dev - development files for libopencv-core
 libopencv-core2.4 - computer vision core library
 libopencv-dev - development files for opencv
 libopencv-features2d-dev - development files for libopencv-features2d
 libopencv-features2d2.4 - computer vision Feature Detection and Descriptor 
Extraction libra
 libopencv-flann-dev - development files for libopencv-flann
 libopencv-flann2.4 - computer vision Clustering and Search in 
Multi-Dimensional spaces
 libopencv-gpu-dev - development files for libopencv-gpu2.4
 libopencv-gpu2.4 - computer vision GPU library
 libopencv-highgui-dev - development files for libopencv-highgui
 libopencv-highgui2.4 - computer vision High-level GUI and Media I/O library
 libopencv-imgproc-dev - development files for libopencv-imgproc
 libopencv-imgproc2.4 - computer vision Image Processing library
 libopencv-legacy-dev - development files for libopencv-legacy
 libopencv-legacy2.4 - computer vision legacy library
 libopencv-ml-dev - development files for libopencv-ml
 libopencv-ml2.4 - computer vision Machine Learning library
 libopencv-objdetect-dev - development files for libopencv-objdetect
 libopencv-objdetect2.4 - computer vision Object Detection library
 libopencv-ocl-dev - development files for libopencv-ocl2.4
 libopencv-ocl2.4 - computer vision OpenCL support library
 libopencv-photo-dev - development files for libopencv-photo2.4
 libopencv-photo2.4 - computer vision computational photography library
 libopencv-stitching-dev - development files for libopencv-stitching2.4
 libopencv-stitching2.4 - computer vision image stitching library
 libopencv-superres-dev - development files for libopencv-superres2.4
 libopencv-superres2.4 - computer vision Super Resolution library
 libopencv-ts-dev - development files for libopencv-ts2.4
 libopencv-ts2.4 - computer vision ts library
 libopencv-video-dev - development files for libopencv-video
 libopencv-video2.4 - computer vision Video analysis library
 libopencv-videostab-dev - development files for libopencv-videostab2.4
 libopencv-videostab2.4 - computer vision video stabilization library
 libopencv2.4-java - Java bindings for the computer vision library
 libopencv2.4-jni - Java jni library for the computer vision library
 opencv-data - development data for opencv
 opencv-doc - OpenCV documentation and examples
 python-opencv - Python bindings for the computer vision library
Closes: 784647
Changes:
 opencv (2.4.9.1+dfsg-1+deb8u1) jessie; urgency=medium
 .
   [ Bernhard Übelacker ]
   * Build with -march=i586 instead of -march=i686 on i386. (Closes: #784647)
Checksums-Sha1:
 907d99e410f7f19944eed37888df328ddf978974 5928 opencv_2.4.9.1+dfsg-1+deb8u1.dsc
 b2226d12ae9b9557bc8d36857bc260751d1f6c75 29864 
opencv_2.4.9.1+dfsg-1+deb8u1.debian.tar.xz
 f25843340927dc4df99c817a3c41b6e56ae56958 1406856 
opencv-doc_2.4.9.1+dfsg-1+deb8u1_all.deb
 d799da776cb8c54cc08eb7f176b044715bce6d76 11858 
libcv2.4_2.4.9.1+dfsg-1+deb8u1_all.deb
 ec972bc9d40239bc644abc8535229dd803e8c767 11810 
libhighgui2.4_2.4.9.1+dfsg-1+deb8u1_all.deb
 

Bug#780449: marked as done (FTBFS during reproducibility tests)

2015-05-27 Thread Debian Bug Tracking System
Your message dated Wed, 27 May 2015 22:32:06 +
with message-id e1yxjrq-5b...@franck.debian.org
and subject line Bug#780449: fixed in berkeley-abc 
1.01+20140822hg4d547a5+dfsg-1+deb8u1
has caused the Debian Bug report #780449,
regarding FTBFS during reproducibility tests
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
780449: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780449
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
---BeginMessage---
Package: berkeley-abc
Version: 1.01+20140822hg4d547a5+dfsg
Tags: patch

The PTS complains about the __TIME__ etc macros, so I removed them.

Someone please apply.

Description: Remove the __TIME__ etc macros
 Otherwise the debian package checking complains...

--- berkeley-abc-1.01+20140822hg4d547a5+dfsg.orig/src/base/cmd/cmdUtils.c
+++ berkeley-abc-1.01+20140822hg4d547a5+dfsg/src/base/cmd/cmdUtils.c
@@ -581,7 +581,7 @@ void CmdCommandPrint( Abc_Frame_t * pAbc
 nColumns = 79 / (LenghtMax + 2);
 
 // print the starting message 
-fprintf( pAbc-Out,   Welcome to ABC compiled on %s %s!, __DATE__, __TIME__ );
+fprintf( pAbc-Out,   Welcome to ABC!);
 
 // print the command by group
 sGroupCur = NULL;
--- berkeley-abc-1.01+20140822hg4d547a5+dfsg.orig/src/base/main/mainUtils.c
+++ berkeley-abc-1.01+20140822hg4d547a5+dfsg/src/base/main/mainUtils.c
@@ -52,7 +52,7 @@ static char * DateReadFromDateString( ch
 char * Abc_UtilsGetVersion( Abc_Frame_t * pAbc )
 {
 static char Version[1000];
-sprintf(Version, %s (compiled %s %s), ABC_VERSION, __DATE__, __TIME__);
+sprintf(Version, %s, ABC_VERSION);
 return Version;
 }
 
---End Message---
---BeginMessage---
Source: berkeley-abc
Source-Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1

We believe that the bug you reported is fixed in the latest version of
berkeley-abc, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 780...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ruben Undheim ruben.undh...@gmail.com (supplier of updated berkeley-abc 
package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

Format: 1.8
Date: Tue, 26 May 2015 20:42:16 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1
Distribution: stable-proposed-updates
Urgency: medium
Maintainer: Debian Science Maintainers 
debian-science-maintainers@lists.alioth.debian.org
Changed-By: Ruben Undheim ruben.undh...@gmail.com
Description:
 berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Closes: 780449 782027 786916
Changes:
 berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates; 
urgency=medium
 .
   * Fixed Broken on big-endian architectures (Closes: #782027)
 - (debian/patches/abc-bugfix-20150403.diff)
   * Fixed memory alignment problem (Closes: #786916)
 - (debian/patches/04_memory_alignment_fix.patch)
   * Fixed FTBFS during reproducibility tests (Closes: 780449)
 - (debian/patches/reproducibility.patch)
Checksums-Sha1:
 b5d4490ac7f9745711800951d344df34a3c5ad19 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 a55e55bb5b2d792a97b86c4621ccfb48fa52c0ba 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 29508f55e1fa7c5c141da4e87ca41a9d949da1d8 2944694 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Checksums-Sha256:
 4f728fefcec1e14dae5fd117b1787967ad2d34bd3e32518b8ad515d5686b9a42 2230 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 e24670372ed6c068c4f33990c80e0ceba43c0c6b71868e4a93153c154e4a4824 7424 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 2866b1173fc19a7c0aeea85967d683af7f3c22f95af0329852970fd421c5ef28 2944694 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Files:
 c11349e9bfbb6a76df484dd69c055d33 2230 electronics optional 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
 7ee4c12454ced9834d25b03f18e72dbe 7424 electronics optional 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
 956f8820b91361653000f3fb44cbce42 2944694 electronics optional 
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb

-BEGIN PGP