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