Package: libcoq-stdpp
Architecture: amd64
Version: 1.10.0-2build3
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: 17791
Provides: libcoq-stdpp-ar8r7
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.10.0-2build3_amd64.deb
Size: 5446420
MD5sum: b408d9be081ed2c7505c3d1e74083b74
SHA1: 3f22b3df344dcea749ca4f14c26c7af091be17b5
SHA256: 64c44a75de82b4bab087dacf5adfcfa34e4ec4d85b88fc0d1398b53dac3ebc90
SHA512: 831c4f42fbb973dd523ebf58cfec20c5f62ae984ab468070dcda699ca5a3eca49fe70261af720bd735b16ead5ebb8d7810a3ea80251b71f1b298376041fc1789
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Description: Extended standard library for Coq
Description-md5: 64f44b23554299b788dfa292c534d7fc