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

Version 20240923-2 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-unimath_20240923-2.dsc	2.1 kB	145bc63df145e376c60194bd7411fa0586f175144dca032e9c3ae1c9f7b06086
coq-unimath_20240923.orig.tar.gz	3.6 MB	db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0
coq-unimath_20240923-2.debian.tar.xz	2.3 kB	865bb2f99acfaf024ef4fe13b8aee67828e8ef4a372f6138248dcb21e90d6178