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