Ubuntu

libwhy3-ocaml-dev-dbgsym 1.2.0-3ubuntu1 (armhf binary) in ubuntu eoan

Details

Package version:: 1.2.0-3ubuntu1

Source:: why3 1.2.0-3ubuntu1 source package in Ubuntu

Status:: Obsolete

Component:: universe

Priority:: Optional

Downloadable files

armhf build of why3 1.2.0-3ubuntu1 in ubuntu eoan PROPOSED produced these files:

libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_armhf.ddeb (439.5 KiB)

Package relationships

Depends on: