Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
libcoq-relation-algebra-dbgsym 1.7.10-3build1 (riscv64 binary) in ubuntu oracular
Oracular (24.10)
riscv64
libcoq-relation-algebra-dbgsym
1.7.10-3build1
Details
Package version:
1.7.10-3build1
Source:
coq-relation-algebra 1.7.10-3build1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional
Downloadable files
riscv64 build of coq-relation-algebra 1.7.10-3build1 in ubuntu oracular PROPOSED
produced
these files:
libcoq-relation-algebra-dbgsym_1.7.10-3build1_riscv64.ddeb
(15.2 KiB)
Package relationships
Depends on:
libcoq-relation-algebra (= 1.7.10-3build1)