jhdf is marked for autoremoval from testing

2016-02-26 Thread Debian testing autoremoval watch
jhdf 2.9-3 is marked for autoremoval from testing on 2016-03-14

It is affected by these RC bugs:
813261: jhdf: FTBFS: checking dependencies for HDF5 library... configure: 
error:  HDF5 library needs SZIP, SZIP not defined.


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


yorick-ynfft is marked for autoremoval from testing

2016-02-26 Thread Debian testing autoremoval watch
yorick-ynfft 1.0.3-1 is marked for autoremoval from testing on 2016-03-13

It (build-)depends on packages with these RC bugs:
811223: fftw: FTBFS: perl texi2html: Can't use 'defined(@array)'
813725: gyoto: FTBFS: gyoto.C: Error initializing libgyoto


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


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

2016-02-26 Thread Afif Elghraoui
Hi, Anton,

على الجمعـة 26 شباط 2016 ‫11:42، كتب Anton Gladky:
> Hi Marko,
> 
[...]
> Feel free to ask me, if you have some questions regarding those
> notes. You have done a great job, please fix those notices and
> I will upload the package (Afif, if you want, feel free to do it).
>

That's alright, you can go ahead. I would just add that the source for
the second tarball be documented somewhere or configured to be
downloaded in debian/watch with a second uscan line. Something like the
following:

version=4

opts="dversionmangle=s/\+dfsg\d*$//" \
https://github.com/stp/stp/tags \
(?:.*/)?v?(\d[\d\.]*)\.tar\.gz \
debian

opts="dversionmangle=s/\+dfsg\d*$//,component=outputcheck" \
https://github.com/stp/OutputCheck/tags \
(?:.*/)?v?(\d[\d\.]*)\.tar\.gz \
ignore uupdate

regards
Afif

-- 
Afif Elghraoui | عفيف الغراوي
http://afif.ghraoui.name

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

armci-mpi_0.0~git20160222-1_amd64.changes is NEW

2016-02-26 Thread Debian FTP Masters
binary:libarmci-mpi-dev is NEW.
source:armci-mpi 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 processed through to the archive, and do feel
free to browse the NEW queue[1].

If there is an issue with the upload, you will receive an email from a
member of the ftpteam.

If you have any questions, you may reply to this email.

[1]: https://ftp-master.debian.org/new.html

-- 
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 armci-mpi_0.0~git20160222-1_amd64.changes

2016-02-26 Thread Debian FTP Masters
armci-mpi_0.0~git20160222-1_amd64.changes uploaded successfully to localhost
along with the files:
  armci-mpi_0.0~git20160222-1.dsc
  armci-mpi_0.0~git20160222.orig.tar.gz
  armci-mpi_0.0~git20160222-1.debian.tar.xz
  libarmci-mpi-dev_0.0~git20160222-1_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


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

2016-02-26 Thread Anton Gladky
Hi Marko,

the package looks fine, but I have a couple of notice:

- Use DEP-3 format for the patch
- Try not to use source/lintian-overrides, but fix it in the code.
- lib/extlib-abc/aig/cnf/cnfData.c looks strange, is it some kind
  of binary, not the source code?
- Use Files-Exclude parameter in d/copyright to drop PDF-files and
  generate dfsg-version of package.
- Apply "cme fix dpkg" to fix parameters formatting
- Use desktop-file instead of menu-file [1]:
- What is "outfile"?
- Clean d/rules from some comments, which are not relevant
- stp.install:
   - Remove debian/tmp, use just usr/bin usr/include etc.
   - Do not use versions in libs, use instead usr/lib/libstp.so.*
   - Think, whether you really need static lib (libstp.a)
   - Use multiarch path (GNUInstallDirs does it perfectly for cmake)
   - Think about splitting stp onto: stp, libstp2.1 and libstp-dev
(not mandatory)
- Please use VCS on git.debian.org
- Fix control-file according to debian-science policy
- Please double-check all files and their licenses. Everything should be
  documented in d/copyright.

Feel free to ask me, if you have some questions regarding those
notes. You have done a great job, please fix those notices and
I will upload the package (Afif, if you want, feel free to do it).

[1] https://lists.debian.org/debian-devel-announce/2015/09/msg0.html
"We further resolve that "menu programs" should not depend on the
 Debian Menu System and should instead rely on .desktop file
 contents for constructing a list of applications to present to
 the user."

Best regards

Anton


2016-02-22 3:27 GMT+01:00 Marko Dimjašević :
> Dear all,
>
> 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 below. The package is also available on Alioth:
>
> git.debian.org/git/debian-science/packages/stp.git
>
>
> --
> Regards,
> Marko Dimjašević  .   University of Utah
> https://dimjasevic.net/marko . PGP key ID: 1503F0AA
> Learn email self-defense!  https://emailselfdefense.fsf.org
>
>
> On Sat, 2016-02-13 at 17:41 -0700, Marko Dimjašević wrote:
>> Package: sponsorship-requests
>> Severity: wishlist
>>
>> Dear mentors,
>>
>> I am looking for a sponsor for my package "stp"
>>
>> * Package name: stp
>>   Version : 2.1.2+dfsg-1
>>   Upstream Author : STP developers
>> * URL : https://stp.github.io/
>> * License : Expat and others
>>   Section : science
>>
>> It builds those binary packages:
>>
>>   python-stp - Simple theorem prover library bindgings for Python
>>   stp - Simple theorem prover
>>
>> To access further information about this package, please visit the
>> following URL:
>>
>>   http://mentors.debian.net/package/stp
>>
>>
>> Alternatively, one can download the package with dget using this
>> command:
>>
>>   dget -x http://mentors.debian.net/debian/pool/main/s/stp/stp_2.1.2
>> +dfsg-1.dsc
>>
>> More information about STP can be obtained from https://stp.github.io/.
>>
>> Changes since the last upload:
>>
>>   - new upstream release
>>   - added copyright for the OutputCheck archive per Thorsten Alteholz's
>> instructions (ftp-master)
>>
>>
>
>
> --
> debian-science-maintainers mailing list
> debian-science-maintainers@lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

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

hfst-ospell_0.4.0~r4643-3_amd64.changes ACCEPTED into unstable

2016-02-26 Thread Debian FTP Masters


Accepted:

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Format: 1.8
Date: Fri, 26 Feb 2016 21:07:01 +0530
Source: hfst-ospell
Binary: hfst-ospell libhfstospell5 hfst-ospell-dev
Architecture: source amd64
Version: 0.4.0~r4643-3
Distribution: unstable
Urgency: low
Maintainer: Debian Science Team 

Changed-By: Kartik Mistry 
Description:
 hfst-ospell - Spell checker library and tool based on HFST
 hfst-ospell-dev - HFST spell checker development files
 libhfstospell5 - HFST spell checker runtime libraries
Changes:
 hfst-ospell (0.4.0~r4643-3) unstable; urgency=low
 .
   [ Kartik Mistry ]
   * Upload to unstable.
 .
   [ Tino Didriksen ]
   * debian/rules:
 + Removed parallel build option to re-enable tests.
Checksums-Sha1:
 aeb248fddf20c840df6c43d5c7449e3ab02c2067 2326 hfst-ospell_0.4.0~r4643-3.dsc
 0f925b73ebf68ba943f9ed2a2d0f8c064920fc71 3008 
hfst-ospell_0.4.0~r4643-3.debian.tar.xz
 5aed77138b0dfa8c6cc5cce528f73f19e8227c30 276170 
hfst-ospell-dbgsym_0.4.0~r4643-3_amd64.deb
 8157e326fac4a9eb21f52de60fd2ea9931ef71cc 24664 
hfst-ospell-dev_0.4.0~r4643-3_amd64.deb
 b54962bec630eb712a3460405724411e9dbdd166 37102 
hfst-ospell_0.4.0~r4643-3_amd64.deb
 e8eb3e4878889b197eb25e31f1811e0ff8a6a95e 675840 
libhfstospell5-dbgsym_0.4.0~r4643-3_amd64.deb
 74d4d0ee48783a33ab847153e9adea240e5aa88d 79580 
libhfstospell5_0.4.0~r4643-3_amd64.deb
Checksums-Sha256:
 19eba753a44cfe64daead2f8a6221606f6167ff974cbc6d2a248c489e7d9b572 2326 
hfst-ospell_0.4.0~r4643-3.dsc
 d23a1125208bf772e60bac782abc5f6d8f1fb0f71362712b229fff361fafaede 3008 
hfst-ospell_0.4.0~r4643-3.debian.tar.xz
 b1fa46753f8f3c2d921d0422d810dd4afe6e3cb31a69a91279c3d3f2218a758f 276170 
hfst-ospell-dbgsym_0.4.0~r4643-3_amd64.deb
 cbab7fce4813e66829e85e812b2e4dbfa2bf63716e835ab85beb10da2e32 24664 
hfst-ospell-dev_0.4.0~r4643-3_amd64.deb
 ce58a87ebb3d57403643bb6f0af0b5ac6c9fb1523ba623bff8dc0db96a86e324 37102 
hfst-ospell_0.4.0~r4643-3_amd64.deb
 591fa805386a66bec2b43a8643c7285cbe3eb68e7d806019f92a0f8db1169c67 675840 
libhfstospell5-dbgsym_0.4.0~r4643-3_amd64.deb
 330ad2f35954e64ad89280927beb41cb84f9f352b42c981269e124b65f40b4e9 79580 
libhfstospell5_0.4.0~r4643-3_amd64.deb
Files:
 479fe8f5daed05a17b206284713f2b4f 2326 science optional 
hfst-ospell_0.4.0~r4643-3.dsc
 17a60870eeaae4b17efcfde9ecfa396a 3008 science optional 
hfst-ospell_0.4.0~r4643-3.debian.tar.xz
 8e7002206169492bc92a342c20fbf5c8 276170 debug extra 
hfst-ospell-dbgsym_0.4.0~r4643-3_amd64.deb
 f054db46f6cd64015bcb737264fa0042 24664 devel optional 
hfst-ospell-dev_0.4.0~r4643-3_amd64.deb
 64fe3db4e8f48cbe2c2e7e343b9f2f60 37102 science optional 
hfst-ospell_0.4.0~r4643-3_amd64.deb
 5c5703988b654b991253a718ded70b52 675840 debug extra 
libhfstospell5-dbgsym_0.4.0~r4643-3_amd64.deb
 554bf7e66b29acb32b01c987d4f509d1 79580 science optional 
libhfstospell5_0.4.0~r4643-3_amd64.deb

-BEGIN PGP SIGNATURE-
Version: GnuPG v1

iQIcBAEBCAAGBQJW0HuVAAoJEALB0/J4OqTeOmQP/2HD1eyNznExGsrEYsjPPYlk
EqsZ26A3xwmIOdQ3+K44VzFjgYp06TxbJzGwZY/vW/Dxg7h0L5FdOM/C20bL+8+R
7ABRxmryPCtUzCrQi7fOj/iRuUG+s31pbj42+mVFQHUwGySc8h08VTpy55OjqtUA
u/nhHMyCBmXuc1qJUh0hTt4vZryTLYmCLgNNbYCzgmPaH/P2a5XR9rVXLjOlhrjA
8ndrHoM2Kjf//jDVeAWyPDZ9b1BkgCgCGCFeaZF1Ug1CYfHZPgQ2kQ2TnYQrxVFG
eVbOxmisc6sNJNWX3n+zFBhtfYgPdgqKKoYx97qbeelNpq7QWMA0enX4d3QUrd7m
zi/Af6c2fXT0DJw05+CDS7jDtlmDHAyecUZEJGS3pTtyF2ZSjiog1MTCsDISLNNs
Z5zVEOUW/x2S7G6rwbyIzcXjVuy6jtJTBBzkjiM0dRHlG51aywiWS6tSfxV0vBDP
/BEaBkxkCvPM45MN3uecRtiAPBl4FzSnjy/2HizweEy23BTAx/0v7xBwQwibPBc0
bSrdbZwkCuk0FvzOqUfD3qcdCVwBOXqMKQ9b5Pa+nmM3T5YOevCbKMBHeFNHESGz
v2IHZrqWFUbMFPa6YpMi+Ymb+T2TqGiE+SoAw077YJ2PnKZbElDTpSOiWueoCVuL
y8isSLs9M4+QmE8FmH1y
=K+kw
-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


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

2016-02-26 Thread Debian FTP Masters
hfst-ospell_0.4.0~r4643-3_amd64.changes uploaded successfully to localhost
along with the files:
  hfst-ospell_0.4.0~r4643-3.dsc
  hfst-ospell_0.4.0~r4643-3.debian.tar.xz
  hfst-ospell-dbgsym_0.4.0~r4643-3_amd64.deb
  hfst-ospell-dev_0.4.0~r4643-3_amd64.deb
  hfst-ospell_0.4.0~r4643-3_amd64.deb
  libhfstospell5-dbgsym_0.4.0~r4643-3_amd64.deb
  libhfstospell5_0.4.0~r4643-3_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


openbsc_0.15.0-1_amd64.changes is NEW

2016-02-26 Thread Debian FTP Masters
binary:openbsc-dev is NEW.
binary:osmocom-bs11-utils is NEW.
binary:osmocom-bsc is NEW.
binary:osmocom-bsc-nat is NEW.
binary:osmocom-gbproxy is NEW.
binary:osmocom-ipaccess-utils is NEW.
binary:osmocom-nitb is NEW.
binary:osmocom-sgsn is NEW.
source:openbsc 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 processed through to the archive, and do feel
free to browse the NEW queue[1].

If there is an issue with the upload, you will receive an email from a
member of the ftpteam.

If you have any questions, you may reply to this email.

[1]: https://ftp-master.debian.org/new.html

-- 
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 openbsc_0.15.0-1_amd64.changes

2016-02-26 Thread Debian FTP Masters
openbsc_0.15.0-1_amd64.changes uploaded successfully to localhost
along with the files:
  openbsc_0.15.0-1.dsc
  openbsc_0.15.0.orig.tar.gz
  openbsc_0.15.0-1.debian.tar.xz
  openbsc-dev_0.15.0-1_all.deb
  osmocom-bs11-utils-dbgsym_0.15.0-1_amd64.deb
  osmocom-bs11-utils_0.15.0-1_amd64.deb
  osmocom-bsc-dbgsym_0.15.0-1_amd64.deb
  osmocom-bsc-nat-dbgsym_0.15.0-1_amd64.deb
  osmocom-bsc-nat_0.15.0-1_amd64.deb
  osmocom-bsc_0.15.0-1_amd64.deb
  osmocom-gbproxy-dbgsym_0.15.0-1_amd64.deb
  osmocom-gbproxy_0.15.0-1_amd64.deb
  osmocom-ipaccess-utils-dbgsym_0.15.0-1_amd64.deb
  osmocom-ipaccess-utils_0.15.0-1_amd64.deb
  osmocom-nitb-dbgsym_0.15.0-1_amd64.deb
  osmocom-nitb_0.15.0-1_amd64.deb
  osmocom-sgsn-dbgsym_0.15.0-1_amd64.deb
  osmocom-sgsn_0.15.0-1_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


Bug#812850: libvigraimpex: fail of test/impex

2016-02-26 Thread Daniel Stender
On 26.02.2016 10:54, Ullrich Koethe wrote:
>> test/impex currently fail due to some problems with EXR:
>>
>> Running test_impex
>> Precondition violation!
>> exportImage(): file format does not support requested number of bands (color 
>> channels)
> 
> This error has been fixed in VIGRA version-1-11-rc on github.
> 
> Best
> Ulli (VIGRA maintainer)

Great. Thank you very much for the info.

DS

-- 
4096R/DF5182C8
46CB 1CA8 9EA3 B743 7676 1DB9 15E0 9AF4 DF51 82C8
http://www.danielstender.com/blog/

-- 
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#812850: libvigraimpex: fail of test/impex

2016-02-26 Thread Ullrich Koethe

test/impex currently fail due to some problems with EXR:

Running test_impex
Precondition violation!
exportImage(): file format does not support requested number of bands (color 
channels)


This error has been fixed in VIGRA version-1-11-rc on github.

Best
Ulli (VIGRA maintainer)

--
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#814606: libvigraimpex: FTBFS on armel (error: return type 'class std::future')

2016-02-26 Thread Ullrich Koethe

threadpool.hxx:333:26: error: return type 'class std::future' is 
incomplete
 ThreadPool::enqueue(F&& f)
  ^


This message is emitted by outdated compilers that lack sufficient C++11 
support. What compiler did you use? If gcc: was the '-std=c++11' flag 
active?


Best
Ulli (VIGRA maintainer)

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