-
libcoq-stdlib-p29e7:amd64
Required by: libcoq-bignums
Version: 9.0.0+coq8.20-1+b5
Type: Binary Package
Missing dependencies
Required by: libcoq-bignums
Version: 9.0.0+coq8.20-1+b5
Type: Binary Package