coq-hammer_1.3.2+8.15-1_armhf.buildinfo (view)

Source
coq-hammer
Version
1.3.2+8.15-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 4 Sep 2022 16:01:01 +0000
Build-Path
/build/2/coq-hammer-1.3.2+8.15/2nd

First submitted
Sun, 4 Sep 2022 16:01:21 +0000
SHA1 of .buildinfo
3f550583bbc34bddd655b8442a18d6cde8b3d836

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.15-1_armhf.deb)
SHA1: 5b10f384ee5088e89917267990f0601c7697327f
SHA256: a5715fa2870306ffe192756b88dcf6c868bbb906b15b728ecad96868b1841f39

Size: 198,200 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.15-1_armhf.deb)
SHA1: 39d9123cd597f14d4ab54cb1f15e6db9001277b9
SHA256: 7da1e4bf84b9f21bad9db6a4c85b7ba3cb76e08b54e2d4775a7ded3fd4bd9cfa

Size: 29,656 bytes
libcoq-hammer-tactics (libcoq-hammer-tactics_1.3.2+8.15-1_armhf.deb)
SHA1: 5024bf7e1fc36099e60da59057c69e927587a1fb
SHA256: 5662aa95adba708f0943cadfca6b7b7bd236ffde8e9e780726eb425993b0b322

Size: 315,004 bytes
libcoq-hammer-tactics-dbgsym (libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_armhf.deb)
SHA1: 00dbca6053e13a582fc04cda5f0e85d44479a6f9
SHA256: cb41e8b5274fb8567b5bd9509a84a8b0a02c559556cba8be2742c45371e7fe03

Size: 19,824 bytes

Other checksums

Submissions

79apoaam
Submitted
Sun, 4 Sep 2022 16:01:21 +0000
Signed by
0x28F5F5D5FEE63ABA

Environment


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