Bug#903143: RFA: dafny

[Jörgen Brandt]

Hello,

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

Cheers

Jörgen