Ubuntu

libcoq-interval-dbgsym 4.11.0-1build2 (riscv64 binary) in ubuntu oracular

Details

Package version:: 4.11.0-1build2

Source:: coq-interval 4.11.0-1build2 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Optional

Downloadable files

riscv64 build of coq-interval 4.11.0-1build2 in ubuntu oracular PROPOSED produced these files:

libcoq-interval-dbgsym_4.11.0-1build2_riscv64.ddeb (5.1 KiB)

Package relationships

Depends on: