coq-record-update - 0.3.1-2 main

Versions in crimson: 0.3.1-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-record-update_0.3.1-2.dsc 2.1 kB 0667e89a226cf9b209510f52eb64a298bcb904980695573061b532ae36c4613c
coq-record-update_0.3.1.orig.tar.gz 13.5 kB 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f
coq-record-update_0.3.1-2.debian.tar.xz 1.9 kB c7ff9e2b9fde0e6c896874d1495a1f2c3fbb5cc91ed4eaf5c9049b6a916ac471