haskell-copilot-theorem is marked for autoremoval from testing

2023-11-25 Thread Debian testing autoremoval watch
haskell-copilot-theorem 3.13-1 is marked for autoremoval from testing on 2023-12-11 It is affected by these RC bugs: 1054954: haskell-copilot-theorem: FTBFS: unsatisfiable build-dependencies: haddock-interface-38, haddock-interface-38, libghc-async-dev-2.2.4-7edea,

haskell-copilot-theorem is marked for autoremoval from testing

2023-11-05 Thread Debian testing autoremoval watch
haskell-copilot-theorem 3.13-1 is marked for autoremoval from testing on 2023-12-11 It is affected by these RC bugs: 1054954: haskell-copilot-theorem: FTBFS: unsatisfiable build-dependencies: haddock-interface-38, haddock-interface-38, libghc-async-dev-2.2.4-7edea,

haskell-copilot-theorem is marked for autoremoval from testing

2022-10-18 Thread Debian testing autoremoval watch
haskell-copilot-theorem 3.11-1 is marked for autoremoval from testing on 2022-11-16 It (build-)depends on packages with these RC bugs: 1020010: cvc4: cvc4 FTBFS with bash 5.2 https://bugs.debian.org/1020010 This mail is generated by: