-
libcoq-stdlib-p29e7:amd64
Required by: libcoq-deriving
Version: 0.2.0-3+b7
Type: Binary Package
Missing dependencies
Required by: libcoq-deriving
Version: 0.2.0-3+b7
Type: Binary Package