Ubuntu

libcoq-ocaml-dev-dbgsym 8.6-5build1 (armhf binary) in ubuntu bionic

Details

Package version:: 8.6-5build1

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

Status:: Published

Component:: universe

Priority:: Optional

Downloadable files

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

libcoq-ocaml-dev-dbgsym_8.6-5build1_armhf.ddeb (102.3 KiB)

Package relationships

Depends on: