Package: libcoq-stdpp
Source: coq-stdpp
Priority: optional
Section: universe/ocaml
Installed-Size: 17025
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.11.0-1build8
Provides: libcoq-stdpp-juiu9
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.11.0-1build8_amd64.deb
Size: 5617736
MD5sum: 340420e060704a41e36332813e8edec1
SHA1: 68db9e20c4b924fe6d3f506cce0968ad509790bc
SHA256: 998d718d8b0469f697b6beaa49921e77c86b094ae21d9c47c50aa0977995e325
SHA512: be79f210c94487932277050d76bf33237c813151f1139643d167812d1d5cbd855b22e2d768aacb4096a01826a9cb54e0dd3d05d16a41ab7deda5709b636cff7e
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Description: Extended standard library for Coq
Description-md5: 5afd4a7935cb9f357de46413fd03e153
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug