Processing of gringo_4.5.4-3_amd64.changes

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) --

arachne-pnr is marked for autoremoval from testing

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

gringo is marked for autoremoval from testing

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

yosys is marked for autoremoval from testing

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

asl is marked for autoremoval from testing

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

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

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)

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

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

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

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

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

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

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

gringo_4.5.4-2_amd64.changes ACCEPTED into unstable

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

clasp_3.1.4-2_amd64.changes ACCEPTED into unstable

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

Processing of clasp_3.1.4-2_amd64.changes

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) --