Processed: Re: 868606: hol-light FTBFS
Processing commands for control@bugs.debian.org:
> tags 868606 upstream
Bug #868606 [src:hol-light] hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
Added tag(s) upstream.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
868606: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868606
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: