coq-ext-lib - 0.11.7-2 main

Versions in crimson: 0.11.7-2
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-ext-lib_0.11.7-2.dsc 2.1 kB 7865277afc3d98ccae8fd9e018711919a79f17c5edca524face01b2d2f8b5c9b
coq-ext-lib_0.11.7.orig.tar.gz 83.0 kB 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1
coq-ext-lib_0.11.7-2.debian.tar.xz 2.0 kB f102bc89b78836fece9be63eb0ffbc1451369aee659427f81ffc21483776c263