Versions in crimson: 1.8.0-2
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-simple-io_1.8.0-2.dsc	2.2 kB	33d1b0d218f66799e42b678ca982b91132dde4526827f0c099741d3d8a409afc
coq-simple-io_1.8.0.orig.tar.gz	32.9 kB	f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33
coq-simple-io_1.8.0-2.debian.tar.xz	2.1 kB	f6b3c5605b198e9b13c2fff3d673f0bb29304948b286355466c000f524310455