Bug#1007265: override: gcc-12-base:libs/optional

2022-03-14 Thread Daniel Lewart
=992477 Thank you! Daniel Lewart Urbana, Illinois

Bug#993563: override: gcc-11-base:libs/optional

2021-09-02 Thread Daniel Lewart
Also, discussed here: https://lists.debian.org/debian-devel/2021/07/msg00046.html https://lists.debian.org/debian-devel/2021/07/msg00048.html By the way, buster had: * gcc-7-base: libs/optional * gcc-8-base: libs/optional Thank you! Daniel Lewart Urbana, Illinois

Bug#992477: override: gcc-10-base:libs/optional

2021-08-18 Thread Daniel Lewart
Also, discussed here: https://lists.debian.org/debian-devel/2021/07/msg00046.html https://lists.debian.org/debian-devel/2021/07/msg00048.html Thank you! Daniel Lewart Urbana, Illinois

Bug#992476: override: gcc-9-base:libs/optional

2021-08-18 Thread Daniel Lewart
, discussed here: https://lists.debian.org/debian-devel/2021/07/msg00046.html https://lists.debian.org/debian-devel/2021/07/msg00048.html Thank you! Daniel Lewart Urbana, Illinois