Package: libcoq-iris
Source: coq-iris
Priority: optional
Section: universe/ocaml
Installed-Size: 39723
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.3.0-1ubuntu3
Provides: libcoq-iris-ba7h5
Depends: libcoq-stdpp-juiu9
Filename: pool/universe/c/coq-iris/libcoq-iris_4.3.0-1ubuntu3_amd64.deb
Size: 14489230
MD5sum: 3ad4cd60b391498b3519ba48fb5eb015
SHA1: 13a6175fd4a37df0fce1d238343bd12b328b86c1
SHA256: 78eb3ce70afc110b53490254041de1eb2c685cb3e4f74e4cf9864778126a30eb
SHA512: 760a0dba4e186f77d78f7adae7d01deee963eda067b711f763d02cf5d08778e81560a436d23ab30a308e01a676a747a802520976a5b407639162d0092c788d21
Homepage: https://gitlab.mpi-sws.org/iris/iris
Description: high-order concurrent separation logic framework for Coq
Description-md5: 74d5fbfb9ecfce6d055e40a6442c23c0
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug