Processing commands for cont...@bugs.debian.org: > retitle 903143 RFA: dafny -- programming language with program correctness > verifier Bug #903143 [wnpp] RFA: dafny Changed Bug title to 'RFA: dafny -- programming language with program correctness verifier' from 'RFA: dafny'. > End of message, stopping processing here.
Please contact me if you need assistance. -- 903143: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903143 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems