coq-corn_8.18.0-1_arm64.buildinfo (view)

Source
coq-corn
Version
8.18.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 29 Apr 2025 09:03:39 +0000
Build-Path
/build/reproducible-path/coq-corn-8.18.0

First submitted
Wed, 27 Mar 2024 02:56:25 +0000
SHA1 of .buildinfo
9ca80cabd7a9ffd005b0ddd2bd270671d741890f

Binaries

libcoq-corn (libcoq-corn_8.18.0-1_arm64.deb)
SHA1: 4980f59145b92c2c46e191ef63151d6843034032
SHA256: 7ba78ca34926ca0c73c1085553aa92dd8be927c12cabc3d226f1c657b28b32ab

Size: 13,473,496 bytes

Other checksums

Submissions

tys9hgsr
Submitted
Wed, 27 Mar 2024 02:56:25 +0000
Signed by
0x8C42C611576CA54A

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703175984"