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

Hi Afif, On Wed, 2016-02-24 at 21:16 -0800, Afif Elghraoui wrote: > Thanks for working on this package. Thank you for taking a look at the package! > I took a look at it and found some issues. The first is the requirement > of the additional file stp_2.1.2+dfsg.orig-outputcheck.tar.gz. You >

apertium-cat_1.0.0~r65787-1_amd64.changes is NEW

binary:apertium-cat is NEW. source:apertium-cat is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient. Packages are routinely

apertium-fra_1.0.0~r65786-1_amd64.changes is NEW

binary:apertium-fra is NEW. source:apertium-fra is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient. Packages are routinely

Processing of apertium-fra_1.0.0~r65786-1_amd64.changes

apertium-fra_1.0.0~r65786-1_amd64.changes uploaded successfully to localhost along with the files: apertium-fra_1.0.0~r65786-1.dsc apertium-fra_1.0.0~r65786.orig.tar.bz2 apertium-fra_1.0.0~r65786-1.debian.tar.xz apertium-fra_1.0.0~r65786-1_all.deb Greetings, Your Debian queue

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

Hi, Marko, على الأحد 21 شباط 2016 ‫18:27، كتب Marko Dimjašević: > > Let me know if I can do something to get you interested in sponsoring > this package for the Simple theorem prover. I am desperately looking for > a sponsor. The package has been in the New queue before. Its details are > given

singular is marked for autoremoval from testing

singular 4.0.2-p2+ds-3 is marked for autoremoval from testing on 2016-04-01 It (build-)depends on packages with these RC bugs: 814970: libm4ri: FTBFS: libpng12.a: error adding symbols: Bad value collect2: error: ld returned 1 exit status -- debian-science-maintainers mailing list

libm4ri is marked for autoremoval from testing

libm4ri 20140914-2 is marked for autoremoval from testing on 2016-04-01 It is affected by these RC bugs: 814970: libm4ri: FTBFS: libpng12.a: error adding symbols: Bad value collect2: error: ld returned 1 exit status -- debian-science-maintainers mailing list

coala is marked for autoremoval from testing

coala 1.0.1-5 is marked for autoremoval from testing on 2016-02-25 It is affected by these RC bugs: 812847: coala: FTBFS: scanner.cpp:662:9: error: no match for 'operator=' -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org

libm4rie is marked for autoremoval from testing

libm4rie 20140914-1 is marked for autoremoval from testing on 2016-04-01 It (build-)depends on packages with these RC bugs: 814970: libm4ri: FTBFS: libpng12.a: error adding symbols: Bad value collect2: error: ld returned 1 exit status -- debian-science-maintainers mailing list

polybori is marked for autoremoval from testing

polybori 0.8.3-5 is marked for autoremoval from testing on 2016-04-01 It (build-)depends on packages with these RC bugs: 814970: libm4ri: FTBFS: libpng12.a: error adding symbols: Bad value collect2: error: ld returned 1 exit status -- debian-science-maintainers mailing list

gazebo is marked for autoremoval from testing

gazebo 6.5.0+dfsg-2 is marked for autoremoval from testing on 2016-03-12 It is affected by these RC bugs: 813001: gazebo: switch B-D from libsdformat3-dev to libsdformat4-dev It (build-)depends on packages with these RC bugs: 812400: urdfdom: FTBFS: Unable to find the requested Boost libraries:

Re: Comments regarding fcl_0.4.0-1_amd64.changes

Hey Thorsten: Thanks very much for the warning, you are right, I will update the debian/copyright file to include the OSRF. On Wed, Feb 24, 2016 at 4:20 PM, Thorsten Alteholz < ftpmas...@ftp-master.debian.org> wrote: > Hi Jose, > > I marked your package for accept. > Don't you want to mention

ros-geometry_1.11.7-3_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Feb 2016 21:15:29 +0100 Source: ros-geometry Binary: libtf0d libtf-dev python-tf tf-tools cl-tf libtf-conversions0d libtf-conversions-dev python-tf-conversions Architecture: source all amd64 Version: 1.11.7-3

