Package: libcoq-iris
Architecture: amd64
Version: 4.2.0-3build3
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: 44667
Provides: libcoq-iris-2i1y3
Depends: libcoq-stdpp-ar8r7
Filename: pool/universe/c/coq-iris/libcoq-iris_4.2.0-3build3_amd64.deb
Size: 14578072
MD5sum: a1228712ae53010d3d657a32f0b128b5
SHA1: 21f8a8d39650227a7bfd60b06ae4c4aed46d029a
SHA256: 6a549891a77d44212351e5823b7b6445348416b815ed584360295060834bf729
SHA512: 743444d04ebe580fd3ae2b47c25d400d9304901778ec6ad194a50f60e4a07edfcc47d8a92f80359130cd3b63e192d9ada2104b215a179c0191e3ce5785df4f8b
Homepage: https://gitlab.mpi-sws.org/iris/iris
Description: high-order concurrent separation logic framework for Coq
Description-md5: 74d5fbfb9ecfce6d055e40a6442c23c0