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.19-3
srcpkg_name: coq-unicoq
srcpkg_version: 1.6-8.19-3