Versions in crimson: 4.0.0-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-iris_4.0.0-3.dsc	2.2 kB	b95568fc5d3983ee670518199cee4a9d8fe3c6d0b2494451d5e38f4b2d263df9
coq-iris_4.0.0.orig.tar.gz	701.2 kB	52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba
coq-iris_4.0.0-3.debian.tar.xz	12.0 kB	e4187a51dad69875db3df02d196639a87d9c864d7b68d0dc94fa0cb19e09c1a9