Processing commands for cont...@bugs.debian.org: > reassign 605014 coq Bug #605014 [proofgeneral-coq] proofgeneral-coq: PG for coq unusable because hilit19 is missing Bug reassigned from package 'proofgeneral-coq' to 'coq'. Bug No longer marked as found in versions proofgeneral/3.7-4. > reassign 582768 coq Bug #582768 [proofgeneral] proofgeneral: file-error "cannot open load file" "hilit19" Bug reassigned from package 'proofgeneral' to 'coq'. Bug No longer marked as found in versions proofgeneral/3.7-3.1. > forcemerge 605024 605014 582768 Bug#605024: coq: coq.el requires nonexistent hilit19 Bug#582768: proofgeneral: file-error "cannot open load file" "hilit19" Bug#605014: proofgeneral-coq: PG for coq unusable because hilit19 is missing Forcibly Merged 582768 605014 605024.
> thanks Stopping processing here. Please contact me if you need assistance. -- 582768: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=582768 605024: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605024 605014: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605014 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