Bug#815830: Please update to the newest version

Package: src:libfits-java Version: 1.10.0-1 Severity: wishlist X-Debbugs-Cc: frothma...@lsw.uni-heidelberg.de, att...@submm.caltech.edu Dear Florian, your Debian libfits-java package is quite outdated; version 1.14.0 is the current upstream version. Since a newer version if needed to package the

Bug#815827: libgfsgl0: missing symbolic link for libgfsview modules

Hi Stephane, those symbolic links are available in libgfs-dev package. We can add this package as a dependency of gerris. Best regards Anton -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org

Bug#815827: libgfsgl0: missing symbolic link for libgfsview modules

Package: libgfsgl0 Version: 20121130+dfsg-1 Severity: important Tags: patch Dear Maintainer, The modules installed by this package in /usr/lib/x86_64-linux-gnu/gerris are currently unusable because symbolic links are missing. The fix is simple: # cd /usr/lib/x86_64-linux-gnu/gerris # ln -s

ros-rviz_1.11.10+dfsg-2_source.changes REJECTED

ros-rviz_1.11.10+dfsg-2.dsc: Invalid size hash for ros-rviz_1.11.10+dfsg.orig.tar.xz: According to the control file the size hash should be 3461712, but ros-rviz_1.11.10+dfsg.orig.tar.xz has 1190624. If you did not include ros-rviz_1.11.10+dfsg.orig.tar.xz in your upload, a different version

Processing of ros-rviz_1.11.10+dfsg-2_source.changes

ros-rviz_1.11.10+dfsg-2_source.changes uploaded successfully to localhost along with the files: ros-rviz_1.11.10+dfsg-2.dsc ros-rviz_1.11.10+dfsg-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-science-maintainers mailing list

Processing of ros-rviz_1.11.10+dfsg-2_source.changes

ros-rviz_1.11.10+dfsg-2_source.changes uploaded successfully to ftp-master.debian.org along with the files: ros-rviz_1.11.10+dfsg-2.dsc ros-rviz_1.11.10+dfsg-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host coccia.debian.org) -- debian-science-maintainers

libmatio_1.5.6-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 24 Feb 2016 19:55:18 +0100 Source: libmatio Binary: libmatio-dev libmatio4 libmatio-doc Architecture: source amd64 all Version: 1.5.6-2 Distribution: unstable Urgency: low Maintainer: Debian Science Team

glpk_4.58-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 24 Feb 2016 20:04:02 +0100 Source: glpk Binary: libglpk39 libglpk-dev glpk-doc glpk-utils Architecture: source all amd64 Version: 4.58-2 Distribution: unstable Urgency: low Maintainer: Debian Science Team

Processing of glpk_4.58-2_amd64.changes

glpk_4.58-2_amd64.changes uploaded successfully to localhost along with the files: glpk_4.58-2.dsc glpk_4.58-2.debian.tar.xz glpk-doc_4.58-2_all.deb glpk-utils-dbgsym_4.58-2_amd64.deb glpk-utils_4.58-2_amd64.deb libglpk-dev_4.58-2_amd64.deb libglpk39-dbgsym_4.58-2_amd64.deb

Bug#815825: gerris-mpi conflicts with gfsview

Package: gerris-mpi Severity: important Dear Maintainer, gerris-mpi cannot currently be installed together with gfsview (because it conflicts with the 'gerris' package which gfsview depends on). I believe that this seriously affects the usability of the package because most users usually want to

Processing of libmatio_1.5.6-2_amd64.changes

libmatio_1.5.6-2_amd64.changes uploaded successfully to localhost along with the files: libmatio_1.5.6-2.dsc libmatio_1.5.6-2.debian.tar.xz libmatio-dev_1.5.6-2_amd64.deb libmatio-doc_1.5.6-2_all.deb libmatio4-dbgsym_1.5.6-2_amd64.deb libmatio4_1.5.6-2_amd64.deb Greetings,

