Ubuntu

minisat+-dbgsym 1.0-4 (i386 binary) in ubuntu bionic

Details

Package version:: 1.0-4

Source:: minisat+ 1.0-4 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Extra

Downloadable files

i386 build of minisat+ 1.0-4 in ubuntu artful PROPOSED produced these files:

minisat+-dbgsym_1.0-4_i386.ddeb (789.1 KiB)

Package relationships

Depends on: