Versions in dawn: 1.10.0-1
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-stdpp_1.10.0-1.dsc	2.1 kB	4806a500d33f2b378791663c7b9e518f54be307fee131a397f8604f4f9f16071
coq-stdpp_1.10.0.orig.tar.gz	303.2 kB	c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7
coq-stdpp_1.10.0-1.debian.tar.xz	2.6 kB	62274b98cf9a77343bd6da0a0462ea8a7172cd39c61d47c99db54a9f53927c82