Bug#815824: gerris: build_function uses wrong compiler

Package: gerris Version: 20131206+dfsg-5 Severity: grave Tags: patch Justification: renders package unusable Dear Maintainer, Gerris uses compilation in the background to evaluate user-defined functions in parameter files. This is done through the /usr/share/gerris/build_function script.

ros-rviz_1.11.10+dfsg-2_source.changes REJECTED

ros-rviz_1.11.10+dfsg-2.dsc: Invalid size hash for ros-rviz_1.11.10+dfsg.orig.tar.xz: According to the control file the size hash should be 3461712, but ros-rviz_1.11.10+dfsg.orig.tar.xz has 1190624. If you did not include ros-rviz_1.11.10+dfsg.orig.tar.xz in your upload, a different version

Processing of ros-rviz_1.11.10+dfsg-2_source.changes

ros-rviz_1.11.10+dfsg-2_source.changes uploaded successfully to localhost along with the files: ros-rviz_1.11.10+dfsg-2.dsc ros-rviz_1.11.10+dfsg-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-science-maintainers mailing list

Processing of ros-vision-opencv_1.11.11+ds-2_source.changes

ros-vision-opencv_1.11.11+ds-2_source.changes uploaded successfully to ftp-master.debian.org along with the files: ros-vision-opencv_1.11.11+ds-2.dsc ros-vision-opencv_1.11.11+ds-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host coccia.debian.org) --

Processing of ros-rviz_1.11.10+dfsg-2_source.changes

ros-rviz_1.11.10+dfsg-2_source.changes uploaded successfully to ftp-master.debian.org along with the files: ros-rviz_1.11.10+dfsg-2.dsc ros-rviz_1.11.10+dfsg-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host coccia.debian.org) -- debian-science-maintainers

cddlib_094h-1_amd64.changes ACCEPTED into unstable, unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 22 Feb 2016 23:10:45 + Source: cddlib Binary: libcdd-dev libcdd0d libcdd-tools libcdd-test libcdd0d-dbg libcdd-doc Architecture: source amd64 all Version: 094h-1 Distribution: unstable Urgency: medium

fcl_0.4.0-1_amd64.changes ACCEPTED into unstable, unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 10 Feb 2016 00:23:36 + Source: fcl Binary: libfcl0.4 libfcl-dev libfcl0.4-dbg Architecture: source amd64 Version: 0.4.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers

ros-robot-model_1.11.8-3_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Feb 2016 17:24:59 +0100 Source: ros-robot-model Binary: libcollada-parser-dev libcollada-parser0d libcollada-urdf-dev libcollada-urdf0d joint-state-publisher libkdl-parser-dev libkdl-parser0d liburdf-dev

hfst-ospell_0.4.0~r4643-2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 24 Feb 2016 22:20:53 +0530 Source: hfst-ospell Binary: hfst-ospell libhfstospell5 hfst-ospell-dev Architecture: source amd64 Version: 0.4.0~r4643-2 Distribution: experimental Urgency: low Maintainer: Debian

Bug#815814: urdfdom: FTBFS on several architectures

Source: urdfdom Version: 0.4.1-1 Severity: serious Your package failed to build on several architectures with: CMake Error at CMakeLists.txt:41 (find_package): Could not find a configuration file for package "urdfdom_headers" that is compatible with requested version "0.4". The following

Prendre sa santé en main...

