Ubuntu

why3-dbgsym 1.1.1-4 (arm64 binary) in ubuntu disco

Details

Package version:: 1.1.1-4

Source:: why3 1.1.1-4 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

arm64 build of why3 1.1.1-4 in ubuntu disco PROPOSED produced these files:

why3-dbgsym_1.1.1-4_arm64.ddeb (5.3 MiB)

Package relationships

Depends on: