Package: libcoq-iris
Architecture: amd64
Version: 4.3.0-1build4
Priority: optional
Section: universe/ocaml
Source: coq-iris
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: 39734
Provides: libcoq-iris-ltup8
Depends: libcoq-stdpp-pvid8
Filename: pool/universe/c/coq-iris/libcoq-iris_4.3.0-1build4_amd64.deb
Size: 14531302
MD5sum: b1f9f0e57f711fffc7f8f6e5e4e24afe
SHA1: 7f227022df506016bc25a5c5d6efd592803383c2
SHA256: 631bbd84c2f5f49e1955283c55faafe5994f34bbe2db12fed70c963055c0948b
SHA512: af86826f55a82d5ce3889b84a3c2a3d809c04c3a01a8219e3fd5ae20cf628d2cd21352285ecb09e53a007f8ef1211b71ab6a8174f99156bb932df8e1a27770e5
Homepage: https://gitlab.mpi-sws.org/iris/iris
Description: high-order concurrent separation logic framework for Coq
Description-md5: 74d5fbfb9ecfce6d055e40a6442c23c0