Ubuntu

libcryptominisat5-5.11-dbgsym 5.11.4+dfsg1-3 (amd64 binary) in ubuntu mantic

Details

Package version:: 5.11.4+dfsg1-3

Source:: cryptominisat 5.11.4+dfsg1-3 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Optional

Downloadable files

amd64 build of cryptominisat 5.11.4+dfsg1-3 in ubuntu mantic PROPOSED produced these files:

libcryptominisat5-5.11-dbgsym_5.11.4+dfsg1-3_amd64.ddeb (5.3 MiB)

Package relationships

Depends on: