Your message dated Tue, 29 Dec 2009 12:47:07 +0000
with message-id <[email protected]>
and subject line Bug#537372: fixed in minisat2 070721-7
has caused the Debian Bug report #537372,
regarding minisat2: libminisat.a and compilation headers
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.)
--
537372: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537372
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: minisat2
Severity: wishlist
Hello Michael,
I've ported the ocaml binding of minisat to the latest version of
the solver, but unfortunately, in order to compile it, I need the
library version of minisat (make lib) and few header files. Would
you consider to split the package in three like
- libminisat2
- libminisat2-dev
- minisat2
This would make my life much easier :)
If you have an svn/git repo of the package, I can prepare you a patch.
thanks.
pietro
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.18-6-xen-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US, LC_CTYPE=en_US.UTF-8 (charmap=ANSI_X3.4-1968) (ignored:
LC_ALL set to C)
Shell: /bin/sh linked to /bin/bash
Versions of packages minisat2 depends on:
ii libc6 2.9-20 GNU C Library: Shared libraries
ii libgcc1 1:4.4.0-11 GCC support library
ii libstdc++6 4.4.0-11 The GNU Standard C++ Library v3
ii zlib1g 1:1.2.3.3.dfsg-14 compression library - runtime
minisat2 recommends no packages.
minisat2 suggests no packages.
--- End Message ---
--- Begin Message ---
Source: minisat2
Source-Version: 070721-7
We believe that the bug you reported is fixed in the latest version of
minisat2, which is due to be installed in the Debian FTP archive:
minisat2_070721-7.diff.gz
to main/m/minisat2/minisat2_070721-7.diff.gz
minisat2_070721-7.dsc
to main/m/minisat2/minisat2_070721-7.dsc
minisat2_070721-7_amd64.deb
to main/m/minisat2/minisat2_070721-7_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 minisat2 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: Tue, 29 Dec 2009 12:19:36 +0100
Source: minisat2
Binary: minisat2
Architecture: source amd64
Version: 070721-7
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
minisat2 - Fast and lightweight SAT solver
Closes: 537372
Changes:
minisat2 (070721-7) unstable; urgency=low
.
* Bumped standards version to 3.8.3 (no changes).
* Use Copyright instead of (C) in debian/copyright.
* Build dynamic library (thanks Pietro Abate <[email protected]>
for ideas and patches). (Closes: #537372)
Checksums-Sha1:
1e318703bb6b39bed7a300f9d6a19372ca017f04 965 minisat2_070721-7.dsc
6de5db5c22c902f141e578c2187f1bf0c14e2ec6 8223 minisat2_070721-7.diff.gz
93e8f1d7ca0f8627eb5edd2ede9136c1865b4de4 98254 minisat2_070721-7_amd64.deb
Checksums-Sha256:
5b09e2a911acf0ce4e2efe4bcf395e908fcd474d4dd988e50fe7c57d640d44b4 965
minisat2_070721-7.dsc
2312350aeec16845d5e219d1664e0cff06012a923db32d68d3e79c71e0f02394 8223
minisat2_070721-7.diff.gz
39d80258bfd7679f49b9f1afb2a86733175432671b127c7b3325cf803306853c 98254
minisat2_070721-7_amd64.deb
Files:
21784b60438a1f40835d5ca69b4d1b40 965 science extra minisat2_070721-7.dsc
bfbefe0ca1339323fecb1cf12fffe57c 8223 science extra minisat2_070721-7.diff.gz
22f319a79b09dad0e05714537dd5e9e8 98254 science extra
minisat2_070721-7_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAks59vYACgkQvx6dH3bVKsTS5gCdGeXMGB+Umo2ERWqAP5ithCAp
+iMAnjo+Osly9ad2WeqQ1k79DqjfuDvw
=Uu02
-----END PGP SIGNATURE-----
--- End Message ---
