Ubuntu

why3-dbgsym 1.3.1-3build1 (s390x binary) in ubuntu groovy

Details

Package version:: 1.3.1-3build1

Source:: why3 1.3.1-3build1 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

s390x build of why3 1.3.1-3build1 in ubuntu groovy PROPOSED produced these files:

why3-dbgsym_1.3.1-3build1_s390x.ddeb (5.8 MiB)

Package relationships

Depends on: