src:agda

Date: 2026-01-08 05:00:01

Debian unstable (main only)

packagesummary
agda-bin (= 2.6.4.3-1+b2)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-8a842
libghc-agda-dev (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-b5f8c
libghc-agda-dev (= 2.6.4.3-1+b2)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-972ee
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-972ee
agda (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-972ee
agda (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-8a842
agda-bin (= 2.6.4.3-1+b2)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-69f92
agda-bin (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-65ed7
agda-bin (= 2.6.4.3-1+b2)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-972ee
agda-bin (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-b5f8c
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-b5f8c
libghc-agda-dev (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-65ed7
agda (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-b5f8c
libghc-agda-doc (= 2.6.4.3-1)unsatisfied dependency on haddock-interface-42
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-8a842
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-d4a30
libghc-agda-dev (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-d4a30
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-69f92
agda (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-69f92
libghc-agda-dev (= 2.6.4.3-1+b2)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-69f92
agda (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-65ed7
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-65ed7
agda (= 2.6.4.3-1)unsatisfied dependency on agda-bin
agda (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-d4a30
agda-bin (= 2.6.4.3-1)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-d4a30
libghc-agda-dev (= 2.6.4.3-1+b2)unsatisfied dependency on libghc-attoparsec-dev-0.14.4-8a842
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on agda-bin (< 2.6.4.3-1.1~)

Debian testing (main only)

packagesummary
agda (= 2.6.4.3-1)unsatisfied dependency on agda-bin
elpa-agda2-mode (= 2.6.4.3-1)unsatisfied dependency on agda-bin (< 2.6.4.3-1.1~)

Build-dependencies unstable (main only)

packagesummary
agda (= 2.6.4.3-1)unsatisfied dependency on haddock-interface-44
agda (= 2.6.4.3-1)unsatisfied dependency on haddock-interface-42

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
agda (= 2.6.4.3-1)unsatisfied dependency on haskell-devscripts (>= 0.13)