Ubuntu

libcoq-paramcoq-ocaml-dbgsym 1.1.3-5 (riscv64 binary) in ubuntu kinetic

Details

Package version:: 1.1.3-5

Source:: paramcoq 1.1.3-5 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

riscv64 build of paramcoq 1.1.3-5 in ubuntu kinetic PROPOSED produced these files:

libcoq-paramcoq-ocaml-dbgsym_1.1.3-5_riscv64.ddeb (13.3 KiB)

Package relationships

Depends on: