Package: libcoq-reglang
Architecture: amd64
Version: 1.2.1-1build5
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: 1860
Provides: libcoq-reglang-60nt7
Depends: libcoq-mathcomp-ssreflect-y5tl2, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-reglang/libcoq-reglang_1.2.1-1build5_amd64.deb
Size: 824300
MD5sum: b0ff6a194399d01a51b9a2ee724b0b3c
SHA1: 1c7b42243fd47fdb6ccf21f782ef5b38368c1cc0
SHA256: ad3f8bd32cf95ebc5fa1b73063eff146b291c21851550c324c23dac5067b0a99
SHA512: 0c8a08cda4f3aba554d91e00ac1b4f5038d601ff64630b3a81d3c6772963d956fee28375e25b233ff10a8e6daf6dc82f54988885d30dab3c2e33e014b9926d31
Homepage: https://github.com/coq-community/reglang
Description: representation of regular languages in Coq
Description-md5: 407ad3a353f8ee596e70400372502d8c