Artifact cvc4_1.8-3

changes_fields:
  Architecture: arm64
  Binary: cvc4 cvc4-dbgsym libcvc4-7 libcvc4-7-dbgsym libcvc4-dev libcvc4parser7 libcvc4parser7-dbgsym
  Changed-By: Scott Talbert <swt@techie.net>
  Changes: |2-

     cvc4 (1.8-3) unstable; urgency=medium
     .
       * Team upload.
       * Fix FTBFS with bash 5.2 (Closes: #1020010)
       * Fix FTBFS due to cryptominisat API changes by disabling cryptominisat
  Checksums-Sha1:
  - name: cvc4-dbgsym_1.8-3_arm64.deb
    sha1: cb58011a655ede144377457bbdd1566e231dd27c
    size: '1002084'
  - name: cvc4_1.8-3_arm64.buildinfo
    sha1: e6b24611e90b0a65fecbcda5268f37da2e7afa16
    size: '9123'
  - name: cvc4_1.8-3_arm64.deb
    sha1: 4021a5321a9a467f0090c18eacf39f3670d24dd5
    size: '75912'
  - name: libcvc4-7-dbgsym_1.8-3_arm64.deb
    sha1: 9387fe8e019f3695d41cc594045ddb69811e91dc
    size: '200349496'
  - name: libcvc4-7_1.8-3_arm64.deb
    sha1: cfabb1b8c9d7970555e29c5117ddb5260764a77b
    size: '5609524'
  - name: libcvc4-dev_1.8-3_arm64.deb
    sha1: 13a69a18f1b7688b8add7475133d6dcda061a8a1
    size: '131188'
  - name: libcvc4parser7-dbgsym_1.8-3_arm64.deb
    sha1: 93152ae8b36307b148749c5041361e067f01e097
    size: '5193396'
  - name: libcvc4parser7_1.8-3_arm64.deb
    sha1: d54164a90cbb8fb78bf627d145435c3824c17343
    size: '333740'
  Checksums-Sha256:
  - name: cvc4-dbgsym_1.8-3_arm64.deb
    sha256: 1e34a14dd599126d466cb9c057a6991632645793d09cb2feb87137ef1a1c46c6
    size: '1002084'
  - name: cvc4_1.8-3_arm64.buildinfo
    sha256: c65b186d12113b2c15e2b0aa5b189e74a55a2349e23325e871154275c7c06e7e
    size: '9123'
  - name: cvc4_1.8-3_arm64.deb
    sha256: 07bb256a83edc80aef80d467a0d2775350162bf64cf63d599e91575b1233566f
    size: '75912'
  - name: libcvc4-7-dbgsym_1.8-3_arm64.deb
    sha256: ce616c103910fd637b272ff06e912184dce90b7cb8f00904692bdae9177c78e5
    size: '200349496'
  - name: libcvc4-7_1.8-3_arm64.deb
    sha256: 4b1415cb2df9a7b825ba53466ff63436d9fad443f08b45a25efda8164c808858
    size: '5609524'
  - name: libcvc4-dev_1.8-3_arm64.deb
    sha256: 9a02f00268136b49bf161fcd1b92b34ef172ba8d1433abe7ef39c7d6303a89cb
    size: '131188'
  - name: libcvc4parser7-dbgsym_1.8-3_arm64.deb
    sha256: 49e4a84538018bd3c9c18d1e64af74a58a833726e871ce850dbd5ba0f4cf0e3d
    size: '5193396'
  - name: libcvc4parser7_1.8-3_arm64.deb
    sha256: f8a00eb4093971d43e2678c05e4ca6921f2bd6dd9a2b5f824f3ec9aa1708b269
    size: '333740'
  Closes: '1020010'
  Date: Sat, 29 Oct 2022 14:49:40 -0400
  Description: |2-

     cvc4       - automated theorem prover for SMT problems
     libcvc4-7  - automated theorem prover for SMT problems (runtime)
     libcvc4-dev - automated theorem prover for SMT problems (development files)
     libcvc4parser7 - automated theorem prover for SMT problems (parser runtime)
  Distribution: sid
  Files:
  - md5sum: 93c0d3ac70afba2f9e5fa4ec33105079
    name: cvc4-dbgsym_1.8-3_arm64.deb
    priority: optional
    section: debug
    size: '1002084'
  - md5sum: 3c7c68d0953e25aaae02fdbd6fe90f51
    name: cvc4_1.8-3_arm64.buildinfo
    priority: optional
    section: math
    size: '9123'
  - md5sum: 682f8a6b5d9b472d6fca8d27e88347ec
    name: cvc4_1.8-3_arm64.deb
    priority: optional
    section: math
    size: '75912'
  - md5sum: 5be78d6ba4727254a0c3862d107b1433
    name: libcvc4-7-dbgsym_1.8-3_arm64.deb
    priority: optional
    section: debug
    size: '200349496'
  - md5sum: 1ce78036e0f76af438631f4b4ca1df1d
    name: libcvc4-7_1.8-3_arm64.deb
    priority: optional
    section: libs
    size: '5609524'
  - md5sum: 681f0e13b2d50d38677091acf1fab22e
    name: libcvc4-dev_1.8-3_arm64.deb
    priority: optional
    section: libdevel
    size: '131188'
  - md5sum: 50637c53d26cc52b52e09b0b1748a92f
    name: libcvc4parser7-dbgsym_1.8-3_arm64.deb
    priority: optional
    section: debug
    size: '5193396'
  - md5sum: 8ca8bf42cfa74d3b104161b0cdc03d62
    name: libcvc4parser7_1.8-3_arm64.deb
    priority: optional
    section: libs
    size: '333740'
  Format: '1.8'
  Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
  Source: cvc4
  Urgency: medium
  Version: 1.8-3
type: dpkg