Bug#293466: g++-3.4/g++-4.0 still broken

2005-09-17 Thread Thomas Krennwallner
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 -W

Bug#417578: comment line with \ renders gnuplot unusable

2007-04-03 Thread Thomas Krennwallner
ine 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,&qu

Bug#417578: ending slash

2007-04-08 Thread Thomas Krennwallner
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 56042

Bug#739628: clasp: 3.0 cannot solve some problems solved by 2.1.4

2014-02-20 Thread Thomas Krennwallner
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

Bug#730770: debian-maintainers: Annual ping for Thomas Krennwallner

2013-11-29 Thread 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/

Bug#694592: picosat: New upstream release 953 available

2012-11-27 Thread Thomas Krennwallner
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: Lin

Bug#694643: debian-maintainers: Annual ping for Thomas Krennwallner

2012-11-28 Thread 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.0

Bug#639363: ITP: depqbf -- solver for quantified boolean formulae

2011-08-26 Thread Thomas Krennwallner
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

Bug#636772: Segfaults with --pre argument upon certain input

2011-08-27 Thread Thomas Krennwallner
t; 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 Ins

Bug#652787: gringo: FTBFS: clone_allocator.hpp:34:27: error: invalid use of incomplete type 'struct Domain'

2011-12-21 Thread Thomas Krennwallner
rom 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 t

Bug#653228: boost-defaults: libboost-*-dev 1.48.0.2 depend on libboost-*1.46-dev

2011-12-25 Thread Thomas Krennwallner
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:

Bug#653228: [pkg-boost-devel] Bug#653228: boost-defaults: libboost-*-dev 1.48.0.2 depend on libboost-*1.46-dev

2011-12-25 Thread Thomas Krennwallner
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 in

Bug#672933: Builds fine with boost 1.49

2012-05-22 Thread Thomas Krennwallner
, 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

Bug#799989: clasp: FTBFS: Error: TBB library path not set or 'libtbb.{so, dylib}' not found!

2015-09-25 Thread Thomas Krennwallner
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

Bug#823129: RM: coala -- ROM; FTBFS; unmaintained upstream

2016-05-01 Thread Thomas Krennwallner
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 sign

Bug#781105: pgagent: SQL jobstep deadlock

2015-05-29 Thread Thomas Krennwallner
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.

Bug#781105: pgagent: SQL jobstep deadlock

2015-03-24 Thread Thomas Krennwallner
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 proc

Bug#767590: niceload: Name "opt::battery" used only once: possible typo at /usr/bin/niceload line 184.

2014-11-01 Thread Thomas Krennwallner
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:

Bug#765036: parallel: niceload -I requires iostat

2014-10-12 Thread Thomas Krennwallner
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:

Bug#812847: coala: FTBFS: scanner.cpp:662:9: error: no match for 'operator='

2016-02-02 Thread Thomas Krennwallner
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 Main

Bug#809514: debian-maintainers: Annual ping for Thomas Krennwallner

2015-12-31 Thread 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) Ker

Bug#809515: debian-maintainers: Annual ping for Thomas Krennwallner

2015-12-31 Thread 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) Ker

Bug#771319: debian-maintainers: Annual ping for Thomas Krennwallner

2014-11-28 Thread 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) Ker

Bug#849393: debian-maintainers: Annual ping for Thomas Krennwallner

2016-12-26 Thread 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#417578: not found in 4.2.0

2007-08-04 Thread Thomas Krennwallner
ot; $ 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 59

Bug#365514: nfs-common: Can't create /home/statd in post-installation script

2006-04-30 Thread Thomas Krennwallner
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 /

Bug#361716: amanda-server: amcheck won't send problem reports

2006-06-01 Thread Thomas Krennwallner
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

Bug#361715: Debian bug 361715 followup

2006-06-02 Thread Thomas Krennwallner
rsion 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 : :'

Bug#615929: bmagic: new upstream release available

2011-02-28 Thread Thomas Krennwallner
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,

Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

2011-03-06 Thread Thomas Krennwallner
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

Bug#613986: Status?

2011-03-20 Thread Thomas Krennwallner
rs 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 Univer

Bug#613986: ITP: run -- tool for sampling time and memory usage

2011-02-18 Thread Thomas Krennwallner
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

Bug#605877: ITP: clasp -- A conflict-driven nogood learning answer set solver

2010-12-04 Thread Thomas Krennwallner
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

Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs

2010-12-04 Thread Thomas Krennwallner
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

Bug#605881: ITP: coala -- translates action languages into answer set programs

2010-12-04 Thread Thomas Krennwallner
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

Bug#631270: clasp ld-as-needed patch

2011-06-23 Thread Thomas Krennwallner
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 ht

Bug#623090: debian-maintainers: Please add Thomas Krennwallner as a Debian Maintainer

2011-04-17 Thread Thomas Krennwallner
00, '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 Krennwall

Bug#623599: clasp: new upstream version 2.0.0 available

2011-04-21 Thread Thomas Krennwallner
t 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 Syste

Bug#623850: clasp: num out of bounds in ProgramOptions::StringSlice::skip

2011-04-23 Thread Thomas Krennwallner
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::StringSlic

Bug#623850: clasp: num out of bounds in ProgramOptions::StringSlice::skip

2011-04-24 Thread Thomas Krennwallner
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, doub

Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

2011-05-25 Thread Thomas Krennwallner
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

Bug#613986: Status?

2011-03-13 Thread Thomas Krennwallner
s 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/p

Bug#898924: btrfs-progs: btrfs send fails with ERROR: not on mount point: /

2018-06-16 Thread Thomas Krennwallner
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#902109: clasp: Please install static library (and build with -fPIC)

2018-06-22 Thread Thomas Krennwallner
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 st

Bug#880856: picosat: new upstream version 965

2017-11-04 Thread Thomas Krennwallner
Package: picosat Version: 960 Severity: wishlist Dear Michael, picosat 965 is available from http://fmv.jku.at/picosat/ Best, TK

Bug#920886: btrfs-progs: btrfs send failed to determine mount point for snapshots stored in /

2019-01-30 Thread Thomas Krennwallner
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 '

Bug#898924: btrfs-progs: btrfs send fails with ERROR: not on mount point: /

2018-05-17 Thread Thomas Krennwallner
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-20180517T1239