Processed: Re: Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]

To: Sergio Durigan Junior <sergiodj@debian.org>
Cc: package-sponsorship-requests@lists.debian.org, sergiodj@debian.org
Subject: Processed: Re: Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 15 Jan 2020 03:15:07 +0000
Message-id: <[🔎] handler.s.C.157905798125840.transcript@bugs.debian.org>
References: <87d0bl1le0.fsf@paluero>

Processing commands for control@bugs.debian.org:

> owner 948927 !
Bug #948927 [sponsorship-requests] RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]
Owner recorded as Sergio Durigan Junior <sergiodj@debian.org>.
> thanks
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: RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]
Next by Date: Bug#948927: marked as done (RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC])
Previous by thread: Processed: RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC]
Next by thread: Processed: RFS: svxlink/19.09.1-1 [requires NEW] -- Advanced repeater controller
Index(es):
- Date
- Thread