Pop-Up Thingie

>>> Magnum BBS <<<
  • Home
  • Forum
  • Files
  • Log in

  1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.
  • ssreflect is marked for autoremoval from testing

    From Debian testing autoremoval watch@21:1/5 to All on Thu May 26 16:30:02 2022
    ssreflect 1.14.0-9 is marked for autoremoval from testing on 2022-06-30

    It (build-)depends on packages with these RC bugs:
    1011146: nvidia-graphics-drivers-tesla-470: CVE-2022-28181, CVE-2022-28183, CVE-2022-28184, CVE-2022-28185, CVE-2022-28191, CVE-2022-28192
    https://bugs.debian.org/1011146



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Wed Jun 15 07:00:01 2022
    ssreflect 1.14.0-9 is marked for autoremoval from testing on 2022-07-12

    It (build-)depends on packages with these RC bugs:
    1012060: coq, src:coq-bignums: coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac
    https://bugs.debian.org/1012060
    1012061: coq, src:coquelicot: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
    https://bugs.debian.org/1012061



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Fri Aug 4 07:10:03 2023
    ssreflect 1.17.0-1 is marked for autoremoval from testing on 2023-09-08

    It (build-)depends on packages with these RC bugs:
    1042100: lablgtk3: lablgtk3 FTBFS with ocaml-dune 3.9.1
    https://bugs.debian.org/1042100
    1042103: ocaml-cairo2: ocaml-cairo2 FTBFS with ocaml-dune 3.9.1
    https://bugs.debian.org/1042103



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Sat Nov 25 06:10:02 2023
    ssreflect 1.17.0-1 is marked for autoremoval from testing on 2023-12-30

    It (build-)depends on packages with these RC bugs:
    1056062: coq: FTBFS in sid (dune update?)
    https://bugs.debian.org/1056062



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Sat Dec 16 06:00:01 2023
    ssreflect 1.17.0-1 is marked for autoremoval from testing on 2023-12-30

    It (build-)depends on packages with these RC bugs:
    1056062: coq: FTBFS in sid (dune update?)
    https://bugs.debian.org/1056062



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Fri Jan 5 06:10:02 2024
    ssreflect 1.17.0-1 is marked for autoremoval from testing on 2024-01-21

    It (build-)depends on packages with these RC bugs:
    1056062: coq: FTBFS in sid (dune update?)
    https://bugs.debian.org/1056062



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Sun Jun 9 07:10:03 2024
    ssreflect 2.1.0-1 is marked for autoremoval from testing on 2024-07-14

    It (build-)depends on packages with these RC bugs:
    1072308: coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
    https://bugs.debian.org/1072308



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Fri Jul 26 08:00:03 2024
    ssreflect 2.2.0-1 is marked for autoremoval from testing on 2024-08-23

    It (build-)depends on packages with these RC bugs:
    1075055: gtksourceview3: ftbfs with GCC-14
    https://bugs.debian.org/1075055
    1075126: lablgtk3: ftbfs with GCC-14
    https://bugs.debian.org/1075126



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Thu Aug 15 07:30:02 2024
    ssreflect 2.2.0-1 is marked for autoremoval from testing on 2024-09-01

    It (build-)depends on packages with these RC bugs:
    1075055: gtksourceview3: ftbfs with GCC-14
    https://bugs.debian.org/1075055



    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian testing autoremoval watch@21:1/5 to All on Tue Oct 8 07:20:02 2024
    ssreflect 2.2.0-2 is marked for autoremoval from testing on 2024-11-12

    It (build-)depends on packages with these RC bugs:
    1082976: opam: FTBFS: build fails with linking error
    https://bugs.debian.org/1082976



    For more information on the autoremoval process, including hints to prevent autoremoval can be found on the wiki: https://wiki.debian.org/Autoremoval

    This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

    Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • Who's Online

  • Recent Visitors

    • Ian Rihard Kosednar
      Fri Jun 20 15:32:37 2025
      from No via SSH
    • Ian Rihard Kosednar
      Fri Jun 20 15:29:33 2025
      from No via SSH
    • Ian Rihard Kosednar
      Fri Jun 20 15:27:36 2025
      from No via SSH
    • Ian Rihard Kosednar
      Fri Jun 20 15:16:08 2025
      from No via SSH
    • Ian Rihard Kosednar
      Fri Jun 20 13:26:05 2025
      from No via SSH
    • Plume
      Fri Jun 20 11:14:48 2025
      from Uk via SSH
    • Plume
      Fri Jun 20 10:27:30 2025
      from Uk via SSH
    • Gwylbert
      Fri Jun 20 10:22:36 2025
      from Sydney, Nsw via Telnet
  • System Info

    Sysop: Keyop
    Location: Huddersfield, West Yorkshire, UK
    Users: 497
    Nodes: 16 (3 / 13)
    Uptime: 24:40:45
    Calls: 9,793
    Calls today: 12
    Files: 13,749
    Messages: 6,188,094

© >>> Magnum BBS <<<, 2025