Versions in dawn: 1.9.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.9.0-1.dsc	2.2 kB	da25ffc318eb65c58d9c313bda9cc6ef3749b40bfed7a5081b7e7569f5ef2e79
coq-simple-io_1.9.0.orig.tar.gz	34.1 kB	6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2
coq-simple-io_1.9.0-1.debian.tar.xz	2.6 kB	fe85a801a7a8c9faaec128ccc670408e05e3bc2e11ecfb3cc25374c7077b043f