Bug#575500: marked as done (RFP: libminisat2-ocaml -- Ocaml bindings for minisat2)
Your message dated Sat, 13 Aug 2016 09:57:26 +0000
with message-id <E1bYVh0-0005al-Qd@quantz.debian.org>
and subject line closing RFP: libminisat2-ocaml -- Ocaml bindings for minisat2
has caused the Debian Bug report #575500,
regarding RFP: libminisat2-ocaml -- Ocaml bindings for minisat2
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 owner@bugs.debian.org
immediately.)
--
575500: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=575500
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: libminisat2-ocaml -- Ocaml bindings for minisat2
- From: Pietro Abate <pietro.abate@pps.jussieu.fr>
- Date: Fri, 26 Mar 2010 12:26:08 +0100
- Message-id: <20100326112608.17817.65609.reportbug@dev.localnet.xen>
Package: wnpp
Severity: wishlist
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>
* Package name : libminisat2-ocaml
Version : 0.3
Upstream Author : Pietro Abate <pietro.abate@pps.jussieu.fr>
* URL : http://github.com/abate/MiniSat-ocaml/tree/minisat2
* License : GPLv3
Programming Lang: Ocaml
Description : Ocaml bindings for minisat2
MiniSat-ocaml is a set of OCaml bindings for the SAT solver MiniSat. Instead of
reimplementing MiniSat itself in OCaml, this library makes the MiniSat
interface available through OCaml. The usage of the OCaml interface is pretty
straightforward and mimics the C++ interface.
--- End Message ---
--- Begin Message ---
- To: 575500-done@bugs.debian.org
- Subject: closing RFP: libminisat2-ocaml -- Ocaml bindings for minisat2
- From: Bart Martens <bartm@debian.org>
- Date: Sat, 13 Aug 2016 09:57:26 +0000
- Message-id: <E1bYVh0-0005al-Qd@quantz.debian.org>
RFP 575500 has no visible progress for a long time, so closing.
--- End Message ---
Reply to: