Debian Bug report logs - #603416
RFP: ofmc -- Open-source Fixedpoint Model Checker

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

Reported by: Morten Sørensen <starswifter@gmail.com>

Date: Sat, 13 Nov 2010 21:09:05 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, wnpp@debian.org, Morten S�rensen <starswifter@gmail.com>:
Bug#603416; Package wnpp. (Sat, 13 Nov 2010 21:09:08 GMT) Full text and rfc822 format available.

Acknowledgement sent to Morten Sørensen <starswifter@gmail.com>:
New Bug report received and forwarded. Copy sent to wnpp@debian.org, Morten S�rensen <starswifter@gmail.com>. (Sat, 13 Nov 2010 21:09:08 GMT) Full text and rfc822 format available.

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

From: Morten Sørensen <starswifter@gmail.com>
To: submit@bugs.debian.org
Subject: ITP: ofmc -- Open-source Fixedpoint Model Checker
Date: Sat, 13 Nov 2010 22:05:40 +0100
Package: wnpp
Severity: wishlist
Owner: Morten Sørensen <starswifter@gmail.com>

* Package name    : ofmc
* Version         : 2009c
* Upstream Author : Sebastian Mödersheim <smo@zurich.ibm.com>
* URL             :
http://www.avantssar.eu/index.php?option=com_content&task=view&id=7&Itemid=32
* License         : BSD styled license
* Programming Lang: Haskell
* Description     : Open-source Fixedpoint Model Checker

Open-source Fixed-point Model Checker (OFMC for short) is a
modelchecker for security protocols. It is capable of checking
protocols up to an unbounded number of sessions running
simultaniously, and with extensions it can even write out the proof
that a protocol is secure (or unsecure). OFMC knows many different
types of attacks and writes a stacktrace for debugging if it is able
to use any of the attacks. OFMC uses the AnB (Alice and Bob) notation
for describing the protocol, the goals and the knowledge of each of
the participants in the protocol.




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Morten S�rensen <starswifter@gmail.com>:
Bug#603416; Package wnpp. (Wed, 27 Jul 2011 16:36:14 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, Morten S�rensen <starswifter@gmail.com>. (Wed, 27 Jul 2011 16:36:14 GMT) Full text and rfc822 format available.

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

From: Lucas Nussbaum <lucas@debian.org>
To: 603416@bugs.debian.org
Cc: control@bugs.debian.org
Subject: ofmc: changing back from ITP to RFP
Date: Wed, 27 Jul 2011 18:02:34 +0200
retitle 603416 RFP: ofmc -- Open-source Fixedpoint Model Checker
noowner 603416
thanks

Hi,

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

 retitle 603416 ITP: ofmc -- Open-source Fixedpoint Model Checker
 owner 603416 !
 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 <603416@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: ofmc -- Open-source Fixedpoint Model Checker' from 'ITP: ofmc -- Open-source Fixedpoint Model Checker' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Wed, 27 Jul 2011 16:55:59 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by Morten S�rensen <starswifter@gmail.com>. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Wed, 27 Jul 2011 16:56:00 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: Wed Apr 16 05:09:16 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.