coq-extructures - 0.5.0-1 main

Versions in dawn: 0.5.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
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-extructures_0.5.0-1.dsc 2.2 kB b35142210332734130948a7c6a1dd7cc1be7e7848858fe065a88fab2ee1969b3
coq-extructures_0.5.0.orig.tar.gz 42.6 kB 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf
coq-extructures_0.5.0-1.debian.tar.xz 2.4 kB b1b9449b0606d5fb318592fe00b82d159dc690cbdcf2074e048d129e203068b7