Source package boolector/1.5.118.6b56be4.121013-1.3 in landing @ pureos

boolector - 1.5.118.6b56be4.121013-1.3 main

Versions in landing: 1.5.118.6b56be4.121013-1.3
Maintainer: Michael Tautschnig <mt [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 3.9.3
Architectures: any

This package may currently be unbuildable on the following architectures:

arm64
amd64

Homepage Build Jobs

Owned Binaries

boolector amd64 arm64

Build Dependencies

debhelper (>= 5)

Files

Filename	Size	Checksum (SHA256)
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz	166.3 kB	`5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142`
boolector_1.5.118.6b56be4.121013.orig.tar.gz	188.7 kB	`e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2`
boolector_1.5.118.6b56be4.121013-1.3.dsc	1.7 kB	`2cc2638d7473fe81f49396d126dad3407a3ecac43ef6af6eb8e82a64c0065e57`
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz	5.5 kB	`bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c`