Your message dated Sun, 04 Apr 2010 09:05:52 +0000
with message-id <[email protected]>
and subject line Bug#576364: fixed in picosat 913-4
has caused the Debian Bug report #576364,
regarding Please install libpicosat.a and picosat.h
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
576364: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576364
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: picosat
Version: 913-2
Severity: wishlist
The subject says it all. I want to write ocaml bindings for picosat
and I need the .a and .h
the patch is trivial :
mkdir -p $(CURDIR)/debian/picosat/usr/lib/
cp libpicosat.a $(CURDIR)/debian/picosat/usr/lib/
mkdir -p $(CURDIR)/debian/picosat/usr/include/picosat/
cp picosat.h $(CURDIR)/debian/picosat/usr/include/picosat/
thanks !
pietro
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.18-6-xen-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
--- End Message ---
--- Begin Message ---
Source: picosat
Source-Version: 913-4
We believe that the bug you reported is fixed in the latest version of
picosat, which is due to be installed in the Debian FTP archive:
picosat_913-4.debian.tar.gz
to main/p/picosat/picosat_913-4.debian.tar.gz
picosat_913-4.dsc
to main/p/picosat/picosat_913-4.dsc
picosat_913-4_amd64.deb
to main/p/picosat/picosat_913-4_amd64.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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <[email protected]> (supplier of updated picosat 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 04 Apr 2010 00:36:27 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 913-4
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
picosat - SAT solver with proof and core support
Closes: 576364
Changes:
picosat (913-4) unstable; urgency=low
.
* Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of
the necessary patch (closes: #576364).
* Cleanup debian/rules and add support for building dynamic libraries.
Checksums-Sha1:
0b5a0be5519edc15db26be5b324870f289ae62b7 989 picosat_913-4.dsc
130676e8d88b14771e0d778a73ae3732fc232614 5313 picosat_913-4.debian.tar.gz
5ca9fbf8d325c11b0209287c42ea5de446e3f294 159760 picosat_913-4_amd64.deb
Checksums-Sha256:
add27d729b56eaa206e8ef9c397051d6d506adca323068f70193babac313f13e 989
picosat_913-4.dsc
33aaf0f25ac9a74616cae153ed9be84f80aad46bb6035b8a971ad7e4dae56a9a 5313
picosat_913-4.debian.tar.gz
deccc3e79cb1a7f548721120f1330567f92d750061ae24caff49838142a3823b 159760
picosat_913-4_amd64.deb
Files:
455f89b2bd9471cf835508ed977b4fe9 989 science extra picosat_913-4.dsc
f8741b8b81dd123f60fed9dd84830d9c 5313 science extra picosat_913-4.debian.tar.gz
983fbdd3dbb4378c7a651f3d27926cfd 159760 science extra picosat_913-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAku3wxkACgkQvx6dH3bVKsTavACdGS30g7QlScss6NquxLHw6Ohy
fWYAoIWVta9Lalo0cIOB5DscS8vhnRKA
=hz4u
-----END PGP SIGNATURE-----
--- End Message ---
