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 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 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 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 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 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
6 matches
Mail list logo