coq-reduction-effects - 0.1.5-4 main

Versions in dawn: 0.1.5-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-reduction-effects_0.1.5.orig.tar.gz 10.4 kB 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352
coq-reduction-effects_0.1.5-4.dsc 2.2 kB 9faecab0311d4a8e4d1e09f95052900fd4ea6d8354c5fdf4b65c936d2b507cb9
coq-reduction-effects_0.1.5-4.debian.tar.xz 1.8 kB 086f1417bfcf0a5691e569adaf7d598ff02c56bb029d932ccf97724ef0bbec0f