coq-deriving - 0.2.1-1 main

Versions in dawn: 0.2.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-deriving_0.2.1-1.dsc 2.1 kB b9d90652f9dd70d56e6257ff71d2cb6a289460473e8202b7ae5ac2c8a51036c7
coq-deriving_0.2.1.orig.tar.gz 31.8 kB 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1
coq-deriving_0.2.1-1.debian.tar.xz 2.2 kB aaab0805a3d31ee7bf7a5dd482f9dfaa373f4503577bfe3b334a077962f58d75