Versions in crimson: 8.16.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-corn_8.16.0-2.dsc	2.1 kB	0de94ce918b49e219981c3fd8989fc4b9bff0635c0ca75a090cc949eadf26e8f
coq-corn_8.16.0.orig.tar.gz	1.3 MB	80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995
coq-corn_8.16.0-2.debian.tar.xz	3.9 kB	13646e12f91ab8df88b4c84feeda801e3d0ad8d36a5a59803bd3085946c25a7c