src:acl2
Date: 2024-05-03 05:00:02
Debian testing (main only)
package | summary |
---|---|
acl2-infix (= 8.5dfsg-5+b1) | conflict between libpng16-16t64 and libpng16-16 |
Build-dependencies testing (main only)
package | summary |
---|---|
acl2 (= 8.5dfsg-5) | conflict between libxt6t64 and libxt6 |