coq-ext-lib - 0.12.1-1 main

Versions in dawn: 0.12.1-1
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-ext-lib_0.12.1-1.dsc 2.1 kB 00173e5cc235832fa75216b2039e9b73d3bc68dfdda8b24907b2fc822329dbbf
coq-ext-lib_0.12.1.orig.tar.gz 84.3 kB e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d
coq-ext-lib_0.12.1-1.debian.tar.xz 2.3 kB d1ad6d64448371b326b6af54f778298a3969f5a23b78583e337417d54bf85310