Ubuntu

coq-theories-dbgsym 8.6-5build1 (amd64 binary) in ubuntu disco

Details

Package version:: 8.6-5build1

Source:: coq 8.6-5build1 source package in Ubuntu

Status:: Obsolete

Component:: universe

Priority:: Optional

Downloadable files

amd64 build of coq 8.6-5build1 in ubuntu bionic PROPOSED produced these files:

coq-theories-dbgsym_8.6-5build1_amd64.ddeb (829.7 KiB)

Package relationships

Depends on: