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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
