Artifact boolector_1.5.118.6b56be4.121013-1.3

Metadata
dsc_fields:
  Architecture: any
  Binary: boolector
  Build-Depends: debhelper (>= 5)
  Checksums-Sha1:
  - name: boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
    sha1: 8c9c8f443b401586649ced68096b890da59d08fb
    size: '166291'
  - name: boolector_1.5.118.6b56be4.121013.orig.tar.gz
    sha1: b136e73313e402c65cb3819e03f397dd3b218756
    size: '188678'
  - name: boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
    sha1: 86d0365b3cb14570895741219c1f2cd2c441f19a
    size: '5504'
  Checksums-Sha256:
  - name: boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
    sha256: 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142
    size: '166291'
  - name: boolector_1.5.118.6b56be4.121013.orig.tar.gz
    sha256: e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2
    size: '188678'
  - name: boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
    sha256: bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c
    size: '5504'
  Dgit: 5f2f788c31d9a84124df14237ea45687a8488114 debian archive/debian/1.5.118.6b56be4.121013-1.3
    https://git.dgit.debian.org/boolector
  Files:
  - md5sum: d0a0dff8874138369df2454e9bb39940
    name: boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
    size: '166291'
  - md5sum: b1762bb9c2395333aa6ad03d510a7f21
    name: boolector_1.5.118.6b56be4.121013.orig.tar.gz
    size: '188678'
  - md5sum: dfdbbab5e2d65e732397b76b58534f81
    name: boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
    size: '5504'
  Format: 3.0 (quilt)
  Homepage: http://fmv.jku.at/boolector/
  Maintainer: Michael Tautschnig <mt@debian.org>
  Package-List: |2-

     boolector deb science extra arch=any
  Source: boolector
  Standards-Version: 3.9.3
  Version: 1.5.118.6b56be4.121013-1.3
name: boolector
type: dpkg
version: 1.5.118.6b56be4.121013-1.3

Files

Name Size (bytes)
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz 5.4 KB
boolector_1.5.118.6b56be4.121013-1.3.dsc 1.7 KB
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz 162.4 KB
boolector_1.5.118.6b56be4.121013.orig.tar.gz 184.3 KB

source package System - - 5 months, 2 weeks ago 4 months, 2 weeks
BETA