Ubuntu

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

Details

Package version:: 8.18-1build3

Source:: coqprime 8.18-1build3 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Optional

Downloadable files

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

coqprime-tools-dbgsym_8.18-1build3_arm64.ddeb (48.1 KiB)

Package relationships

Depends on: