Ubuntu

libcoq-interval-dbgsym 4.10.0-1build4 (s390x binary) in ubuntu oracular

Details

Package version:: 4.10.0-1build4

Source:: coq-interval 4.10.0-1build4 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

s390x build of coq-interval 4.10.0-1build4 in ubuntu oracular PROPOSED produced these files:

libcoq-interval-dbgsym_4.10.0-1build4_s390x.ddeb (3.7 KiB)

Package relationships

Depends on: