--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: spin -- Powerfull model checking and software verification tool
- From: Eike Dehling <e.e.dehling@student.utwente.nl>
- Date: Tue, 22 Feb 2005 02:31:03 +0100
- Message-id: <200502220131.j1M1V2w24158@netlx010.civ.utwente.nl>
Package: wnpp
Severity: wishlist
Owner: Eike Dehling <e.e.dehling@student.utwente.nl>
* Package name : spin
Version : 4.2.4
Upstream Author : Bell-Labs <pin_list@spinroot.com>
* URL : http://www.spinroot.com/
* License : Free(as in, no license) for non-commercial use, commercial use requires this license:
http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html
Description : Powerfull model checking and software verification tool
Spin is a tool for model checking / software verification. It can
check a model described in it's C-like modeling language to verify
assertions. It can handle multiple concurrent processes, embedded
C code and several forms of inter-process communication. It will
also use optimization techniques to scale to checking big models.
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.6.3
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
--- 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 296369
thanks bts
Further comments on the work done in the bug sent to
296369@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 ---