Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

2016-03-09 Thread Afif Elghraoui
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi, Marko, On الأحد 6 آذار 2016 14:53, Marko Dimjašević wrote: > > On Fri, 2016-02-26 at 17:42 -0800, Afif Elghraoui wrote: >> Something like the following: >> [...] > Thank you Afif for this! > No problem. > I am not sure what is the cause (m

gmsh is marked for autoremoval from testing

2016-03-09 Thread Debian testing autoremoval watch
gmsh 2.11.0+dfsg1-2 is marked for autoremoval from testing on 2016-04-15 It is affected by these RC bugs: 816563: libjava-gmsh2: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/i386-linux-gnu/libjava-gmsh.so -- debian-science-maintainers mailing list debian-science-maintainers@li

Processed: found 775385 in 1.16.7-1, found 668714 in 0.7.1-4, severity of 817150 is serious ..., affects 811300 ...

2016-03-09 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > found 775385 1.16.7-1 Bug #775385 [lightdm] lightdm: unowned symlink after purge (policy 6.8, 10.8): /etc/systemd/system/display-manager.service Marked as found in versions lightdm/1.16.7-1. > found 668714 0.7.1-4 Bug #668714 [tmispell-voikko] tm

Processed: retitle 812852

2016-03-09 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 812852 libvigraimpex: fail of test_multiarray_chunked on ppc64el Bug #812852 [src:libvigraimpex] libvigraimpex: FTBFS on ppc64el Changed Bug title to 'libvigraimpex: fail of test_multiarray_chunked on ppc64el' from 'libvigraimpex: FTBFS o

libvigraimpex_1.10.0+git20160211.167be93-3_multi.changes ACCEPTED into experimental

2016-03-09 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 09 Mar 2016 21:45:05 +0100 Source: libvigraimpex Binary: libvigraimpex-dev libvigraimpex6 libvigraimpex-doc python-vigra python-vigra-doc Architecture: all source Version: 1.10.0+git20160211.167be93-3 Distribution

Processing of libvigraimpex_1.10.0+git20160211.167be93-3_multi.changes

2016-03-09 Thread Debian FTP Masters
libvigraimpex_1.10.0+git20160211.167be93-3_multi.changes uploaded successfully to localhost along with the files: libvigraimpex_1.10.0+git20160211.167be93-3.dsc libvigraimpex_1.10.0+git20160211.167be93.orig.tar.xz libvigraimpex_1.10.0+git20160211.167be93-3.debian.tar.xz libvigraimpex-doc_1

Bug#817502: imview-doc: Removal of debhelper compat 4

2016-03-09 Thread niels
Source: imview-doc Severity: important Usertags: compat-4-removal Hi, The package imview-doc uses debhelper with a compat level of 4, which is deprecated and scheduled for removal. * Please bump the debhelper compat at your earliest convenience. on the 15th of June. - Compat 9 is recommen

Bug#817460: freefem3d: Removal of debhelper compat 4

2016-03-09 Thread niels
Source: freefem3d Severity: important Usertags: compat-4-removal Hi, The package freefem3d uses debhelper with a compat level of 4, which is deprecated and scheduled for removal. * Please bump the debhelper compat at your earliest convenience. on the 15th of June. - Compat 9 is recommende

Bug#817452: fftw: Removal of debhelper compat 4

2016-03-09 Thread niels
Source: fftw Severity: important Usertags: compat-4-removal Hi, The package fftw uses debhelper with a compat level of 4, which is deprecated and scheduled for removal. * Please bump the debhelper compat at your earliest convenience. on the 15th of June. - Compat 9 is recommended - Com

arachne-pnr 0.1+20151224git1a4fdf9-1 MIGRATED to testing

2016-03-09 Thread Debian testing watch
FYI: The status of the arachne-pnr source package in Debian's testing distribution has changed. Previous version: 0~20150927gitefdb026-2 Current version: 0.1+20151224git1a4fdf9-1 -- This email is automatically generated once a day. As the installation of new packages into testing happens m

python-pynlpl 0.7.7.1-2 MIGRATED to testing

2016-03-09 Thread Debian testing watch
FYI: The status of the python-pynlpl source package in Debian's testing distribution has changed. Previous version: (not in testing) Current version: 0.7.7.1-2 -- This email is automatically generated once a day. As the installation of new packages into testing happens multiple times a day

yosys 0.6-1 MIGRATED to testing

2016-03-09 Thread Debian testing watch
FYI: The status of the yosys source package in Debian's testing distribution has changed. Previous version: 0.5.0+20151013gitf13e387-1 Current version: 0.6-1 -- This email is automatically generated once a day. As the installation of new packages into testing happens multiple times a day y

memtailor 1.0~git20160302-1 MIGRATED to testing

2016-03-09 Thread Debian testing watch
FYI: The status of the memtailor source package in Debian's testing distribution has changed. Previous version: 1.0~git20130809-5 Current version: 1.0~git20160302-1 -- This email is automatically generated once a day. As the installation of new packages into testing happens multiple times

taurus_3.7.0+dfsg-2_source.changes ACCEPTED into unstable

2016-03-09 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 09 Mar 2016 10:46:59 +0100 Source: taurus Binary: python-taurus python-taurus-doc Architecture: source Version: 3.7.0+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-B

Processing of taurus_3.7.0+dfsg-2_source.changes

2016-03-09 Thread Debian FTP Masters
taurus_3.7.0+dfsg-2_source.changes uploaded successfully to localhost along with the files: taurus_3.7.0+dfsg-2.dsc taurus_3.7.0+dfsg-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-science-maintainers mailing list debian-science-mai