Your message dated Sun, 04 Apr 2010 09:05:26 +0000
with message-id <[email protected]>
and subject line Bug#576364: fixed in picosat 913-3
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-3
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-3.debian.tar.gz
to main/p/picosat/picosat_913-3.debian.tar.gz
picosat_913-3.dsc
to main/p/picosat/picosat_913-3.dsc
picosat_913-3_amd64.deb
to main/p/picosat/picosat_913-3_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: Sat, 03 Apr 2010 22:59:17 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 913-3
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-3) unstable; urgency=low
.
* Install picosat.h and libpicosat.a, thanks Pietro Abate for the patch
(closes: #576364).
Checksums-Sha1:
a0e7a00a9067b17409cefebd181f2d99d5db04e5 989 picosat_913-3.dsc
cacafad4b9c007fb73e8a74927c1fda295022046 4918 picosat_913-3.debian.tar.gz
a912b172f1298ac0cb398eff248c00d357ea506e 125352 picosat_913-3_amd64.deb
Checksums-Sha256:
e582ddf40441afeecb1fabed975421de370fd977efb50e227e6a5db4d61eb5b9 989
picosat_913-3.dsc
41b279c5fc3edbda0099ed171ee20130a669653f283780abcac18a2ffdd6c380 4918
picosat_913-3.debian.tar.gz
02c485213b39a55e86394635bdb605038cce30622f9fc2e401fc914f81913c31 125352
picosat_913-3_amd64.deb
Files:
e9f4957df736aed0ccc822384c7c18c7 989 science extra picosat_913-3.dsc
730758d364d5ae38acd089fb3bcabb09 4918 science extra picosat_913-3.debian.tar.gz
82ff88a5607699ab682a985ec716a849 125352 science extra picosat_913-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAku3rEEACgkQvx6dH3bVKsRRGQCgmAOsc1B/g2r6urxnnJ8lCpgz
xJsAoNW4De7rFvBaKZO2ivq0isK1tOsg
=kW9K
-----END PGP SIGNATURE-----
--- End Message ---
