Ubuntu

coq-dbgsym 8.6-5build1 (i386 binary) in ubuntu cosmic

Details

Package version:: 8.6-5build1

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

Status:: Obsolete

Component:: universe

Priority:: Optional

Downloadable files

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

coq-dbgsym_8.6-5build1_i386.ddeb (1.8 MiB)

Package relationships

Depends on: