1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Processed: coq breaks coq-bignums autopkgtest: Compiled library Bignums

    From Debian Bug Tracking System@21:1/5 to All on Sun May 29 17:40:02 2022
    Processing control commands:

    found -1 coq/8.15.1+dfsg-2
    Bug #1012060 [src:coq, src:coq-bignums] coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac
    Marked as found in versions coq/8.15.1+dfsg-2.
    found -1 coq-bignums/8.15.0-1
    Bug #1012060 [src:coq, src:coq-bignums] coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac
    Marked as found in versions coq-bignums/8.15.0-1.

    --
    1012060: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012060
    Debian Bug Tracking System
    Contact owner@bugs.debian.org with problems

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