coq-reduction-effects - 0.1.4-3 main

Versions in crimson: 0.1.4-3
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-reduction-effects_0.1.4-3.dsc 2.2 kB a6838080b2cc2094b6b7d98a113403e3c8eb7a703159038a68c34579bfc8acfa
coq-reduction-effects_0.1.4.orig.tar.gz 10.3 kB dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47
coq-reduction-effects_0.1.4-3.debian.tar.xz 1.6 kB 69fe763c131defe4a6574b5799a02a4ecbaabbae60193d8ce7a6d6b389f2c404