coq-stdpp - 1.8.0-3 main

Versions in crimson: 1.8.0-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
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-stdpp_1.8.0-3.dsc 2.1 kB 0a5ba8e18cc8a700692343f623e6b517e013076be62e99d7be81847ef4ce6f8a
coq-stdpp_1.8.0.orig.tar.gz 254.5 kB dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328
coq-stdpp_1.8.0-3.debian.tar.xz 2.4 kB ea5bf536fe061a672be81c6d3593b48b127b670d57d04e3bfa4b24bed7965198