Bug#903143: RFA: dafny

To: 903143@bugs.debian.org
Subject: Bug#903143: RFA: dafny
From: Jörgen Brandt <joergen@cuneiform-lang.org>
Date: Wed, 9 Sep 2020 09:04:01 +0200
Message-id: <[🔎] c1fec896-24bc-e14c-efb5-08148f843b38@cuneiform-lang.org>
Reply-to: Jörgen Brandt <joergen@cuneiform-lang.org>, 903143@bugs.debian.org
References: <153091641432.2502.11936533462031977492.reportbug@benwick.benjamin.barenblat.name>

Hello,

I would like to help maintain this package. What would be the first stepfor me to take?


Cheers

Jörgen

Reply to: