Ubuntu

libcoq-interval-dbgsym 4.9.0-1build2 (amd64 binary) in ubuntu noble

Details

Package version:: 4.9.0-1build2

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

Status:: Deleted

Component:: universe

Priority:: Optional

Downloadable files

amd64 build of coq-interval 4.9.0-1build2 in ubuntu noble PROPOSED produced these files:

libcoq-interval-dbgsym_4.9.0-1build2_amd64.ddeb (3.9 KiB)

Package relationships

Depends on: