Package: libcoq-reglang
Architecture: amd64
Version: 1.2.1-4build5
Priority: optional
Section: universe/ocaml
Source: coq-reglang
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2884
Provides: libcoq-reglang-9ezf5
Depends: libcoq-mathcomp-ssreflect-uyii6, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-reglang/libcoq-reglang_1.2.1-4build5_amd64.deb
Size: 970440
MD5sum: fbaf13495aef12af4b452bfb101de152
SHA1: 2f25038580cc00b524bd00ff2d6e7fdc4c2dc4b2
SHA256: 8aee3a271485b54241c409f5ef6d4e3c6784a164460585b2f852b9c912edd84c
SHA512: 8030d38db7cf07fe821e7a12a41671ec372714794d0f768e0e23274db8edc798dea77e33a1611e4ed494a192a9ef9e9e1574032bfacaebfe0e8609bb804462d2
Homepage: https://github.com/coq-community/reglang
Description: representation of regular languages in Coq
Description-md5: 407ad3a353f8ee596e70400372502d8c