Ubuntu

libcoq-interval-dbgsym 4.9.0-1build4 (arm64 binary) in ubuntu noble

Details

Package version:: 4.9.0-1build4

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

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

arm64 build of coq-interval 4.9.0-1build4 in ubuntu noble PROPOSED produced these files:

libcoq-interval-dbgsym_4.9.0-1build4_arm64.ddeb (4.3 KiB)

Package relationships

Depends on: