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

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-simple-io_1.11.0-1.dsc	2.2 kB	9d478461f046761802730e485fafaaacb359c0ef60975f520374fce22c734389
coq-simple-io_1.11.0.orig.tar.gz	35.5 kB	d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f
coq-simple-io_1.11.0-1.debian.tar.xz	2.7 kB	71c68010951ba9e8c3d8b26a426febe9d02a98d43403314c5874998e06f876b2