coq-reglang_1.1.3-2_arm64.buildinfo (view)

Source
coq-reglang
Version
1.1.3-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 29 Feb 2024 00:07:14 +0000
Build-Path
/build/2/coq-reglang-1.1.3/2nd

First submitted
Thu, 26 Jan 2023 17:44:25 +0000
SHA1 of .buildinfo
07853437675c3c976a331ad2c84c37c9b63259d5

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-2_arm64.deb)
SHA1: 6b95c96621cacf7d7b55fa5a45cf362d3ab90bbd
SHA256: eb418a826b31f489cef943ed846fc57086126d9bcb8c5480210f4cd7e0d47fea

Size: 724,272 bytes

Other checksums

Submissions

9qf4vnej
Submitted
Thu, 26 Jan 2023 17:44:25 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674648606"