Processed: RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]

To: bartm@debian.org
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 14 Jan 2020 22:57:03 +0000
Message-id: <[🔎] handler.s.C.15790423628853.transcript@bugs.debian.org>
References: <E1irV3B-00043l-M1@quantz.debian.org>

Processing commands for control@bugs.debian.org:

> retitle 948927 RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]
Bug #948927 [sponsorship-requests] RFS: dafny -- programming language with program correctness verifier [NMU, RC]
Changed Bug title to 'RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]' from 'RFS: dafny -- programming language with program correctness verifier [NMU, RC]'.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
948927: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948927
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: Processed: your mail
Next by Date: Processed: Re: Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]
Previous by thread: Bug#948927: marked as done (RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC])
Next by thread: Processed: Re: Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]
Index(es):
- Date
- Thread