Package: libcoq-stdpp
Source: coq-stdpp
Priority: optional
Section: universe/ocaml
Installed-Size: 16768
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.13.0-2build4
Provides: libcoq-stdpp-0ztc4
Depends: libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.13.0-2build4_amd64.deb
Size: 6139488
SHA512: d862dad1071be1529521a4b7d188769cc5591ea3f2cce2e75a9a5ca0ccd68a81bcce845ab0bdda82f5245c76d100c420f443138aab3afb61c49cc55ba3530f82
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