agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 14 Feb 2021 13:31:12 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Sun, 14 Feb 2021 13:31:30 +0000
SHA1 of .buildinfo
28eeb90c930d7852f564619bf5d105592c1bc805

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 46f11c30f6703e497b8b7bdbbe9de8f889ef458e
SHA256: 7a39474dbb274da97baeeff57e9d9d88260e7b51fbf1e6325e59f241bb425b5a

Size: 28,940 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: e9687f78b01aa251863502353368278995627a24
SHA256: aa3ca9b49fc629eadadad4cc51bb0920d01517ea438f828c6331625a41a8209c

Size: 10,367,648 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 98aa36dc0343e854cf4dd9a7ca92786e2ff631aa
SHA256: 1cb9175fc0f3991df020f69efd92589dd58624b2291415f24f6d5e3501236b1c

Size: 67,080 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: 44e4efd8a85992610ec96cb851073ab7e5579174
SHA256: f3167fb7de1b4000f97324a255781416677a87e9be5ff7829d58bebf52bbbbb2

Size: 44,791,328 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 43f79c63d77f397bec137bba0505e7f0e554fc76
SHA256: 63000e6acc9fac7210e153bf67a1749b44173f860a9473a37d080a90506496e3

Size: 5,914,396 bytes

Other checksums

Submissions

hxvqguep
Submitted
Sun, 14 Feb 2021 13:31:31 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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="1596036884"