Package: libcoq-iris
Source: coq-iris
Priority: optional
Section: universe/ocaml
Installed-Size: 38874
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.5.0-2ubuntu3
Provides: libcoq-iris-xzdz9
Depends: libcoq-stdpp-0ztc4
Filename: pool/universe/c/coq-iris/libcoq-iris_4.5.0-2ubuntu3_amd64.deb
Size: 15282758
SHA512: 249efad124e174fdf2999390ca30a1bd44f25e66dd8b1944e69624926c17cd824b56dc14b72f88576eb886e4b7db24864167fbe949b04b5245119705a7b79c36
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