openKylin boolector package

boolector 1.5.118.6b56be4.121013-ok1 source package in openKylin

Changelog

boolector (1.5.118.6b56be4.121013-ok1) yangtze; urgency=high

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Upload details

Uploaded by:
openKylinBot
Sponsored by:
luzp
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
any
Section:
science
Urgency:
Very Urgent

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz 162.4 KiB 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142
boolector_1.5.118.6b56be4.121013.orig.tar.gz 184.3 KiB e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2
boolector_1.5.118.6b56be4.121013-ok1.debian.tar.xz 4.5 KiB cf9bdcc43735aafd89220f57a4bee39cbbf4dea9dbbf843e799f5bf99f479567
boolector_1.5.118.6b56be4.121013-ok1.dsc 2.0 KiB 8b9cd3739e68cd6ada818f3a10ae7bbca37a890234b49ed9e73227d7adac5a48

View changes file

Binary packages built by this source

boolector: No summary available for boolector in openkylin yangtze.

No description available for boolector in openkylin yangtze.