Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
libcoq-reduction-effects-dbgsym 0.1.5-4build3 (ppc64el binary) in ubuntu oracular
Oracular (24.10)
ppc64el
libcoq-reduction-effects-dbgsym
0.1.5-4build3
Details
Package version:
0.1.5-4build3
Source:
coq-reduction-effects 0.1.5-4build3 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional
Downloadable files
ppc64el build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
produced
these files:
libcoq-reduction-effects-dbgsym_0.1.5-4build3_ppc64el.ddeb
(3.3 KiB)
Package relationships
Depends on:
libcoq-reduction-effects (= 0.1.5-4build3)