Your message dated Sat, 13 Aug 2016 09:57:40 +0000
with message-id <[email protected]>
and subject line closing RFP: ocaml-buddy -- ocaml bindings for buddy bdd
has caused the Debian Bug report #577778,
regarding RFP: ocaml-buddy -- ocaml bindings for buddy bdd
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.)
--
577778: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=577778
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Pietro Abate <[email protected]>
Owner: Pietro Abate <[email protected]>
* Package name : ocaml-buddy
Version : 0.1
Upstream Author : Pietro Abate <[email protected]>
* 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
--- End Message ---
--- Begin Message ---
RFP 577778 has no visible progress for a long time, so closing.
--- End Message ---
