agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 25 Aug 2019 00:00:35 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Sun, 25 Aug 2019 00:52:52 +0000
SHA1 of .buildinfo
e783fa0bc5a482137254a11f61b9b781d5c41001

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 1f8afe9bea493add9e1122c38c3324b7ebd1c813
SHA256: 3b8c762330dbca415b281dae509c048ee3caeb7fc1ff3b910ec659f68b8ac46a

Size: 118,036 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 60b214a2b927f0be6fa1c3afde7e46c15fc9033b
SHA256: 994f5f8526613df4aa1dcd6fade59eb95a3716d63bf09c75a669250bef0ec259

Size: 6,779,204 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 50176d1d4b16190cfe3ed0b75cc27454507aeb1c
SHA256: a0891eb12601ca668da33c83a12b63722ac2c0f4cfe0867a3906fe21a0f82b4f

Size: 117,616 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 55d3a7c8612b239eae397793d31bd6dad9e00e99
SHA256: ab5ab0ff7b969f678ae6a8100e62ce023615ab8d3743fbad6c0d220dad44eab1

Size: 155,612 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 699d0980033eb4461c8f84ae30fd7dcec9338311
SHA256: 83174ccb1d665860eadac6bf019429493a08f78e22d90729e64b3ec14be1c303

Size: 19,736,488 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: ca2023fa93a35dec82bf431919eae63202d46c67
SHA256: 49e834945d5c497ed14ce85885f0c4d9e50c6688c41348e3bd27833274a71c25

Size: 3,789,748 bytes

Other checksums

Submissions

fkfbsmwf
Submitted
Sun, 25 Aug 2019 00:52:52 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1540066938"