Prendre sa santé en main? .titre_1_h2_33dff { color: #0033a5 !important; } .titre_2_h3_6df16 { color: #0033a5 !important; } http://clic.sante-nature-innovation.fr/t/EQ/AAGlIw/AAGzgw/ADs4dA/cQ4/x1Y/AQ/ID6K http://clic.sante-nature-innovation.fr/t/EQ/AAGlIw/AAGzgw/ADs4dA/cQ4/x1c/AQ/esYd

Processing of hfst-ospell_0.4.0~r4643-2_amd64.changes

hfst-ospell_0.4.0~r4643-2_amd64.changes uploaded successfully to localhost along with the files: hfst-ospell_0.4.0~r4643-2.dsc hfst-ospell_0.4.0~r4643-2.debian.tar.xz hfst-ospell-dbgsym_0.4.0~r4643-2_amd64.deb hfst-ospell-dev_0.4.0~r4643-2_amd64.deb hfst-ospell_0.4.0~r4643-2_amd64.deb

Processing of ros-robot-model_1.11.8-3_source.changes

ros-robot-model_1.11.8-3_source.changes uploaded successfully to localhost along with the files: ros-robot-model_1.11.8-3.dsc ros-robot-model_1.11.8-3.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org) -- debian-science-maintainers mailing list

Processing of ros-robot-model_1.11.8-3_source.changes

ros-robot-model_1.11.8-3_source.changes uploaded successfully to ftp-master.debian.org along with the files: ros-robot-model_1.11.8-3.dsc ros-robot-model_1.11.8-3.debian.tar.xz Greetings, Your Debian queue daemon (running on host coccia.debian.org) -- debian-science-maintainers

Comments regarding fcl_0.4.0-1_amd64.changes

Hi Jose, I marked your package for accept. Don't you want to mention the OSR foundation as copyright holder in your debian/copyright? Thanks! Thorsten -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org

Processed: found 815567 in 2.8.0-4, found 815746 in 4:4.14.0-3, notfound 815684 in 2.24-3 ..., tagging 815685 ...

Processing commands for cont...@bugs.debian.org: > found 815567 2.8.0-4 Bug #815567 [amarok] Amarok should depend on virtual-mysql-server-core to support MariaDB Marked as found in versions amarok/2.8.0-4. > found 815746 4:4.14.0-3 Bug #815746 [digikam] Digikam should depend on

Bug#815795: libvigraimpex6: misses Breaks: libvigraimpex5v5 (>= 1.10.0+git20160120.803d5d4-1)

Package: libvigraimpex6 Version: 1.10.0+git20160120.803d5d4-3 Severity: serious User: debian...@lists.debian.org Usertags: piuparts Hi, The Replaces should have a matching Breaks, otherwise it is possible to take over files from $oldpkg by $newpkg, remove $newpkg and dpkg still thinks $oldpkg is

ros-common-msgs_1.12.4-1_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Feb 2016 14:08:37 +0100 Source: ros-common-msgs Binary: libactionlib-msgs-dev python-actionlib-msgs cl-actionlib-msgs libdiagnostic-msgs-dev python-diagnostic-msgs cl-diagnostic-msgs libgeometry-msgs-dev

Bug#815218: marked as done (ros-image-common: FTBFS: dh_install: libcamera-calibration-parsers0d missing files: usr/lib/*/camera_calibration_parsers)

Your message dated Wed, 24 Feb 2016 13:32:54 + with message-id and subject line Bug#815218: fixed in ros-image-common 1.11.10-2 has caused the Debian Bug report #815218, regarding ros-image-common: FTBFS: dh_install: libcamera-calibration-parsers0d

Processing of ros-common-msgs_1.12.4-1_amd64.changes

ros-common-msgs_1.12.4-1_amd64.changes uploaded successfully to localhost along with the files: ros-common-msgs_1.12.4-1.dsc ros-common-msgs_1.12.4.orig.tar.gz ros-common-msgs_1.12.4-1.debian.tar.xz cl-actionlib-msgs_1.12.4-1_all.deb cl-diagnostic-msgs_1.12.4-1_all.deb

Processing of ros-common-msgs_1.12.4-1_amd64.changes

ros-common-msgs_1.12.4-1_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: ros-common-msgs_1.12.4-1.dsc ros-common-msgs_1.12.4.orig.tar.gz ros-common-msgs_1.12.4-1.debian.tar.xz cl-actionlib-msgs_1.12.4-1_all.deb cl-diagnostic-msgs_1.12.4-1_all.deb

