Debian Bug report logs - #714468
RFP: topcased -- Open-Source Toolkit for Critical Systems

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

Reported by: Bernhard <bewoern1@yahoo.de>

Date: Sat, 29 Jun 2013 17:09:02 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:
Bug#714468; Package wnpp. (Sat, 29 Jun 2013 17:09:06 GMT) Full text and rfc822 format available.

Acknowledgement sent to Bernhard <bewoern1@yahoo.de>:
New Bug report received and forwarded. Copy sent to wnpp@debian.org. (Sat, 29 Jun 2013 17:09:06 GMT) Full text and rfc822 format available.

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

From: Bernhard <bewoern1@yahoo.de>
To: submit@bugs.debian.org
Subject: ITP: TopCased -- Open-Source Toolkit for Critical Systems
Date: Sat, 29 Jun 2013 19:06:27 +0200
Package: wnpp
Severity: wishlist

Homepage: http://www.topcased.org

TopCased is an UML and SysML Open-Source Editor.
The current version 5 is for Eclipse 3.7 (Indigo).

Bernhard





Owner recorded as Bernhard <bewoern1@yahoo.de>. Request was from Bart Martens <bartm@quantz.debian.org> to control@bugs.debian.org. (Sun, 30 Jun 2013 04:27:04 GMT) Full text and rfc822 format available.

Changed Bug title to 'RFP: TopCased -- Open-Source Toolkit for Critical Systems' from 'ITP: TopCased -- Open-Source Toolkit for Critical Systems' Request was from Bernhard <bewoern1@yahoo.de> to control@bugs.debian.org. (Sun, 30 Jun 2013 04:57:04 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by Bernhard <bewoern1@yahoo.de>. Request was from Bernhard <bewoern1@yahoo.de> to control@bugs.debian.org. (Sun, 30 Jun 2013 04:57:04 GMT) Full text and rfc822 format available.

Changed Bug title to 'RFP: topcased -- Open-Source Toolkit for Critical Systems' from 'RFP: TopCased -- Open-Source Toolkit for Critical Systems' Request was from Raphael Geissert <atomo64@gmail.com> to control@bugs.debian.org. (Sun, 16 Mar 2014 12:51:17 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: Fri Apr 18 16:54:20 2014; Machine Name: beach.debian.org

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