hol-light is marked for autoremoval from testing

2024-08-08 Thread Debian testing autoremoval watch
hol-light 20231021-2 is marked for autoremoval from testing on 2024-08-22 It is affected by these RC bugs: 1073882: hol-light: FTBFS with OCaml 5.2.0 (Needs porting) https://bugs.debian.org/1073882 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mai

hol-light is marked for autoremoval from testing

2022-01-20 Thread Debian testing autoremoval watch
hol-light 20190729-4 is marked for autoremoval from testing on 2022-02-03 It is affected by these RC bugs: 1002983: hol-light: FTBFS with camlp5 8.00.02 https://bugs.debian.org/1002983 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_auto

hol-light is marked for autoremoval from testing

2017-10-20 Thread Debian testing autoremoval watch
hol-light 20170109-2 is marked for autoremoval from testing on 2017-10-22 It is affected by these RC bugs: 876533: hol-light: hol-light FTBFS with OCaml 4.05.0

hol-light is marked for autoremoval from testing

2017-09-30 Thread Debian testing autoremoval watch
hol-light 20170109-2 is marked for autoremoval from testing on 2017-10-22 It is affected by these RC bugs: 876533: hol-light: hol-light FTBFS with OCaml 4.05.0

hol-light is marked for autoremoval from testing

2017-07-23 Thread Debian testing autoremoval watch
hol-light 20170109-1 is marked for autoremoval from testing on 2017-08-14 It is affected by these RC bugs: 868606: 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

hol-light is marked for autoremoval from testing

2016-01-21 Thread Debian testing autoremoval watch
hol-light 20131026-1 is marked for autoremoval from testing on 2016-02-20 It (build-)depends on packages with these RC bugs: 802264: camlp5: matita: FTBFS with OCaml 4.02.3