Artifact coq-hammer_1.3.2+8.20-1

dsc_fields:
  Architecture: any
  Binary: libcoq-hammer
  Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
    libcoq-stdlib
  Checksums-Sha1:
  - name: coq-hammer_1.3.2+8.20.orig.tar.gz
    sha1: a58883c54299d32040f1528ce85c01286c8b1a93
    size: '148863'
  - name: coq-hammer_1.3.2+8.20-1.debian.tar.xz
    sha1: 0d597689e27da8781aca9a10c3f6f6f28c87403d
    size: '2744'
  Checksums-Sha256:
  - name: coq-hammer_1.3.2+8.20.orig.tar.gz
    sha256: 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f
    size: '148863'
  - name: coq-hammer_1.3.2+8.20-1.debian.tar.xz
    sha256: 944c67f34268d28cf2b8948fff186a887b0575f0b0dc2a4f6bb83207f4438dcd
    size: '2744'
  Files:
  - md5sum: 9fecc706975099981eb8ea648b4340a1
    name: coq-hammer_1.3.2+8.20.orig.tar.gz
    size: '148863'
  - md5sum: 0278a7440262a88542e1361ae4060994
    name: coq-hammer_1.3.2+8.20-1.debian.tar.xz
    size: '2744'
  Format: 3.0 (quilt)
  Homepage: https://github.com/lukaszcz/coqhammer
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package-List: |2-

     libcoq-hammer deb ocaml optional arch=any
  Source: coq-hammer
  Standards-Version: 4.7.0
  Testsuite: autopkgtest
  Testsuite-Triggers: coq
  Uploaders: Julien Puydt <jpuydt@debian.org>
  Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hammer
  Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hammer.git
  Version: 1.3.2+8.20-1
name: coq-hammer
type: dpkg
version: 1.3.2+8.20-1