Package: libcoq-stdpp
Architecture: amd64
Version: 1.9.0-1build3
Priority: optional
Section: universe/ocaml
Source: coq-stdpp
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: 17096
Provides: libcoq-stdpp-x8en2
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.9.0-1build3_amd64.deb
Size: 5249902
MD5sum: 0b888f9978b88b387f9ba4a58e74eb6f
SHA1: d91d60e3b80cde006fe8441f3fb2750f21fe9fe7
SHA256: af0d2d89013b89b50870af92ed53c31e73151b3155841d3ab07dc7e1fd92412c
SHA512: 333c54ed617615a2cc5ffb9f58060df35048737a4cac6558153d5d8842790aa3218c4929d960b5fdca9de089bf2340656cf873bf391e7ca8f7d3c4026be1b11c
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Description: Extended standard library for Coq
Description-md5: 64f44b23554299b788dfa292c534d7fc