Bug#815743: marked as done (ros-geometry-experimental: FTBFS: dh_install: tf2-tools missing files: usr/lib/*/tf2_ros/*)

Your message dated Wed, 24 Feb 2016 14:24:49 +0100 with message-id <20160224132449.gh18...@vis.informatik.uni-osnabrueck.de> and subject line ros-geometry-experimental: FTBFS: dh_install: tf2-tools missing files: usr/lib/*/tf2_ros/* has caused the Debian Bug report #815743, regarding

Bug#815744: marked as done (ros-pluginlib: FTBFS: dh_install: pluginlib-dev missing files: usr/lib/*/pluginlib)

Your message dated Wed, 24 Feb 2016 14:24:20 +0100 with message-id <20160224132420.gg18...@vis.informatik.uni-osnabrueck.de> and subject line ros-pluginlib: FTBFS: dh_install: pluginlib-dev missing files: usr/lib/*/pluginlib has caused the Debian Bug report #815744, regarding ros-pluginlib:

Processing of ros-image-common_1.11.10-2_amd64.changes

ros-image-common_1.11.10-2_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: ros-image-common_1.11.10-2.dsc ros-image-common_1.11.10-2.debian.tar.xz cl-polled-camera_1.11.10-2_all.deb image-transport-tools-dbgsym_1.11.10-2_amd64.deb

Bug#815783: r-cran-arm: FTBFS - dependencies are not available for package 'arm'

Package: r-cran-arm Version: 1.8-6-1 Severity: serious Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. [...] dh_installdirs usr/lib/R/site-library echo "R:Depends=r-base-core (>=

ros-geometry_1.11.7-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Feb 2016 12:18:20 +0100 Source: ros-geometry Binary: libtf0d libtf-dev python-tf tf-tools cl-tf libtf-conversions0d libtf-conversions-dev python-tf-conversions Architecture: source all amd64 Version: 1.11.7-2

Processing of ros-geometry_1.11.7-2_amd64.changes

ros-geometry_1.11.7-2_amd64.changes uploaded successfully to localhost along with the files: ros-geometry_1.11.7-2.dsc ros-geometry_1.11.7-2.debian.tar.xz cl-tf_1.11.7-2_all.deb libtf-conversions-dev_1.11.7-2_amd64.deb libtf-conversions0d-dbgsym_1.11.7-2_amd64.deb

Processing of ros-geometry_1.11.7-2_amd64.changes

ros-geometry_1.11.7-2_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: ros-geometry_1.11.7-2.dsc ros-geometry_1.11.7-2.debian.tar.xz cl-tf_1.11.7-2_all.deb libtf-conversions-dev_1.11.7-2_amd64.deb libtf-conversions0d-dbgsym_1.11.7-2_amd64.deb

Bug#815781: hypre: FTBFS in sid

Source: hypre Version: 2.8.0b-2 Severity: serious Justification: FTBFS Hello, hypre currently FTBFS in sid: (cd src/babel-runtime && libtoolize) libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'config'. libtoolize: linking file 'config/compile' libtoolize: linking file

Bug#815741: r-cran-arm: FTBFS: ERROR: dependencies 'MASS', 'Matrix', 'lme4', 'abind', 'coda', 'nlme' are not available for package 'arm'

Source: r-cran-arm Version: 1.8-6-1 Severity: serious Justification: fails to build from source User: reproducible-bui...@lists.alioth.debian.org Usertags: ftbfs X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org Dear Maintainer, r-cran-arm fails to build from source in unstable/amd64:

Bug#815744: ros-pluginlib: FTBFS: dh_install: pluginlib-dev missing files: usr/lib/*/pluginlib

Source: ros-pluginlib Version: 1.10.1-2 Severity: serious Justification: fails to build from source User: reproducible-bui...@lists.alioth.debian.org Usertags: ftbfs X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org Dear Maintainer, ros-pluginlib fails to build from source in