Package: libcoq-iris
Architecture: amd64
Version: 4.1.0-1build3
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: 42444
Provides: libcoq-iris-bvn65
Depends: libcoq-stdpp-x8en2
Filename: pool/universe/c/coq-iris/libcoq-iris_4.1.0-1build3_amd64.deb
Size: 13811948
MD5sum: f428599cf1c9336fdd55062a77c2dc29
SHA1: 13a5725f68b046fca48da69a4fa802dc71d4bbfa
SHA256: 99aae7c71e4af70c697cd8ece02067a8f7ad751664b56919bdd7ea36e8cda187
SHA512: a16cf885693a57846418ff537af7d77f86f08a7a89005b1f4849449fbaf4a5c24080b4c5a799820de8288c894bfcac0539205ecc067ad3b445052ef2969debf2
Homepage: https://gitlab.mpi-sws.org/iris/iris
Description: high-order concurrent separation logic framework for Coq
Description-md5: 74d5fbfb9ecfce6d055e40a6442c23c0