coq-record-update - 0.3.4-2 main

Versions in dawn: 0.3.4-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.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-record-update_0.3.4-2.dsc 2.1 kB 3e43095f42a785c041e8b0c3cc822d94179eab22133b717ccc0fa37543caab0f
coq-record-update_0.3.4.orig.tar.gz 13.6 kB 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9
coq-record-update_0.3.4-2.debian.tar.xz 2.1 kB 86bdb9ea86585349fc03adda18eadaf212a70d3529dbb160d17fa942c91a0fa1