Processing commands for [email protected]: > owner 576142 ! Bug #576142 [wnpp] RFP: klee -- KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure Owner recorded as Michael Tautschnig <[email protected]>. > retitle 576142 ITP: klee -- symbolic virtual machine built on top of LLVM Bug #576142 [wnpp] RFP: klee -- KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure Changed Bug title to 'ITP: klee -- symbolic virtual machine built on top of LLVM' from 'RFP: klee -- KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure' > thanks Stopping processing here.
Please contact me if you need assistance. -- 576142: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
