Ubuntu

libwhy3-ocaml-dev-dbgsym 1.5.0-1 (riscv64 binary) in ubuntu kinetic

Details

Package version:: 1.5.0-1

Source:: why3 1.5.0-1 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

riscv64 build of why3 1.5.0-1 in ubuntu kinetic PROPOSED produced these files:

libwhy3-ocaml-dev-dbgsym_1.5.0-1_riscv64.ddeb (605.6 KiB)

Package relationships

Depends on: