Processing commands for cont...@bugs.debian.org: > retitle 903142 O: boogie -- verifiable programming language (compiler) Bug #903142 [wnpp] RFA: boogie -- verifiable programming language (compiler) Changed Bug title to 'O: boogie -- verifiable programming language (compiler)' from 'RFA: boogie -- verifiable programming language (compiler)'. > retitle 903143 O: dafny -- programming language with program correctness > verifier Bug #903143 [wnpp] RFA: dafny -- programming language with program correctness verifier Changed Bug title to 'O: dafny -- programming language with program correctness verifier' from 'RFA: dafny -- programming language with program correctness verifier'. > retitle 1051044 O: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and > OpenCL Bug #1051044 [wnpp] ITA: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL Changed Bug title to 'O: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL' from 'ITA: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1051044: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1051044 903142: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903142 903143: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903143 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
