Ubuntu

libcvc4-7-dbgsym 1.8-3build2 (armhf binary) in ubuntu oracular

Details

Package version:: 1.8-3build2

Source:: cvc4 1.8-3build2 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Optional

Downloadable files

armhf build of cvc4 1.8-3build2 in ubuntu noble PROPOSED produced these files:

libcvc4-7-dbgsym_1.8-3build2_armhf.ddeb (184.8 MiB)

Package relationships

Depends on: