gringo_4.5.4-3_amd64.changes ACCEPTED into unstable

2016-05-01 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 02 May 2016 07:18:34 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner

Processing of gringo_4.5.4-3_amd64.changes

2016-05-01 Thread Debian FTP Masters
gringo_4.5.4-3_amd64.changes uploaded successfully to localhost along with the files: gringo_4.5.4-3.dsc gringo_4.5.4-3.debian.tar.xz gringo-dbgsym_4.5.4-3_amd64.deb gringo_4.5.4-3_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-scienc

arachne-pnr is marked for autoremoval from testing

2016-05-01 Thread Debian testing autoremoval watch
arachne-pnr 0.1+20151224git1a4fdf9-1 is marked for autoremoval from testing on 2016-06-07 It (build-)depends on packages with these RC bugs: 822408: yosys: FTBFS: error: expected unqualified-id before '(' token -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.

gringo is marked for autoremoval from testing

2016-05-01 Thread Debian testing autoremoval watch
gringo 4.5.4-1 is marked for autoremoval from testing on 2016-06-07 It is affected by these RC bugs: 822383: gringo: FTBFS: error: 'pow' is not a member of 'std' -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/

yosys is marked for autoremoval from testing

2016-05-01 Thread Debian testing autoremoval watch
yosys 0.6-4 is marked for autoremoval from testing on 2016-06-07 It is affected by these RC bugs: 822408: yosys: FTBFS: error: expected unqualified-id before '(' token -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cg

asl is marked for autoremoval from testing

2016-05-01 Thread Debian testing autoremoval watch
asl 0.1.6-1 is marked for autoremoval from testing on 2016-05-23 It is affected by these RC bugs: 822469: asl: FTBFS: error: expected unqualified-id before 'sizeof' -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-b

Bug#823174: ros-pluginlib: debian/rules uses non-portable shell syntax; please make the build reproducible (shell)

2016-05-01 Thread Daniel Shahaf
Source: ros-pluginlib Version: 1.10.1-3 Severity: minor Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: environment Dear Maintainer, While working on the “reproducible builds” effort, we have noticed that ros-pluginlib could not be built reproducibly; the diff between two

Bug#822120: marked as done (Boost 1.55 to be removed; your attention required)

2016-05-01 Thread Debian Bug Tracking System
Your message dated Sun, 1 May 2016 08:35:04 + with message-id <20160501083504.gc6...@chase.mapreri.org> and subject line Fixed in 1:0.101.1-1 has caused the Debian Bug report #822120, regarding Boost 1.55 to be removed; your attention required to be marked as done. This means that you claim th

Bug#777848: marked as done (feel++: ftbfs with GCC-5)

2016-05-01 Thread Debian Bug Tracking System
Your message dated Sun, 1 May 2016 08:35:04 + with message-id <20160501083504.gc6...@chase.mapreri.org> and subject line Fixed in 1:0.101.1-1 has caused the Debian Bug report #777848, regarding feel++: ftbfs with GCC-5 to be marked as done. This means that you claim that the problem has been d

Bug#821876: marked as done (libfeel++-dev: Depends on libvtk5-dev, which will be removed)

2016-05-01 Thread Debian Bug Tracking System
Your message dated Sun, 1 May 2016 08:35:04 + with message-id <20160501083504.gc6...@chase.mapreri.org> and subject line Fixed in 1:0.101.1-1 has caused the Debian Bug report #821876, regarding libfeel++-dev: Depends on libvtk5-dev, which will be removed to be marked as done. This means that y

Bug#811714: marked as done (FTBFS: unknown type name 'matrix'; did you mean 'Feel::tag::matrix')

2016-05-01 Thread Debian Bug Tracking System
Your message dated Sun, 1 May 2016 08:35:04 + with message-id <20160501083504.gc6...@chase.mapreri.org> and subject line Fixed in 1:0.101.1-1 has caused the Debian Bug report #811714, regarding FTBFS: unknown type name 'matrix'; did you mean 'Feel::tag::matrix' to be marked as done. This means

Bug#822383: marked as done (gringo: FTBFS: error: 'pow' is not a member of 'std')

2016-05-01 Thread Debian Bug Tracking System
Your message dated Sun, 01 May 2016 07:20:48 + with message-id and subject line Bug#822383: fixed in gringo 4.5.4-2 has caused the Debian Bug report #822383, regarding gringo: FTBFS: error: 'pow' is not a member of 'std' to be marked as done. This means that you claim that the problem has bee

gringo_4.5.4-2_amd64.changes ACCEPTED into unstable

2016-05-01 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 May 2016 08:47:29 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner

clasp_3.1.4-2_amd64.changes ACCEPTED into unstable

2016-05-01 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 May 2016 08:51:17 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.4-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner De

Processing of clasp_3.1.4-2_amd64.changes

2016-05-01 Thread Debian FTP Masters
clasp_3.1.4-2_amd64.changes uploaded successfully to localhost along with the files: clasp_3.1.4-2.dsc clasp_3.1.4-2.debian.tar.xz clasp-dbgsym_3.1.4-2_amd64.deb clasp_3.1.4-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-science-mai

Processing of gringo_4.5.4-2_amd64.changes

2016-05-01 Thread Debian FTP Masters
gringo_4.5.4-2_amd64.changes uploaded successfully to localhost along with the files: gringo_4.5.4-2.dsc gringo_4.5.4-2.debian.tar.xz gringo-dbgsym_4.5.4-2_amd64.deb gringo_4.5.4-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-scienc