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
Fri, 5 Jun 2020 01:55:33 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Fri, 3 May 2019 22:13:39 +0000
SHA1 of .buildinfo
713c084940f06bd5ae10b6f8598b3ece22dea5bc

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 053195efecfd3ba1f505885ac7860c6753f2bc44
SHA256: d326fa12b8f671f5197fe460d2b65fd68cf48796cdff7cb9e4a68560f289ae4c

Size: 118,036 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: e29055ddaec00d0ed3d14b377719e2e728ab529b
SHA256: 858d6e2054af1a4f4c66f0ce0d51b4f764598e2772d8477e3ff192471ca1e67f

Size: 6,779,704 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: abdf7a41d2614e81efa890acb153b2e99d58a5a0
SHA256: 272e94277a3335f475b127b7684905134a58c05d4c001cafc564bb4db3f3693c

Size: 117,616 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 9208fff288330e6487e77af5f2989e97574b7bc4
SHA256: ad0b5f82f64b22a26d23c3e1917e62b7cc23e8f3334f43c1752b0eb7818c6c22

Size: 155,548 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: a3d84bde529582c8ae17f55f98abc0f3887c38d5
SHA256: 4d24223669269be6c267ce3ec4ea5291fedbfc500cbe1158c1f4da2583e8dcef

Size: 19,736,432 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: db24fa42a8922871de1a0beeabcce539284c7416
SHA256: 33db4508e0ffec0a98e1100e865ee61c845c9009c56f2988befab282439691be

Size: 3,789,720 bytes

Other checksums

Submissions

iown4a34
Submitted
Fri, 3 May 2019 22:13:39 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"