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

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-iris_4.2.0-2.dsc	2.2 kB	aceaa7f1ee26aa2fbe3dc53ea03759a55faa679acf7474658ab454bb75571b24
coq-iris_4.2.0.orig.tar.gz	764.7 kB	4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522
coq-iris_4.2.0-2.debian.tar.xz	12.5 kB	59584b59673fba3d33d64e971be4a0ee9bd26b5fb35ecbe57d487782bcb71970