Package: libcoq-stdpp
Architecture: amd64
Version: 1.11.0-1build4
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: 17026
Provides: libcoq-stdpp-pvid8
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.11.0-1build4_amd64.deb
Size: 5627698
MD5sum: d17da905972ab2e8addcf656d83d2965
SHA1: 6f375733bd089839130d4c67094837212c4dd96c
SHA256: d2a765620d96ca41ab361ea96c38feb644ecc730cf4c3c3fdb1e2b8d751f4b5f
SHA512: cf5eb40f55f598d2fd2f43694b3d07fbe6d72095438377ffd2d6dd76ccb7c4f66340f94f0d302d7903f7e88287b28396ad37e8279b9533a4542c0ffe735cd474
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Description: Extended standard library for Coq
Description-md5: 64f44b23554299b788dfa292c534d7fc