Bug#852645: dafny: FTBFS

Tue, 07 Mar 2017 18:09:34 -0800 

I’m still planning to look at this, though I haven’t had the chance yet.

Reply via email to