coq-bignums_9.0.0+coq8.19-1_armhf.buildinfo (view)

Source
coq-bignums
Version
9.0.0+coq8.19-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 28 Apr 2024 14:00:43 +0000
Build-Path
/build/reproducible-path/coq-bignums-9.0.0+coq8.19

First submitted
Sun, 28 Apr 2024 14:01:44 +0000
SHA1 of .buildinfo
4e73712efa1936434460489b6382fbcfb4aaec43

Binaries

libcoq-bignums (libcoq-bignums_9.0.0+coq8.19-1_armhf.deb)
SHA1: 9235fbe17f4e7e0b5e6784a74f5f63ecc37e47ed
SHA256: 679d52fe83c2804bf729021e6bbb2480483dfa4bb16e2a7483d0d0dfe0f76f44

Size: 1,927,556 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_9.0.0+coq8.19-1_armhf.deb)
SHA1: bbd60ebc12b28a7e0526fa474ca44a003dd86566
SHA256: 08617e29cc56a1afbe87d98060eb85bddd25fc483dbb3d134a1054b9943dda29

Size: 3,884 bytes

Other checksums

Submissions

jehvuihc
Submitted
Sun, 28 Apr 2024 14:01:44 +0000
Signed by
0xCDD42D70685A0E01

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1708764713"