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, 10 Jan 2020 23:01:57 +0000
Build-Path
/build/agda-2.5.4.1/2nd

First submitted
Sat, 8 Dec 2018 16:39:17 +0000
SHA1 of .buildinfo
7c6d62f94f6fde965a552bed42a38293dcf4f323

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 043187487d8134a365d9eb05fbd020b78f4a96e7
SHA256: f9849f42086efaa9b4be858735a6cadfe7135bad1068cd66b59b3535fd4b0628

Size: 118,084 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 2b99970a3371323594d6821f8ebc8a5faa462452
SHA256: 0c9dd17ad9a917898da67abd6f2fc6030bb89c87b40947d7fbbe43afef02150b

Size: 6,780,396 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: d8fb56d2be5d7cf8654a1e4789c5b3f7735a0986
SHA256: 1b646b33aabecfb5196c65e0490151b993c75c30ec8f45700fdb5ff85b5165ba

Size: 117,668 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: cc64b0a055ad63327b9d3bf8586dfaf8a19f0626
SHA256: 61b989bed07de6439073da06281e96f9fd80108981c6df7948e34f5c976ec375

Size: 155,396 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 2c2271be1c12f3ecf167805a9bf4c1870ce9e9c5
SHA256: d94ba2c5cc887eafa675c13348df1b3af93ac2ca7dacb44e3a04329caab40f3b

Size: 19,736,556 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 03301a04cac725c29b9e38c82269af5d886bcc22
SHA256: a3494217c3e7e806d70cebf0628905c564b86336552719dc4074136b05f00f32

Size: 3,789,796 bytes

Other checksums

Submissions

zhcd33y7
Submitted
Sat, 8 Dec 2018 16:39:18 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"