Debian Bug report logs - #575500
RFP: libminisat2-ocaml -- Ocaml bindings for minisat2

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: Pietro Abate <pietro.abate@pps.jussieu.fr>

Date: Fri, 26 Mar 2010 11:30:01 UTC

Severity: wishlist

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, debian-devel@lists.debian.org, wnpp@debian.org:
Bug#575500; Package wnpp. (Fri, 26 Mar 2010 11:30:04 GMT) Full text and rfc822 format available.

Acknowledgement sent to Pietro Abate <pietro.abate@pps.jussieu.fr>:
New Bug report received and forwarded. Copy sent to debian-devel@lists.debian.org, wnpp@debian.org. (Fri, 26 Mar 2010 11:30:04 GMT) Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: Pietro Abate <pietro.abate@pps.jussieu.fr>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: libminisat2-ocaml -- Ocaml bindings for minisat2
Date: Fri, 26 Mar 2010 12:26:08 +0100
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.




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Pietro Abate <pietro.abate@pps.jussieu.fr>:
Bug#575500; Package wnpp. (Sat, 19 Feb 2011 18:02:05 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lucas Nussbaum <lucas@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Pietro Abate <pietro.abate@pps.jussieu.fr>. (Sat, 19 Feb 2011 18:02:05 GMT) Full text and rfc822 format available.

Message #10 received at 575500@bugs.debian.org (full text, mbox):

From: Lucas Nussbaum <lucas@debian.org>
To: 575500@bugs.debian.org
Cc: control@bugs.debian.org
Subject: libminisat2-ocaml: changing back from ITP to RFP
Date: Sat, 19 Feb 2011 17:07:44 +0000
retitle 575500 RFP: libminisat2-ocaml -- Ocaml bindings for minisat2
noowner 575500
thanks

Hi,

This is an automatic email to change the status of libminisat2-ocaml back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 6 months.

If you are still interested in adopting libminisat2-ocaml, please send a mail to
<control@bugs.debian.org> with:

 retitle 575500 ITP: libminisat2-ocaml -- Ocaml bindings for minisat2
 owner 575500 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <575500@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team <debian-qa@lists.debian.org>




Changed Bug title to 'RFP: libminisat2-ocaml -- Ocaml bindings for minisat2' from 'ITP: libminisat2-ocaml -- Ocaml bindings for minisat2' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Sat, 19 Feb 2011 18:10:56 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by Pietro Abate <pietro.abate@pps.jussieu.fr>. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Sat, 19 Feb 2011 18:10:57 GMT) Full text and rfc822 format available.

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Mon Apr 21 13:00:25 2014; Machine Name: beach.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.