src:acl2

Date: 2024-05-03 05:00:02

Debian testing (main only)

packagesummary
acl2-infix (= 8.5dfsg-5+b1)conflict between libpng16-16t64 and libpng16-16

Build-dependencies testing (main only)

packagesummary
acl2 (= 8.5dfsg-5)conflict between libxt6t64 and libxt6

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
acl2 (= 8.5dfsg-5)unsatisfied dependency on emacs-common (= 1:29.3+1-2); unsatisfied dependency on xemacs21-support (= 21.4.24-12)
acl2 (= 8.5dfsg-5)unsatisfied dependency on emacs-common (= 1:29.3+1-2); unsatisfied dependency on xemacs21-support (= 21.4.24-12)
acl2 (= 8.5dfsg-5)unsatisfied dependency on emacs-common (= 1:29.3+1-2); unsatisfied dependency on xemacs21-support (= 21.4.24-12)
acl2 (= 8.5dfsg-5)unsatisfied dependency on emacs-common (= 1:29.3+1-2); unsatisfied dependency on xemacs21-support (= 21.4.24-12)
acl2 (= 8.5dfsg-5)unsatisfied dependency on emacs-common (= 1:29.3+1-2); unsatisfied dependency on xemacs21-support (= 21.4.24-12)
acl2 (= 8.5dfsg-5)unsatisfied dependency on emacs-common (= 1:29.3+1-2); unsatisfied dependency on xemacs21-support (= 21.4.24-12)