Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
boolector-dbgsym 1.5.118.6b56be4.121013-1build1 (arm64 binary) in ubuntu bionic
Bionic (18.04)
arm64
boolector-dbgsym
1.5.118.6b56be4.121013-1build1
Details
Package version:
1.5.118.6b56be4.121013-1build1
Source:
boolector 1.5.118.6b56be4.121013-1build1 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Extra
Downloadable files
arm64 build of boolector 1.5.118.6b56be4.121013-1build1 in ubuntu bionic PROPOSED
produced
these files:
boolector-dbgsym_1.5.118.6b56be4.121013-1build1_arm64.ddeb
(12.8 KiB)
Package relationships
Depends on:
boolector (= 1.5.118.6b56be4.121013-1build1)