boolector_1.5.118.6b56be4.121013-1.3

Details

Artifact	boolector_1.5.118.6b56be4.121013-1.3
Category	debian:source-package

Metadata

component: main
package: boolector
section: science
version: 1.5.118.6b56be4.121013-1.3