coq-extructures - 0.4.0-4 main

Versions in landing: 0.4.0-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-extructures_0.4.0.orig.tar.gz 42.2 kB c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9
coq-extructures_0.4.0-4.dsc 1.9 kB d1a33ea2b118ae420de41288a417022b1a4d69d06cf2b9036fe660b6fcc0c72b
coq-extructures_0.4.0-4.debian.tar.xz 2.3 kB 5542d129fdce52fca33a6c308e875109e9e738e8e4befb442a07df02a87b468d