[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: