Artifact libcoq-unicoq_1.6-8.20-1_amd64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-stdlib-p29e7
  Description: |-
    enhanced unification algorithm for Coq
     This package provides a new unification algorithm,
     replacing the existing one through a plugin.
     .
     Coq is a proof assistant for higher-order logic.
  Homepage: https://github.com/unicoq/unicoq/
  Installed-Size: '611'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-unicoq
  Priority: optional
  Provides: libcoq-unicoq-7mr94
  Section: ocaml
  Source: coq-unicoq
  Version: 1.6-8.20-1
srcpkg_name: coq-unicoq
srcpkg_version: 1.6-8.20-1