[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#425925: marked as done (ITP: haskell-stp -- Haskell library solver for the Simple Temporal Problem)

Your message dated Sun, 08 Jun 2008 11:59:42 -0600
with message-id <E1K5PB8-0008SP-3g@merkel.debian.org>
and subject line WNPP bug closing
has caused the Debian Bug report #425925,
regarding ITP: haskell-stp -- Haskell library solver for the Simple Temporal Problem
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.)


-- 
425925: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=425925
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Version: N/A; reported 2007-05-24
Severity: wishlist

Package name : haskell-stp
Version : 1.0
Upstream Author : Matthew Danish
URL : http://mapcar.org/haskell/STP
License : MIT
Description :
 Simple Temporal networks are means for expressing and solving
 graphs meant to be interpreted as time points and constrained
 bounds between them.  This library provides two implementations
 of Simple Temporal networks, STP and Stone.  The former is
 a proof-of-concept implemented using the Inductive Graph library.
 The latter is an efficient implementation using ST, arrays, and
 is tested against the former using QuickCheck.

-- 
-- Matthew Danish -- user: mrd domain: cmu.edu
-- OpenPGP public key: C24B6010 on keyring.debian.org

--- End Message ---
--- Begin Message --- 
Hello,

This is an automatic mail sent to close the ITP you have reported or 
are involved with.

Your ITP wnpp bug is being closed because of the following reasons:
- It is, as of today, older than 365 days.
- It hasn't had any activity recently.

As this is an automatic procedure, it could of course have something
wrong and probably it would be closing some bugs that are not 
intended by owners and submitters (like you) to be closed, for
example if the ITP is still of your interest, or there has been 
some kind of activity around it. In that case, please reopen the
bug, do it, DO IT NOW! (I don't want to be blamed because of
mass closing and not let people know that they can easily reopen
their bugs ;-).

To re-open it, you simply have to mail control@bugs.debian.org
with a body text like this:

 reopen 425925
 stop

Further comments on the work done in the bug sent to
425925@bugs.debian.org would be truly welcomed.
Anyway, if you have any kind of problems when dealing with
the BTS, feel free to contact me and I'd be more than happy to help
you on this: <damog@debian.org>.

A similar process is being applied to other kind of wnpp bugs.

Thanks for your cooperation,

 -- David Moreno Garza <damog@debian.org>.

--- End Message ---
Reply to: