Processing commands for cont...@bugs.debian.org: > 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 <m...@debian.org>. > 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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/handler.s.c.14345649506769.transcr...@bugs.debian.org
