Versions in crimson: 8.17.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: 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-bignums_8.17.0-2.dsc	2.1 kB	42b2a2b822e9f2afabc7e5d075f8ac8758aacd457d824a5a21aa53c712c1bf18
coq-bignums_8.17.0.orig.tar.gz	116.1 kB	fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe
coq-bignums_8.17.0-2.debian.tar.xz	1.9 kB	ec1e411194ea7eb7811fcfe07790c409e476c4a0527507e0bf550d94497016af