Ubuntu

coqprime-tools-dbgsym 8.18-1 (armhf binary) in ubuntu noble

Details

Package version:: 8.18-1

Source:: coqprime 8.18-1 source package in Ubuntu

Status:: Deleted

Component:: universe

Priority:: Optional

Downloadable files

armhf build of coqprime 8.18-1 in ubuntu noble PROPOSED produced these files:

coqprime-tools-dbgsym_8.18-1_armhf.ddeb (59.1 KiB)

Package relationships

Depends on: