Bug#148764: marked as done (ITP: buddy -- Shared library for manipulating Binary-decision diagrams)
Your message dated Sun, 27 Mar 2005 17:12:29 -0500
with message-id <E1DFfzh-0000tJ-00@newraff.debian.org>
and subject line Bug#148764: fixed in buddy 2.4-3
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 1 Jun 2002 19:21:35 +0000
>From jpsecher@diku.dk Sat Jun 01 14:21:35 2002
Return-path: <jpsecher@diku.dk>
Received: from richardson.uni2.net [130.227.52.104]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17EERS-0006gs-00; Sat, 01 Jun 2002 14:21:35 -0500
Received: from valkyrie (p446-103.ppp.get2net.dk [195.47.129.231])
by richardson.uni2.net (8.11.6/8.11.6) with ESMTP id g51JLVh24628;
Sat, 1 Jun 2002 21:21:32 +0200
Received: from jp by valkyrie with local (Exim 3.35 #1 (Debian))
id 17ECZ9-0003nG-00; Sat, 01 Jun 2002 19:21:23 +0200
From: Jens Peter Secher <jpsecher@diku.dk>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: buddy -- Shared library for manipulating Binary-decision diagrams
X-Mailer: reportbug 1.50
Date: Sat, 01 Jun 2002 19:21:23 +0200
X-Debbugs-CC: debian-devel@lists.debian.org
Message-Id: <E17ECZ9-0003nG-00@valkyrie>
Delivered-To: submit@bugs.debian.org
Package: wnpp
Version: N/A; reported 2002-06-01
Severity: wishlist
* Package name : buddy
Version : 2.0
Upstream Author : Jorn Lind-Nielsen <buddy@itu.dk>
* URL : http://www.it-c.dk/research/buddy
* License : very free (see below)
Description : Shared library for manipulating Binary-decision diagrams
BuDDy (libbdd) is an efficient Binary-Decision-Diagram (BDD)
library with all the standard BDD operations and reordering.
I have provided a source package (buddy) at
deb ftp://ftp.diku.dk/diku/users/jpsecher/debian/ woody main non-free contrib
I have provided binary packages (libbdd0 and libbdd-dev) at
deb-src ftp://ftp.diku.dk/diku/users/jpsecher/debian/ woody main non-free contrib
License:
Copyright (C) 1996-2001 by Jorn Lind-Nielsen, All rights reserved
Permission is hereby granted, without written agreement and without
license or royalty fees, to use, reproduce, prepare derivative
works, distribute, and display this software and its documentation
for any purpose, provided that (1) the above copyright notice and
the following two paragraphs appear in all copies of the source code
and (2) redistributions, including without limitation binaries,
reproduce these notices in the supporting documentation. Substantial
modifications to this software may be copyrighted by their authors
and need not follow the licensing terms described here, provided
that the new terms are clearly indicated in all files where they apply.
IN NO EVENT SHALL JORN LIND-NIELSEN, OR DISTRIBUTORS OF THIS
SOFTWARE BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL,
INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS
SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE AUTHORS OR ANY OF THE
ABOVE PARTIES HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
JORN LIND-NIELSEN SPECIFICALLY DISCLAIM ANY WARRANTIES, INCLUDING,
BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
ON AN "AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS HAVE NO
OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
MODIFICATIONS.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux valkyrie 2.4.17 #1 Wed Feb 13 20:43:32 CET 2002 i686
Locale: LANG=C, LC_CTYPE=C
---------------------------------------
Received: (at 148764-close) by bugs.debian.org; 27 Mar 2005 22:24:17 +0000
>From joerg@newraff.debian.org Sun Mar 27 14:24:17 2005
Return-path: <joerg@newraff.debian.org>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1DFgB6-0005x1-00; Sun, 27 Mar 2005 14:24:16 -0800
Received: from joerg by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1DFfzh-0000tJ-00; Sun, 27 Mar 2005 17:12:29 -0500
From: Jens Peter Secher <jps@debian.org>
To: 148764-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#148764: fixed in buddy 2.4-3
Message-Id: <E1DFfzh-0000tJ-00@newraff.debian.org>
Sender: Joerg Jaspert <joerg@newraff.debian.org>
Date: Sun, 27 Mar 2005 17:12:29 -0500
Delivered-To: 148764-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
Source: buddy
Source-Version: 2.4-3
We believe that the bug you reported is fixed in the latest version of
buddy, which is due to be installed in the Debian FTP archive:
buddy_2.4-3.diff.gz
to pool/main/b/buddy/buddy_2.4-3.diff.gz
buddy_2.4-3.dsc
to pool/main/b/buddy/buddy_2.4-3.dsc
buddy_2.4.orig.tar.gz
to pool/main/b/buddy/buddy_2.4.orig.tar.gz
libbdd-dev_2.4-3_i386.deb
to pool/main/b/buddy/libbdd-dev_2.4-3_i386.deb
libbdd0_2.4-3_i386.deb
to pool/main/b/buddy/libbdd0_2.4-3_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 148764@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jens Peter Secher <jps@debian.org> (supplier of updated buddy package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 1 Mar 2005 21:40:34 +0100
Source: buddy
Binary: libbdd0 libbdd-dev
Architecture: source i386
Version: 2.4-3
Distribution: unstable
Urgency: low
Maintainer: Jens Peter Secher <jps@debian.org>
Changed-By: Jens Peter Secher <jps@debian.org>
Description:
libbdd-dev - Binary decision-diagram library (development)
libbdd0 - Binary decision-diagram library (runtime)
Closes: 148764
Changes:
buddy (2.4-3) unstable; urgency=low
.
* Improved the description of the packages.
* Rewrote this changelog so it is easier to see what has been going on,
and uploading with the full changelog.
* Uploading as official Debian package. (Closes: bug#148764)
.
buddy (2.4-2) unstable; urgency=low
.
* Changed control and rules files to build unversioned -dev package
instead of versioned -dev package, and furthermore conflict with the
versioned -dev package.
.
buddy (2.4-1) unstable; urgency=low
.
* New upstream version.
* Because upstream now uses standard build procedure, almost all of the
debian-specific build scripting has been removed.
.
buddy (2.2-2) unstable; urgency=low
.
* New debian/compat file.
* Respect DEB_BUILD_OPTIONS.
* Remove obsolete configure stamp.
* Use ${misc:Depends}.
* Change section of libbdd-dev to "libdevel".
.
buddy (2.2-1) unstable; urgency=low
.
* New upstream release
.
buddy (2.0-1) unstable; urgency=low
.
* Initial Release.
Files:
833ae3edbfdd6d985d8833dfcdcc38db 567 devel optional buddy_2.4-3.dsc
3b59cb073bcb3f26efdb851d617ef2ed 766523 devel optional buddy_2.4.orig.tar.gz
e0c6faa747d42462abae64f4591850b9 3615 devel optional buddy_2.4-3.diff.gz
ce304ffef15ba8e09dd3a3d6dcf5e9a4 53072 libs optional libbdd0_2.4-3_i386.deb
718fa59c512b8de6b0871afaa3a80c64 461252 libdevel optional libbdd-dev_2.4-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)
iD8DBQFCJOiKDuWXiv5j6KERAmBKAKCxK8kwehzMps/FyhmwKrYatfCuiQCglrLK
nFTm4PRZl/SBLM3S02rxKz8=
=LrR7
-----END PGP SIGNATURE-----
Reply to: