Versions in landing: 0.3.4-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 

This package may currently be unbuildable on the following architectures:

• arm64
• amd64

Version 0.3.4-4 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-record-update_0.3.4.orig.tar.gz	13.6 kB	4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9
coq-record-update_0.3.4-4.dsc	2.1 kB	57fdf3fe6576557252e4164142530ce98b30a01ca32f63b6429e2743afc0a859
coq-record-update_0.3.4-4.debian.tar.xz	2.2 kB	ae44430f790712f35b571cd36a1024d4e3058139d1f0d315a9ecf446c88dd371