1. Forum
  2. Usenet
  3. LINUX.DEBIAN.DEVEL.RELEAS

  • Processed: Re: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-s

    From Debian Bug Tracking System@21:1/5 to All on Tue Mar 18 13:10:01 2025
    Processing control commands:

    tags -1 confirmed
    Bug #1100416 [release.debian.org] transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
    Added tag(s) confirmed.

    --
    1100416: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1100416
    Debian Bug Tracking System
    Contact [email protected] with problems

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)