Processed: limit source to coq, tagging 585452
Processing commands for control@bugs.debian.org:
> #coq (8.2.pl1+dfsg-7) UNRELEASED; urgency=low
> #
> # * Add 0003-Fix-build-with-OCaml-3.12.patch (Closes: #585452)
> #
> limit source coq
Limiting to bugs with field 'source' containing at least one of 'coq'
Limit currently set to 'source':'coq'
> tags 585452 + pending
Bug #585452 [src:coq] coq: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance
Added tag(s) pending.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
585452: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585452
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: