Processed: Re: Bug#605024: coq: coq.el requires nonexistent hilit19
Processing commands for control@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 owner@bugs.debian.org with problems
Reply to: