Debian Bug report logs - #577778
RFP: ocaml-buddy -- ocaml bindings for buddy bdd

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

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

Date: Wed, 14 Apr 2010 14:00: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#577778; Package wnpp. (Wed, 14 Apr 2010 14:00: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. (Wed, 14 Apr 2010 14:00: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>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Subject: ITP: ocaml-buddy -- ocaml bindings for buddy bdd
Date: Wed, 14 Apr 2010 15:57:18 +0200
Package: wnpp
Severity: wishlist
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>


* Package name    : ocaml-buddy
  Version         : 0.1
  Upstream Author : Pietro Abate <pietro.abate@pps.jussieu.fr>
* URL             : http://github.com/abate/ocaml-buddy
* License         : LGPL
  Programming Lang: Ocaml / C
  Description     : ocaml bindings for buddy bdd

 Binary decision diagrams (BDDs) are space-efficient encodings of
 boolean expressions or dynamic truth tables, used in eg. model
 checking.  BuDDy is an efficient BDD library with all the standard
 BDD operations, dynamic reordering of variables, automated garbage
 collection, a C++ interface with automatic reference counting, and
 more.
 .
 This package provides the files necessary to run dynamically-linked
 OCaml programs with Buddy BDD.

Preliminary version of the package here:
http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-buddy.git




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Pietro Abate <pietro.abate@pps.jussieu.fr>:
Bug#577778; Package wnpp. (Sat, 19 Feb 2011 17:19:19 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 17:19:19 GMT) Full text and rfc822 format available.

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

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

Hi,

This is an automatic email to change the status of ocaml-buddy 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 ocaml-buddy, please send a mail to
<control@bugs.debian.org> with:

 retitle 577778 ITP: ocaml-buddy -- ocaml bindings for buddy bdd
 owner 577778 !
 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 <577778@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: ocaml-buddy -- ocaml bindings for buddy bdd' from 'ITP: ocaml-buddy -- ocaml bindings for buddy bdd' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Sat, 19 Feb 2011 17:21:18 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 17:21:18 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: Sat Apr 19 07:44:53 2014; Machine Name: buxtehude.debian.org

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