Ubuntu

libcoq-quickchick-dbgsym 2.0.3-2build4 (arm64 binary) in ubuntu oracular

Details

Package version:: 2.0.3-2build4

Source:: coq-quickchick 2.0.3-2build4 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

arm64 build of coq-quickchick 2.0.3-2build4 in ubuntu oracular PROPOSED produced these files:

libcoq-quickchick-dbgsym_2.0.3-2build4_arm64.ddeb (75.0 KiB)

Package relationships

Depends on: