Bug#920886: btrfs-progs: btrfs send failed to determine mount point for snapshots stored in /
Package: btrfs-progs Version: 4.20.1-1 Severity: important 'btrfs send' stopped working starting with 4.20.1-1. To reproduce, create a snapshot of / in a directory that is part of the root FS: % btrfs subvolume snapshot -r / /var/backups/daily-20190130T065412Z Create a readonly snapshot of '/' in '/var/backups/daily-20190130T065412Z' 'btrfs send' from btrfs-progs 4.20.1-1 then fails, thus making it impossible to send snapshots to other filesystems: % btrfs send /var/backups/daily-20190130T065412 > /dev/null ERROR: failed to determine mount point for /var/backups/daily-20190130T065412Z: No such file or directory This bug has been reported upstream here: https://github.com/kdave/btrfs-progs/issues/162 There seems to be a patch available here: https://github.com/kdave/btrfs-progs/issues/162#issuecomment-458320281 -- System Information: Debian Release: buster/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'unstable'), (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 4.19.0-2-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages btrfs-progs depends on: ii libblkid1 2.33.1-0.1 ii libc6 2.28-5 ii liblzo2-2 2.10-0.1 ii libuuid1 2.33.1-0.1 ii libzstd1 1.3.8+dfsg-3 ii zlib1g 1:1.2.11.dfsg-1 btrfs-progs recommends no packages. Versions of packages btrfs-progs suggests: pn duperemove -- no debconf information
Bug#902109: clasp: Please install static library (and build with -fPIC)
On Fri Jun 22, 2018 01:34:49PM +0200, Julian Andres Klode wrote: > On Fri, Jun 22, 2018 at 12:45:07PM +0200, Julian Andres Klode wrote: > > Package: clasp > > Version: 3.3.3-3 > > Severity: wishlist > > Tags: patch > > > > Hi, > > > > the attached patch does three things: > > > > (1) Ship the static library in the package > > (2) Make the package provide libclasp-dev (= ${binary:Version}), so > > packages can depend on that, > > in case we want to split it out > > (3) makes clasp build with -fPIC, so we can link the static library into > > shared libraries > > > > This will allow us to ship apt-solver-kalel[1] in Debian, and provide it as > > a shared library that > > we can load into an apt process to avoid the overhead from EDSP and/or make > > it the default > > solver. > > Or I guess preferably, build a shared library, and bump the soname on every > new upstream > release, or talk to upstream and see what they think about ABI stability. I would prefer to ship a shared/static library + header files. Upstream has promised to be ABI stable, and so far did a tremendous job. I will take a look.
Bug#898924: btrfs-progs: btrfs send fails with ERROR: not on mount point: /
Release 4.17 of btrfs-progs fixes this bug: https://www.kernel.org/pub/linux/kernel/people/kdave/btrfs-progs/btrfs-progs-v4.17.tar.xz
Bug#898924: btrfs-progs: btrfs send fails with ERROR: not on mount point: /
Package: btrfs-progs Version: 4.16.1-2 Severity: normal btrfs-progs 4.16.1 introduced a regression in btrfs send. After creating a snapshot of / in /var/backups, I've sent an incremental stream to a filesystem mounted on /backups: % btrfs subvolume snapshot -r / /var/backups/weekly-20180517T123915Z Create a readonly snapshot of '/' in '/var/backups/weekly-20180517T123915Z' % btrfs send -p /var/backups/monthly /var/backups/weekly-20180517T123915Z | btrfs receive /backups ERROR: not on mount point: / ERROR: empty stream is not considered valid In the pipeline above, btrfs send always fails with "ERROR: not on mount point: /". The problem seems to be related to bug https://github.com/kdave/btrfs-progs/issues/96 Pull request https://github.com/kdave/btrfs-progs/pull/138 should fix this regression. -- System Information: Debian Release: buster/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.16.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages btrfs-progs depends on: ii libblkid1 2.32-0.1 ii libc6 2.27-3 ii liblzo2-2 2.10-0.1 ii libuuid1 2.32-0.1 ii zlib1g 1:1.2.11.dfsg-1 btrfs-progs recommends no packages. Versions of packages btrfs-progs suggests: pn duperemove -- no debconf information
Bug#880856: picosat: new upstream version 965
Package: picosat Version: 960 Severity: wishlist Dear Michael, picosat 965 is available from http://fmv.jku.at/picosat/ Best, TK
Bug#849393: debian-maintainers: Annual ping for Thomas Krennwallner
Package: debian-maintainers Severity: normal I reconfirm my interest in Debian by sending the annual ping for 2016. Best, Thomas Krennwallner signature.asc Description: PGP signature
Bug#823129: RM: coala -- ROM; FTBFS; unmaintained upstream
Package: ftp.debian.org Severity: normal coala FTBFS (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812847) and is currently unmaintained upstream (see discussion on the maintainer mailing list https://sourceforge.net/p/potassco/mailman/message/34814194/). signature.asc Description: PGP signature
Bug#812847: coala: FTBFS: scanner.cpp:662:9: error: no match for 'operator='
On Wed Jan 27, 2016 09:02:05AM +0100, Chris Lamb wrote: > Source: coala > Version: 1.0.1-5 > 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, > > coala fails to build from source in unstable/amd64: > > [..] coala is currently dead upstream, see http://sourceforge.net/p/potassco/mailman/message/34814194/ I suggest to request removal from unstable.
Bug#809515: debian-maintainers: Annual ping for Thomas Krennwallner
Package: debian-maintainers Severity: normal I reconfirm my interest in Debian by sending the annual ping for 2015. Best, Thomas Krennwallner -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 4.3.0-1-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) signature.asc Description: PGP signature
Bug#809514: debian-maintainers: Annual ping for Thomas Krennwallner
Package: debian-maintainers Severity: normal I reconfirm my interest in Debian by sending the annual ping for 2015. Best, Thomas Krennwallner -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 4.3.0-1-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system)
Bug#799989: clasp: FTBFS: Error: TBB library path not set or 'libtbb.{so, dylib}' not found!
Dear Chris, On Fri Sep 25, 2015 08:04:44AM +0100, Chris Lamb wrote: > clasp fails to build from source in unstable/amd64: > > ./configure.sh --config=hardening --prefix=/usr --with-mt > TBB_INCLUDE=/usr/include TBB_LIB=/usr/lib > Checking for TBB include path.../usr/include > Checking for TBB library path...FAIL > *** Error: TBB library path not set or 'libtbb.{so,dylib}' not found! > use './configure.sh TBB_LIB=' [...] > > https://reproducible.debian.net/logs/unstable/amd64/clasp_3.1.2-1.build1.log.gz I will have a look, I think it is caused by a newer libtbb version. Cheers, TK
Bug#781105: pgagent: SQL jobstep deadlock
A fix for this bug has been committed to upstream git: http://git.postgresql.org/gitweb/?p=pgagent.git;a=commitdiff;h=f9bf1ccb27ebcfce00e7a6d467bc0e1b5ee9555e -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#781105: pgagent: SQL jobstep deadlock
Package: pgagent Version: 3.4.0-3 Severity: important Tags: patch Running pgagent on Debian jessie with an SQL jobstep crashes the worker thread with the error message "Caught unhandled unknown exception; terminating". Both job and jobstep status then remain as 'r' (running) until the pgagent process quits. After restarting pgagent, which cleans up the job status and sets it to 'd' (aborted), the job containing the SQL jobstep is free to run again, but the next run will end up in the same deadlock situation. $ pgagent -l 2 -f hostaddr=127.0.0.1 port=5432 dbname=pgdb user=pgdb [...] DEBUG: Connection stats: total - 1, free - 0, deleted - 0 DEBUG: Checking for jobs to run DEBUG: Creating job thread for job 5 DEBUG: Creating DB connection: user=pgdb port=5432 hostaddr=127.0.0.1 dbname=pgdb DEBUG: Allocating new connection to database pgdb DEBUG: Starting job: 5 DEBUG: Sleeping... DEBUG: Creating DB connection: user=pgdb port=5432 hostaddr=127.0.0.1 dbname=pgdb dbname=pgdb DEBUG: Allocating new connection to database pgdb DEBUG: Executing SQL step 40 (part of job 5) *** Caught unhandled unknown exception; terminating DEBUG: Destroying job thread for job 5 DEBUG: Checking for jobs to run DEBUG: Sleeping... DEBUG: Clearing inactive connections DEBUG: Connection stats: total - 3, free - 0, deleted - 0 DEBUG: Checking for jobs to run DEBUG: Sleeping... DEBUG: Clearing inactive connections DEBUG: Connection stats: total - 3, free - 0, deleted - 0 DEBUG: Checking for jobs to run DEBUG: Sleeping... [...] I have tracked down the problem to DBconn::GetLastError(), which gets called after each SQL jobstep execution in Job::Execute(): there, DBconn::GetLastError() throws an exception whenever the last error message is empty. The supplied patch (also sent as pull request https://github.com/postgres/pgagent/pull/5 to upstream) fixes this problem. -- System Information: Debian Release: 8.0 APT prefers testing-updates APT policy: (500, 'testing-updates'), (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages pgagent depends on: ii libc6 2.19-15 ii libgcc1 1:4.9.2-10 ii libpq5 9.4.1-1 ii libstdc++6 4.9.2-10 ii libwxbase3.0-0 3.0.2-1+b1 pgagent recommends no packages. Versions of packages pgagent suggests: ii pgadmin3 1.20.0~beta2-1 -- no debconf information diff --git a/connection.cpp b/connection.cpp index b7623e6..3e4e3dc 100644 --- a/connection.cpp +++ b/connection.cpp @@ -313,13 +313,15 @@ int DBconn::ExecuteVoid(const wxString &query) wxString DBconn::GetLastError() { + size_t len = lastError.length(); + // Return the last error message, minus any trailing line ends - if (lastError.substr(lastError.length() - 2, 2) == wxT("\r\n")) // DOS - return lastError.substr(0, lastError.length() - 2); - else if (lastError.substr(lastError.length() - 1, 1) == wxT("\n")) // Unix - return lastError.substr(0, lastError.length() - 1); - else if (lastError.substr(lastError.length() - 1, 1) == wxT("\r")) // Mac - return lastError.substr(0, lastError.length() - 1); + if (len >= 2 && lastError.substr(len - 2, 2) == wxT("\r\n")) // DOS + return lastError.substr(0, len - 2); + else if (len >= 1 && lastError.substr(len - 1, 1) == wxT("\n")) // Unix + return lastError.substr(0, len - 1); + else if (len >= 1 && lastError.substr(len - 1, 1) == wxT("\r")) // Mac + return lastError.substr(0, len - 1); else return lastError; }
Bug#771319: debian-maintainers: Annual ping for Thomas Krennwallner
Package: debian-maintainers Severity: normal I reconfirm my interest in Debian by sending the annual ping for 2014. Best, Thomas Krennwallner -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.16.0-4-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash signature.asc Description: Digital signature
Bug#767590: niceload: Name "opt::battery" used only once: possible typo at /usr/bin/niceload line 184.
Package: parallel Version: 20141022+ds1-1 Severity: minor niceload prints the following warning with every call: % niceload echo 1 Name "opt::battery" used only once: possible typo at /usr/bin/niceload line 184. 1 It seems that opt::battery is never used. -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.16-3-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages parallel depends on: ii perl 5.20.1-2 ii perl-modules 5.20.1-2 ii sysstat 11.0.1-1 parallel recommends no packages. parallel suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#765036: parallel: niceload -I requires iostat
Package: parallel Version: 20130922-1 Severity: normal Dear Maintainer, niceload -I requires iostat to work (part of the sysstat package), but parallel does not depend on sysstat. After installing parallel on a fresh system, niceload -I is non-functional: $ niceload -I 10 echo hello sh: 1: iostat: not found hello Best, TK -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.16-2-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages parallel depends on: ii perl 5.20.1-1 ii perl-modules 5.20.1-1 parallel recommends no packages. parallel suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#739628: clasp: 3.0 cannot solve some problems solved by 2.1.4
On Thu Feb 20, 2014 05:14:53PM +0100, Julian Andres Klode wrote: > Package: clasp > Version: 3.0.0-1 > Severity: normal > > clasp 2.1.4-1 can solve the attached problems, and clasp 3.0.0 > cannot. Both times using --opt-heuristic=3. I previously also > used --opt-hierarch=3, but that's not available anymore. So > I only used --opt-heuristic=3 for both tests. > > These are real world problems, namely 3 steps of upgrading a > Debian sid installation from 2014-02-02 to 2014-02-20. The > transformation of package dependencies is sub-optimal, as > it contains unneeded packages, but clasp 2 was fine solving > it, so 3.0 should handle it as well. I've forwarded your bug report to the clasp and aspcud upstream maintainers (in CC). Best, -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#730770: debian-maintainers: Annual ping for Thomas Krennwallner
Package: debian-maintainers Severity: normal I'm sending my annual ping. Thanks. $ ping -c1 tkren PING tkren (127.0.0.1): 56 data bytes 64 bytes from 127.0.0.1: icmp_seq=0 ttl=64 time=0.043 ms --- tkren ping statistics --- 1 packets transmitted, 1 packets received, 0% packet loss round-trip min/avg/max/stddev = 0.043/0.043/0.043/0.000 ms signature.asc Description: Digital signature
Bug#694643: debian-maintainers: Annual ping for Thomas Krennwallner
Package: debian-maintainers Severity: normal $ ping -c1 tkren PING tkren (127.0.0.1): 48 data bytes 56 bytes from 127.0.0.1: icmp_seq=0 ttl=64 time=0.049 ms --- tkren ping statistics --- 1 packets transmitted, 1 packets received, 0% packet loss round-trip min/avg/max/stddev = 0.049/0.049/0.049/0.000 ms Thanks! -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-4-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash signature.asc Description: Digital signature
Bug#694592: picosat: New upstream release 953 available
Package: picosat Version: 936-4 Severity: wishlist Tags: upstream picosat 953 with new tools is available here: http://fmv.jku.at/picosat/ Cheers, TK -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-4-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#672933: Builds fine with boost 1.49
Dear Steve, On Tue May 22, 2012 12:30:28AM -0500, Steve M. Robbins wrote: > FYI: just did a successful rebuild in pbuilder with the obvious > change: [...] > > - libboost-filesystem1.48-dev, > - libboost-system1.48-dev, > + libboost-filesystem-dev, > + libboost-system-dev, Thank you for your report, I will upload a new version as soon as I have access to my machine. Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#653228: [pkg-boost-devel] Bug#653228: boost-defaults: libboost-*-dev 1.48.0.2 depend on libboost-*1.46-dev
Hi Steve, On Sun Dec 25, 2011 03:58:23PM -0600, Steve M. Robbins wrote: > Hello Thomas, > > On Sun, Dec 25, 2011 at 05:59:56PM +0100, Thomas Krennwallner wrote: > > Source: boost-defaults > > Severity: important > > > > Hi! > > > > When I try to install, e.g., libboost-filesystem-dev 1.48.0.2, the > > dependencies forces to install libboost-filesystem1.46-dev. See also the > > control file of boost-defaults: > > I don't believe there is a bug here. What happened is that > > 1. I released boost defaults version 1.48.0.1 that changed the default to > Boost 1.48.0. > 2. It turns out this is too soon as there are packages that fail to build > with Boost 1.48. > 3. I released boost defaults version 1.48.0.2 that reverted the default back > to 1.46.1. > > I see now that versioning the boost-defaults according to the boost version > is a mistake, > but for the moment, that's what we're stuck with. So it is weird and > surprising that > the current default is 1.46.1, but that's what it is. > > If you still feel there is a bug, please reply with more details. > Otherwise, please email 653228-d...@bugs.debian.org to close this bug. I see now, but then we have a problem. The semantics of libboost-*-dev have always been, at least this was my understanding, to depend on the latest stable version of boost. If one needs a particular (older) version of boost, then we have the versioned packages libboost-*N.MM-dev. If a particular package FTBFS with the newest version of boost, then it's a bug of that package. Which can be easily fixed by using Build-Depends: libboost-*N.MM-dev and a re-upload. Then, there is enough time to fix the package by investigating what's wrong in the first place with the latest stable version. In a sense, it's a good thing that boost-defaults depends on the newest version, otw. people don't realize that boost breaks their package and won't fix their package early in time. This was actually what I did when I run into the problem: I fixed my package and then setup Build-Depends with libboost-*1.48-dev instead of libboost-*-dev. The question is now, how shall we proceed? 1. If you think that libboost-*-dev should depend on /the currently most stable version of boost (wrt. the debian package archive)/, then there is nothing to do and we can close this bug. 2. But if you feel that libboost-*-dev should depend on /the latest stable version of boost/, then I have the impression that we should force people to fix their package to depend on libboost-*N.MM-dev, as this is what they then depend on in reality. Because changing boost-defaults later in time (weeks, months?) to depend on the new boost release will break those packages eventually. I would opt for (2), as packages will only FTBFS with this change, it won't break compiled packages, as they depend on the linked versioned shared libraries. But that's just my 2 cents. Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#653228: boost-defaults: libboost-*-dev 1.48.0.2 depend on libboost-*1.46-dev
Source: boost-defaults Severity: important Hi! When I try to install, e.g., libboost-filesystem-dev 1.48.0.2, the dependencies forces to install libboost-filesystem1.46-dev. See also the control file of boost-defaults: Package: libboost-filesystem-dev [...] Section: libdevel Depends: ${misc:Depends}, libboost-filesystem1.46-dev [...] This package is a dependency package, which depends on Debian's default Boost version (currently 1.46). Best, TK -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.1.0-1-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#652787: gringo: FTBFS: clone_allocator.hpp:34:27: error: invalid use of incomplete type 'struct Domain'
Dear Lucas, On Tue Dec 20, 2011 03:49:14PM +0100, Lucas Nussbaum wrote: > Source: gringo > Version: 3.0.3-6 > Severity: serious > Tags: wheezy sid > User: debian...@lists.debian.org > Usertags: qa-ftbfs-20111220 qa-ftbfs > Justification: FTBFS on amd64 > > Hi, > > During a rebuild of all packages in sid, your package failed to build on > amd64. > > Relevant part: [...] > > [ 54%] Building CXX object > > libgringo/CMakeFiles/gringo-lib.dir/src/parser.cpp.o > > In file included from > > /usr/include/boost/ptr_container/detail/reversible_ptr_container.hpp:24:0, [...] > > from > > /build/gringo-heRHOn/gringo-3.0.3/build/release/libgringo/gringo.h:26: > > /usr/include/boost/ptr_container/clone_allocator.hpp: In function 'T* > > boost::new_clone(const T&) [with T = Domain]': [...] > > /usr/include/boost/foreach.hpp:648:95: instantiated from > > 'boost::foreach_detail_::auto_any > > > boost::foreach_detail_::contain(const T&, bool*) [with T = > > boost::ptr_unordered_map, Domain>]' > > /home/kaminski/svn/potassco/trunk/gringo/libgringo/src/parser.r2c:350:2: > > instantiated from here > > /usr/include/boost/ptr_container/clone_allocator.hpp:34:27: error: invalid > > use of incomplete type 'struct Domain' > > /build/gringo-heRHOn/gringo-3.0.3/build/release/libgringo/gringo.h:70:7: > > error: forward declaration of 'struct Domain' [...] > The full build log is available from: > > http://people.debian.org/~lucas/logs/2011/12/20/gringo_3.0.3-6_lsid64.buildlog thanks for the report, it could be that this is related to the change from boost 1.46 to 1.48. I will investigate. > A list of current common problems and possible solutions is available at > http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! > > About the archive rebuild: The rebuild was done on about 50 AMD64 nodes > of the Grid'5000 platform, using a clean chroot. Internet was not > accessible from the build systems. Sounds interesting ;-) Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#636772: Segfaults with --pre argument upon certain input
Dear Joachim, On Fri Aug 05, 2011 09:44:30PM +0200, Joachim Breitner wrote: > I don’t know if this particular use of clasp is actually a sensible > invocation, but given the attached file, it crashes with a SEGFAULT if > called as > $ clasp --pre relaxation-2011-08-04.wcnf > > If something is unsuitable with the input for this mode of operation, a > warning should be emitted. Sorry for the late reply, this email went unnoticed. It should be fixed with clasp 2.0.3. Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#639363: ITP: depqbf -- solver for quantified boolean formulae
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: depqbf Version : 0.1 Upstream Author : Florian Lonsing * URL : http://fmv.jku.at/depqbf/ * License : GPL Programming Lang: C Description : solver for quantified boolean formulae DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF with conflict-driven clause and solution-driven cube learning. By analyzing the structure of a formula, DepQBF tries to identify independent variables. In addition to other benefits, this often increases freedom for decision making. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#631270: clasp ld-as-needed patch
Package: clasp Followup-For: Bug #631270 Dear Stefano, thanks for your report, I've created a new version of clasp: http://mentors.debian.net/cgi-bin/sponsor-pkglist?action=details;package=clasp If you have time, can you sponsor this upload? (Only got recently my key into the DM keyring, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623090.) Best, TK -- System Information: Debian Release: squeeze/sid APT prefers maverick-updates APT policy: (500, 'maverick-updates'), (500, 'maverick-security'), (500, 'maverick') Architecture: amd64 (x86_64) Kernel: Linux 2.6.35-28-server (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages clasp depends on: ii libc6 2.12.1-0ubuntu10.2 Embedded GNU C Library: Shared lib ii libgcc1 1:4.5.1-7ubuntu2 GCC support library ii libstdc++64.5.1-7ubuntu2 The GNU Standard C++ Library v3 ii libtbb2 3.0+r018-1 parallelism library for C++ - runt Versions of packages clasp recommends: ii gringo 3.0.3-5~maverick1 grounding tools for (disjunctive) Versions of packages clasp suggests: ii potassco-guide2010-10-04-4~maverick1 Potsdam Answer Set Solving Collect -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Dear Raphael, On Wed May 25, 2011 12:02:23PM +0200, Raphael Hertzog wrote: > Hi, > > On Sun, 06 Mar 2011, Thomas Krennwallner wrote: > > * Package name: bool2cnf > > Version : 20110304 > > Upstream Author : Tatsuhiro Tsuchiya > > * URL : > > http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/ > > * License : BSD > > Programming Lang: C > > Description : tool for converting a boolean formula into CNF > > > > Given a Boolean formula, this tool constructs a Boolean formula in CNF > > that is satisfiable iff so is the given formula. The output CNF > > formula is in DIMACS format. > > How is your work progressing? I could sponsor the package if you have > something ready. But it would be even better if you could maintain > it as part of the Debian Science team. > > http://wiki.debian.org/DebianScience > http://wiki.debian.org/DebianScience/Logic I didn't find time yet to package it, but I'll definitely assign it to the logic flavor of DebianScience. I'll contact you for sponsoring once it is stable. Thanks for the offer! Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#623850: clasp: num out of bounds in ProgramOptions::StringSlice::skip
On Sat Apr 23, 2011 08:05:42PM +0200, Thomas Krennwallner wrote: > It seems that StringSlice::skip gets called with num=0x on > Debian sid. libprogram_opts/program_opts/value_parser.h has a problem in StringSlice parseValue(const StringSlice& in, T& v, double extra) The if ( (str>>v) ) statement causes str.eof() being true, which makes str.tellg() return -1, causing a signed/unsigned typecast bonanza. Setting str.clear() before str.tellg() should do the trick, see attached patched. I've checked it on Debian sid and Ubuntu Maverick. Can you check whether this works on your boxes as well? And whether I didn't make things worse ;-) In case that helps, I will upload a new version. Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 Author: Thomas Krennwallner Description: operator>> sets eof bit, which causes tellg() to return -1. diff -Naur clasp-2.0.0.orig//libprogram_opts/program_opts/value_parser.h clasp-2.0.0/libprogram_opts/program_opts/value_parser.h --- clasp-2.0.0.orig//libprogram_opts/program_opts/value_parser.h 2010-11-22 18:04:11.0 +0100 +++ clasp-2.0.0/libprogram_opts/program_opts/value_parser.h 2011-04-24 08:47:12.0 +0200 @@ -70,9 +70,14 @@ template StringSlice parseValue(const StringSlice& in, T& v, double extra) { detail::input_stream str(in.data(), in.size()); - if ( (str>>v) ) { - StringSlice ret = in.parsed(true, (size_t)str.tellg()); - return ret.complete() || extra > 0.0 ? ret : in.parsed(false); + str>>v; + if ( str.eof() ) { + str.clear(); // clear eof flag, so we can safely use tellg() + std::istream::streampos p = str.tellg(); + if ( p >= 0 ) { + StringSlice ret = in.parsed(true, (size_t)p); + return ret.complete() || extra > 0.0 ? ret : in.parsed(false); + } } return in.parsed(false); }
Bug#623850: clasp: num out of bounds in ProgramOptions::StringSlice::skip
Subject: clasp: num out of bounds in ProgramOptions::StringSlice::skip Followup-For: Bug #623850 Package: clasp Version: 2.0.0-2 I compiled the debug version of clasp (./configure.sh --config=debug) and ran the following: $ gdb build/debug/bin/clasp [...] (gdb) break ProgramOptions::StringSlice::skip Breakpoint 1 at 0x47b830: file ../../../libprogram_opts/src/value_parser.cpp, line 94. (gdb) r The program being debugged has been started already. Start it from the beginning? (y or n) y Starting program: /home/tkren/asp+debian/clasp/clasp-2.0.0/build/debug/bin/clasp Breakpoint 1, ProgramOptions::StringSlice::skip (this=0x7fffe050, num=18446744073709551615) at ../../../libprogram_opts/src/value_parser.cpp:94 94 void StringSlice::skip(size_t num) { (gdb) step 95 assert(ok() && num <= size()); (gdb) step ok (this=0x7fffe050, num=18446744073709551615) at ../../../libprogram_opts/src/value_parser.cpp:95 95 assert(ok() && num <= size()); (gdb) step error (this=0x7fffe050, num=18446744073709551615) at ../../../libprogram_opts/program_opts/value_parser.h:39 39 boolerror()const { return (len_&1) != 0; } (gdb) step ProgramOptions::StringSlice::skip (this=0x7fffe050, num=18446744073709551615) at ../../../libprogram_opts/src/value_parser.cpp:95 95 assert(ok() && num <= size()); (gdb) step size (this=, num=18446744073709551615) at ../../../libprogram_opts/program_opts/value_parser.h:37 37 size_t size() const { return len_>>1; } (gdb) step ProgramOptions::StringSlice::skip (this=, num=18446744073709551615) at ../../../libprogram_opts/src/value_parser.cpp:95 95 assert(ok() && num <= size()); (gdb) step clasp: ../../../libprogram_opts/src/value_parser.cpp:95: void ProgramOptions::StringSlice::skip(size_t): Assertion `ok() && num <= size()' failed. Program received signal SIGABRT, Aborted. 0x7730d165 in raise () from /lib/libc.so.6 It seems that StringSlice::skip gets called with num=0x on Debian sid. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 2.6.38-2-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages clasp depends on: ii libc6 2.11.2-13 Embedded GNU C Library: Shared lib ii libgcc1 1:4.6.0-5 GCC support library ii libstdc++64.6.0-5The GNU Standard C++ Library v3 ii libtbb2 3.0+r147-1 parallelism library for C++ - runt Versions of packages clasp recommends: ii gringo3.0.3-4grounding tools for (disjunctive) Versions of packages clasp suggests: pn potassco-guide (no description available) -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#623599: clasp: new upstream version 2.0.0 available
Hi! On Thu Apr 21, 2011 07:15:15PM +0200, Ralf Treinen wrote: > clasp 2.0.0 has been released today. Could you please update the debian > package? Sorry to be so "pressing", but we need clasp 2.0.0 in order > to package aspcud ... If you need a sponsor just let me know. dget it while it's hot :) http://mentors.debian.net/debian/pool/main/c/clasp/clasp_2.0.0-2.dsc And yes, I would need a sponsor, the DM application is still in the queue. Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#623090: debian-maintainers: Please add Thomas Krennwallner as a Debian Maintainer
Package: debian-maintainers Severity: normal Please add my key to the DM keyring. See attached jetring changeset. Thanks, TK -- System Information: Debian Release: squeeze/sid APT prefers natty-updates APT policy: (500, 'natty-updates'), (500, 'natty-security'), (500, 'natty-proposed'), (500, 'natty-backports'), (500, 'natty') Architecture: i386 (i686) Kernel: Linux 2.6.38-8-generic-pae (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Comment: Add Thomas Krennwallner as a Debian Maintainer Date: Sun, 17 Apr 2011 11:07:25 +0200 Action: import Recommended-By: Michael Tautschnig Agreement: http://lists.debian.org/debian-newmaint/2011/04/msg00025.html Advocates: http://lists.debian.org/debian-newmaint/2011/04/msg00030.html Data: -BEGIN PGP PUBLIC KEY BLOCK- Version: GnuPG v1.4.11 (GNU/Linux) mQENBEuR+QoBCACe6nbt4867F3OTX80Iq8v94QORFvoPYTf2zf6zZ741ke/Y/ia0 a1uMaWW//ksnhOB+lHtCj8BlA/6DIYlsxhqp5mh/EV76Xmsdf3kZf9HA0Qzz/0WY rvzgavCOhE18HJhhgTAWzl13yelh5RRkIqitS2mmuRoqpxBT70ngKIRIKWLutOYb y7/SOE1Rad14zJiMHowXTQu2XiJHa9wP/uis8WtAe3mIb8oqhijX7yMeMYDxb9S4 Un3j0zTWOUw3QDtK82UC0cfm6lLQ12XT6AC6zh7lWBxouS4Trlt3nkOuKP8V68qD AfNRRqaA+pruQtg9+Pn3yjoRxA9bJ/hYUxExABEBAAG0MFRob21hcyBLcmVubndh bGxuZXIgKFRLKSA8dGtyZW5Aa3IudHV3aWVuLmFjLmF0PokBOAQTAQIAIgUCS5H5 CgIbAwYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AACgkQi96qWVJ4SYPjlwf7BUsJ c3SHi7OO7dbD5cqsQsAlhW1kqDvYAYJD0Tqqhtbq2n2cI/pgt+8Ophrlg9Res1sB DdMxvDbgnvfK6TWeQkQoHFbkiOrl8QBKJ/mylYHdEbJJqF7pdSh4eUI30eRkPakQ bYHKPKafpYwNGqKxqduRpPHDA4QKAYXvI8+0fNiMnOak7P/n76YyllsgAFrTUyHf NxIUWSqnetp9cHrDm8jMFYC2u+7GZBQ3onKWk1zxbKJeiXZSuY1+oMCpGKxtz3Zu vDF8YI//KFfVECgVrTD7wS0YU4i1rNtypdosYmJKAIZJidnilXJn5AXXedB6AMQL rhYqfXw++bxnDhiShohGBBARCAAGBQJNpVYIAAoJEL8enR921SrEsO4An2Hbk8VW 6vNTwcWcob3W49J31QdwAJ9Z7EtHjxAdj0ShlcbcTwycrvyrpLkBDQRLkfkKAQgA yax+3eyx3WPO84EkTFuzX0tQ+Sq3BG0jmfzKRvAL4S1izy6YPB1hgWBHZvNoAlre xrARbnyf/w8MdrVQLk+vLMbocSNkcsAH0bWddpcVU3RecizHoV3fP73iLNaubYUC 2chlIAgJeihdieYywvXhGPGgYo9bvknW0h0T0yxCl+qnvDZJAOD0KGJLM485JYy5 AY0yqEHQMSA/6CD1dJcQHJ+umcClWVf5kbXeH9BZOUk9c5N/mrJWyWodeYqxi+sY FsxYuwtmvZ8Q4Ht3MzQsDxGPvkCYJUXR3QrBW4o0Q47y2hZrn8hBQjw+bh37XhQS hNzbuYkd4ThTlz0k5Dac3QARAQABiQEfBBgBAgAJBQJLkfkKAhsMAAoJEIveqllS eEmDGDsH/2eTRSTAdtCKHQeVP8TTDPnYxkWYjd90QHZAD9qBObJRueJaKYLrK/B5 guzI9fRo2ooA6JXBhYhJA1rFKWllCKWpUm+BS7VlA1IBPC1XA2k4C394p2zTPMEz R99tG1uVKRFIN1nCDJynYeCreQJrt6KSL0sNQEvcgT8qRu9IgV0y+TtBftVlcxnE dUE1U3Xbz9KSQvXDoW1L745O9c1Wn3pgIQJcZN/fogXZmoM2AMYvDbdmb5FUJKL4 uUnvfq37oyi6RbqyiIr/Ky7qP23jaYV8aNXOKgYSKYhsmfHfw4ogkfNvBnU7+l5L 7DDtDW8ytZPtbqLYpugg8z/pbjBPKJe5Ag0ETaPn7QEQAKTTCIB5YxbqX8Kv490z TryZyXgJppprfxuxLrHFea627Az9+C3/fASvy84Xxu2gABzrFq8W4UrU+Jt1uZw1 ZB4uOW52Znea4IdTgN4Kei1NnM/zcE6ksaCTztHnmDxUGosSpCiDbj2pHpCtuASm I3fkwyUn5keyXw8E65+WPLlCyM9tYpRExi23Gn5vzyZK3ZWq46HNb7A0N1DGA6Ew mrQd04K+9Q5zUkNOhAEpHVetcQ+jXbbAnHzjYzCwqyH+za/kwRQGjud0EHDmgJdq mZOmmQNxRlcTuX4KCsCcDPl8HYUPa1FdkSYLayKxMA1c9BAyXA1ABURwcuc32hWo 91QPrLMOH3045FYYDWomGYFYeXJxIQhXO8Wo95DOHJQB8854jbS4FWEvTJkE0mZE xGWT7ggrfNT24HMVLstoXzIp8Znct0Gz3zMdlpQ1yVvn14DXOJRuq1dHdvm33HiC ZKHpk82FW/pmfMetmhTWfSe90+OWjsAbibKV2sSs8LjTwDWKSmfT0XbUuidC5g0C FRLoB9pcAFurzCep64MZ3TNLW1gbGYtJAt7+IAYMljUDRupkra48wIU0sHrlGFWd kzB9ElKFnr8qmTgtVqR5ZqKV9v0c3KA7X1iA3PYrInUadmQSK/RouFnYO5X+L4hA JbD3lbYIYGo7cvosQcs+Nx65ABEBAAGJAR8EGAEIAAkFAk2j5+0CGwwACgkQi96q WVJ4SYOJpAf/cSWOSeirG3JURimrCChg8k3i5/9YFjtvwertt7sr7xWy2Qi0FxJp ibc6VjXhN/yRIkekn05kwZmkBmYI2LbbUsOvWPMEnzXwAixKl1Gc8SDHFrEHYXch Ce8HA7wYSHtXueJ2GdzIMDdXq7g8yKTrSSKQvhqa0UcoB2h7nwRiaRW78o0V7pkl V1P6n8HCY1gbIrobNUCaawGXXhkYP1StKTVhaZGjYyI0R41GiThMI42Fwyu9Dg0o OMpsleSq0SZrjG8rYlAsyZzOFXImCOlkV93mksRz0b8Om/9CK/sjP3z9DGPkykzH 2bYcqUBVFbny1g1EtFVA8vKiMNCfS7BHRLkCDQRNo+jHARAAnMP/h25x0k1mOUTB 5/7KKCO/6d2Tbl16IiUGqkfvqrHe6TpIH1uOLLp9WRzya4K9yFw45BuxU6ezE1O0 ZmgMEqa/9uTFzs2BVsQRqgjFemtSSjGVF5xGj1t8kWHzYLQ5jkdbquGDyRRJyatP BatiMZjWtCZXxDGvx7XOxjDpSbH65Z1JSSuhgs5bGzGNvTA0LPZVrgv79VBH1iVL 35pkAWRUGDKmIapIdkIx8ENqs2UzAGIergLY9ZRJafeN6LGtPkD/74diD2e99Z5j pwrBxIf9p22OkPbkifIkmX1ziZGTmnW9wy0bI7yIZJRNKa/9dRjJUfW37MS+qR9C 55LA7khniHiMDmQlQ1GZ+SXFew5/cJWdXkXxvjZnd75boupR9o+Xlg4qIODz5uqS aZYE680ZpLcD6v80MEzYRioWnof49qLt7vpRxvvMjiQps4yUz2LuzPx+oT5uDEmP oim1dKFlinmedTUPq6SZxxTz6wLN0LqW8aG/5DecoNy5vK4zQEAAp3WZB/DJh3l6 wpPGCFCd5lrBmquJEzDxtRJ+o0+uQzMIuOEaivvlo65jeuUKKlwooSg//yhpYZzf UA4gRdYweqOIOBW+RwYZuVA5vDdKV184KPYYFDHvL53g9MYfUEocafNTvnZW+cey vJCzPt/m9VpixDCABLhxPapMY58AEQEAAYkDPgQYAQgACQUCTaPoxwIbAgIpCRCL 3qpZUnhJg8FdIAQZAQgABgUCTaPoxwAKCRAnl990pmaaqZlTD/9XLciO9u3Ddb+G Ekv+KcOU0p4aj30rj5zKgqNxjA1gZ/3VGjTTrAUy8g0TQDDBmKKgOr+KNeHjUXRT OFQZR28FoiYSCDVmRVNf5V5hGIzFHhDZMVX22BYBodYpex3ykEhZp6l732dkrxkE 8wUkQn4k4SIETvvHYNUJPSOtUstTzR17xK0slrW/0zmxKosJlhZCAJ06qgrajpQa IyNtQ6PFmBtXO9cBDlpsHMi79sH78lMC/C0nVFBQkB+1lJ6kJfsqnCvJAUrhqXey DqKw9KplPc/AyK
Bug#613986: Status?
Hey Michael, On Mon Mar 14, 2011 07:33:32PM +, Michael Tautschnig wrote: > I just started reviewing this package and noticed at least one oddity which > you > might want to ping Armin about: > > LICENSE: Copyright (c) 2005-20010 Armin Biere, Johannes Kepler University. > ^ > > Quite future-proof, isn't it :-) > > As such, debian/copyright doesn't seem to be 100% accurate as it only states > copyright years up to 2009. While you're at it, would you mind updating > debian/copyright to DEP-5? Right, there is an inconsistency on the web LICENSE file and the LICENSE in the tarball. I'll check with Armin. > I'd prefer if you could fix those minor issues instead of risking a REJECT by > ftp-master. Then I should be ready to upload the fixed version at almost any > time unless Lars would prefer to sponsor it. I have re-uploaded the package now and converted copyright to DEP-5 and fixed a missing DEP-3 header in runlim-renaming.patch: http://mentors.debian.net/debian/pool/main/r/runlim/ thx and cheers, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#613986: Status?
On Sun Mar 13, 2011 03:58:31PM +, Lars Wirzenius wrote: > On la, 2011-03-12 at 17:40 +, Michael Tautschnig wrote: > > I just wanted to ask what the status of the proposed package "run" (or > > whatever > > its name shall be) is as I'd be interested in using that for an upcoming > > package. Lars, Thomas told me you were taking over, is that right? > > I haven't had time to sponsor an upload yet, sorry. I'm OK with anyone > else doing it, of course, please don't block on me if you want to do it. Fine by me ;-). As discussed with upstream, future versions of "run" will be called "runlim". mentors.d.n has runlim 1.4-4 up for grabs, which is run 1.4 + renaming of the binary/manpage and changing the output to use "runlim" instead of "run": http://mentors.debian.net/debian/pool/main/r/runlim/ cheers, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: bool2cnf Version : 20110304 Upstream Author : Tatsuhiro Tsuchiya * URL : http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/ * License : BSD Programming Lang: C Description : tool for converting a boolean formula into CNF Given a Boolean formula, this tool constructs a Boolean formula in CNF that is satisfiable iff so is the given formula. The output CNF formula is in DIMACS format. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#615929: bmagic: new upstream release available
Package: bmagic Version: 3.6.4-1 Severity: wishlist bmagic appears to be outdated, version 3.7.0 has been released over 10 months ago: http://bmagic.sourceforge.net/news.html -- System Information: Debian Release: squeeze/sid APT prefers natty-updates APT policy: (500, 'natty-updates'), (500, 'natty-security'), (500, 'natty-proposed'), (500, 'natty-backports'), (500, 'natty') Architecture: i386 (i686) Kernel: Linux 2.6.38-5-generic-pae (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash bmagic depends on no packages. Versions of packages bmagic recommends: ii g++ [c++-compiler] 4:4.5.1-1ubuntu3 The GNU C++ compiler ii g++-4.4 [c++-compiler] 4.4.5-11ubuntu2 The GNU C++ compiler ii g++-4.5 [c++-compiler] 4.5.2-3ubuntu3 The GNU C++ compiler bmagic suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#613986: ITP: run -- tool for sampling time and memory usage
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: run Version : 1.4 Upstream Author : Armin Biere and Toni Jussila * URL : http://fmv.jku.at/run/ * License : BSD Programming Lang: C Description : tool for sampling time and memory usage run is a tool for sampling time and memory usage of a program and its children using the proc file system of Linux. Time and space limits are also supported. It is very helpful for benchmarking and running competitions. It also supports limits on wall clock time and thus can control runs of multi-threaded programs on multi-core machines as well. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#605881: ITP: coala -- translates action languages into answer set programs
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: coala Version : 1.0.1 Upstream Author : Torsten Grote * URL : http://www.cs.uni-potsdam.de/~tgrote/coala/ * License : GPL Programming Lang: C++ Description : translates action languages into answer set programs The coala tool translates an action language into a logic program under the answer set semantics. After being grounded by lparse or gringo, the logic program can be solved by an answer set solver such as clasp. At the moment coala is able to translate the action language AL, B, C, a subset of C+ and the action language CTAID. The type of input language can be specified with a command line option. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: gringo Version : 3.0.3 Upstream Author : Potassco team * URL : http://www.cs.uni-potsdam.de/gringo/ * License : GPL Programming Lang: C++ Description : An lparse-compatible grounder for (disjunctive) logic programs Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. Gringo is such a grounder. Its output can be processed further with clasp, claspD, claspar, or claspfolio. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#605877: ITP: clasp -- A conflict-driven nogood learning answer set solver
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: clasp Version : 1.3.6 Upstream Author : Benjamin Kaufmann * URL : http://www.cs.uni-potsdam.de/clasp/ * License : GPL Programming Lang: C++ Description : A conflict-driven nogood learning answer set solver clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format). -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#417578: not found in 4.2.0
Dear Thierry, Thierry Randrianiriana wrote: I can't reproduce this bug in 4.2.0, I'll close it in the next upload. Unfortunately, the bug is still in 4.2.0-4, but instead of no EPS file, gnuplot generates an *empty* EPS file without warning/error message: $ cat foo.dat 0 4 1 3 2 2 3 1 4 0 $ cat foo.gp set term post eps enhanced set out "foo.eps" set data style linespoints set xtic ("0" 0,"1" 1,"2" 2, "3" 3, "4" 4) # this doesn't work due to escape char --> \ plot "foo.dat" title "foo" $ gnuplot foo.gp $ gv foo.eps gv: Cannot open file foo.eps (No message of desired type) $ cat foo.eps $ Best regards, Thomas -- .''`. Obviously we do not want to leave zombies around. - W. R. Stevens : :' : Thomas Krennwallner `. `'` sip:[EMAIL PROTECTED] (+43 59966 560428) `-http://bigfish.ull.at/~djmaecki/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#417578: ending slash
Hi! Chali Ahmul wrote: > What's the reason to write the ending slash anyway? No particular reason, if I had something like plot "foo1.dat" title "foo1", \ "foo2.dat" title "foo2", \ "foo3.dat" title "foo3" and I wanted to exclude foo2.dat, I would comment the second line out and get plot "foo1.dat" title "foo1", \ # "foo2.dat" title "foo2", \ "foo3.dat" title "foo3" But thanks to this bug I have only ended up without an eps file. Alternatively, I would have excepted a proper syntax error message, but no luck on this one either. Best regards, Thomas -- .''`. Obviously we do not want to leave zombies around. - W. R. Stevens : :' : Thomas Krennwallner `. `'` sip:[EMAIL PROTECTED] (+43 59966 560428) `-http://bigfish.ull.at/~djmaecki/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#417578: comment line with \ renders gnuplot unusable
Package: gnuplot Version: 4.0.0-5 Severity: normal Hi! Suppose you have a data file called "foo.dat" (the actual content is irrelevant): 0 4 1 3 2 2 3 1 4 0 When someone uses gnuplot with "foo.gp" as input file, everything works fine and gnuplot generates "foo.eps": set term post eps enhanced set out "foo.eps" set data style linespoints set xtic ("0" 0,"1" 1,"2" 2, "3" 3, "4" 4) # this works as expected plot "foo.dat" title "foo" But if the comment line right before the plot function has a '\' character at the end, gnuplot silently rejects the input file and doesn't create the resp. eps file: set term post eps enhanced set out "foo.eps" set data style linespoints set xtic ("0" 0,"1" 1,"2" 2, "3" 3, "4" 4) # this doesn't work due to escape char --> \ plot "foo.dat" title "foo" Best regards, Thomas Krennwallner -- System Information: Debian Release: 4.0 APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.18-4-686 Locale: LANG=en_GB.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Versions of packages gnuplot depends on: ii gnuplot-nox 4.0.0-5A command-line driven interactive ii gnuplot-x11 4.0.0-5X11-terminal driver for gnuplot gnuplot recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#361715: Debian bug 361715 followup
Hi! Bdale Garbee wrote: > First, have any of you tried the 2.5.0p2-1 amanda-server package yet? I Yes: Version: 1:2.5.0p2-1 > Second, are the cron entries being run as the right user, most likely > user 'backup' if you're using a near-stock config? Also true: 0 16 * * 0-6backup /usr/sbin/amcheck -m DailySet1 > Third, is anyone seeing anything "interesting or unusual" in the logs > from cron? A 'grep -i cron /var/log/*' is worth perusing. Nothing unusual. I just want to mention that running amcheck myself leads to following output: # su backup -c "/usr/sbin/amcheck DailySet1" Amanda Tape Server Host Check - Holding disk /tmp: 9156028 KB disk space available, using 9053628 KB tape_rdlabel: tape open: /dev/nst0: Input/output error (expecting tape VOL-1 or a new tape) Server check took 120.633 seconds Amanda Backup Client Hosts Check Client check: 2 hosts checked in 0.098 seconds, 0 problems found (brought to you by Amanda 2.5.0p2) In 2.4.x version of amcheck, I got "1 problems found" if I forgot to put in the right tape and ran amcheck on the command line. And the server check was considerably faster to detect a missing tape, say 30 to 40 secs. > Fourth, you do have a 'mailto' defined in your amanda.conf if you're > using the -m option to amcheck, right? Yes. I attached a stripped down version of my amanda.conf. > Thanks for reporting the problem, and in advance for your help solving > it! As usual, just reply if you need further information. Best regards, Thomas -- .''`. Obviously we do not want to leave zombies around. - W. R. Stevens : :' : Thomas Krennwallner `. `'` 1024D/67A1DA7B 9484 D99D 2E1E 4E02 5446 DAD9 FF58 4E59 67A1 DA7B `-http://bigfish.ull.at/~djmaecki/ org "DailySet1" mailto "root" dumpuser "backup" inparallel 4 dumporder "sssS" taperalgo first displayunit "k" netusage 10 Kbps dumpcycle 5 days runspercycle 0 tapecycle 5 tapes bumpsize 20 Mb bumppercent 20 bumpdays 1 bumpmult 4 etimeout 300 dtimeout 1800 ctimeout 30 tapebufs 20 runtapes 1 tapedev "/dev/nst0" maxdumpsize -1 tapetype SEAGATE-STD224000N labelstr "^VOL-[0-9]$" amrecover_do_fsf yes amrecover_check_label yes holdingdisk hd1 { comment "main holding disk" directory "/tmp" use -100 Mb chunksize 1Gb } autoflush no infofile "/etc/amanda/DailySet1/curinfo" logdir "/etc/amanda/DailySet1" indexdir "/etc/amanda/DailySet1/index" define tapetype SEAGATE-STD224000N { length 11576 mbytes filemark 0 kbytes speed 1077 kbytes } define tapetype QIC-60 { comment "Archive Viper" length 60 mbytes filemark 100 kbytes speed 100 kbytes } define tapetype DEC-DLT2000 { comment "DEC Differential Digital Linear Tape 2000" length 15000 mbytes filemark 8 kbytes speed 1250 kbytes } define tapetype DLT { comment "DLT tape drives" length 2 mbytes filemark 2000 kbytes speed 1536 kbytes } define tapetype SURESTORE-1200E { comment "HP AutoLoader" length 3900 mbytes filemark 100 kbytes speed 500 kbytes } define tapetype EXB-8500 { comment "Exabyte EXB-8500 drive on decent machine" length 4200 mbytes filemark 48 kbytes speed 474 kbytes } define tapetype EXB-8200 { comment "Exabyte EXB-8200 drive on decent machine" length 2200 mbytes filemark 2130 kbytes speed 240 kbytes } define tapetype HP-DAT { comment "DAT tape drives" length 1930 mbytes filemark 111 kbytes speed 468 kbytes } define tapetype DAT { comment "DAT tape drives" length 1000 mbytes filemark 100 kbytes speed 100 kbytes } define tapetype MIMSY-MEGATAPE { comment "Megatape (Exabyte based) drive through Emulex on Vax 8600" length 2200 mbytes filemark 2130 kbytes speed 170 kbytes } define dumptype global { comment "Global definitions" } define dumptype always-full { global comment "Full dump of this filesystem always" compress none priority high dumpcycle 0 } define dumptype root-tar { global program "GNUTAR" comment "root partitions dumped with tar" compress none index exclude list "/etc/amanda/exclude.gtar" priority low } define dumptype user-tar { root-tar comment "user partitions dumped with tar" priority medium } define dumptype user-tar-span { root-tar tape_splitsize 3 Gb comment "tape-spanning user partitions dumped with tar" priority medium } define dumptype high-tar { root-tar comment "partitions dumped with tar
Bug#361716: amanda-server: amcheck won't send problem reports
Package: amanda-server Version: 1:2.5.0p2-1 Followup-For: Bug #361716 I recently upgraded amanda to 2.5.0 and since then amcheck doesn't work properly. If there is no tape in the drive I get following output: # su backup -c "/usr/sbin/amcheck DailySet1" Amanda Tape Server Host Check - Holding disk /tmp: 9270524 KB disk space available, using 9168124 KB tape_rdlabel: tape open: /dev/nst0: Input/output error (expecting tape VOL-4 or a new tape) Server check took 120.564 seconds Amanda Backup Client Hosts Check Client check: 2 hosts checked in 0.293 seconds, 0 problems found (brought to you by Amanda 2.5.0p2) amcheck is run by cron on a daily basis with following crontab entry: 0 16 * * 0-6backup /usr/sbin/amcheck -m DailySet1 I didn't get any problem reports so far when I forgot to change a tape. If you need further information, please let me know. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.16-1-686-smp Locale: LANG=C, LC_CTYPE=de_AT.UTF-8 (charmap=UTF-8) Versions of packages amanda-server depends on: ii amanda-common1:2.5.0p2-1 Advanced Maryland Automatic Networ ii libc62.3.6-11GNU C Library: Shared libraries ii libncurses5 5.5-2 Shared libraries for terminal hand ii mailx1:8.1.2-0.20050715cvs-1 A simple mail user agent amanda-server recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#365514: nfs-common: Can't create /home/statd in post-installation script
Package: nfs-common Version: 1:1.0.7-10 Severity: normal nfs-common tries to add a new user with homedir /home/statd. However, /home is an nfs-mounted filesystem and user root is not allowed to create/modify files on it: Setting up nfs-common (1.0.7-10) ... Installing new version of config file /etc/default/nfs-common ... Adding system user `statd' with uid 104... Adding new user `statd' (104) with group `nogroup'. Creating home directory `/home/statd'. Stopped: Couldn't create /home/statd: Permission denied. Removing directory `/home/statd' Removing user `statd'. dpkg: error processing nfs-common (--configure): subprocess post-installation script returned error exit status 1 -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.16-1-686-smp Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Versions of packages nfs-common depends on: ii adduser 3.87 Add and remove users and groups ii libc6 2.3.6-7GNU C Library: Shared libraries ii libcomerr21.38+1.39-WIP-2006.04.09-1 common error description library ii libevent1 1.1a-1 An asynchronous event notification ii libkrb53 1.4.3-7MIT Kerberos runtime libraries ii libnfsidmap1 0.13-1 An nfs idmapping library ii libwrap0 7.6.dbs-9 Wietse Venema's TCP wrappers libra ii portmap 5-18 The RPC portmapper ii sysvinit 2.86.ds1-14System-V-like init utilities nfs-common recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#293466: g++-3.4/g++-4.0 still broken
Package: g++-3.4 Version: 3.4.4-8 Followup-For: Bug #293466 Above testcase still crashes with g++-3.4 (3.4.4-8) and g++-4.0 (4.0.1-7). Using GLIBCXX_FORCE_NEW="1" avoids the problem: $ make -e CXX=g++-4.0 g++-4.0 -g -Wall -c -o dltest.o dltest.cc g++-4.0 -g -lpthread -ldl -Wl,--export-dynamic -Wall dltest.o -o dltest g++-4.0 -g -Wall -shared -o plugin.o plugin.cc $ ./dltest Segmentation fault (core dumped) $ GLIBCXX_FORCE_NEW="1" ./dltest $ make clean rm -f dltest dltest.o plugin.o $ make -e CXX=g++-3.4 g++-3.4 -g -Wall -c -o dltest.o dltest.cc g++-3.4 -g -lpthread -ldl -Wl,--export-dynamic -Wall dltest.o -o dltest g++-3.4 -g -Wall -shared -o plugin.o plugin.cc $ ./dltest Segmentation fault (core dumped) $ GLIBCXX_FORCE_NEW="1" ./dltest So long Thomas -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.12-1-686-smp Locale: LANG=C, LC_CTYPE=de_AT.UTF-8 (charmap=UTF-8) Versions of packages g++-3.4 depends on: ii gcc-3.4 3.4.4-8The GNU C compiler ii gcc-3.4-base 3.4.4-8The GNU Compiler Collection (base ii libc6 2.3.5-6GNU C Library: Shared libraries an ii libstdc++6-dev3.4.4-8The GNU Standard C++ Library v3 (d g++-3.4 recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]