agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 16 Apr 2019 09:40:21 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Tue, 16 Apr 2019 10:16:34 +0000
SHA1 of .buildinfo
c971204de5ad52f2a637a6ca4fe8229ba14a1d6f

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: ef3f96c0e7fd8a9e50ed2dbf4d17e1b2f9890fb2
SHA256: 0663551eab63b8b38a4404bddefd40731f1564087d14b41c9c55d318a437f152

Size: 117,920 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 4c6a16662937b112549a7c5f191afd37735a290d
SHA256: a4694b123e6a95c7289df6fe6e99b5f6754a37c7cc961a68d53af84272edb1e5

Size: 5,867,368 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 85476a371c7b82a8fc1bdde6ba062879a955e97d
SHA256: 02d6df15e0bd0a27071d4e8cb1cae27b3b51bb75fe8b1790e7550fe125c8efb7

Size: 117,500 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 5db80332e2d1aa6517b3fffc95e1c6aedd5b1fc5
SHA256: 3510f1b56e5f6225761ddd8584ac814f1bec6f3345364c5ccfb54a7d9a126724

Size: 155,456 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 444eef972d1eb3aa52b0e1b50292afd2b1f2fd3c
SHA256: 8e48eb292b71e377909623ffe2267166ee6cd3c64b0f267b6eb07f3ce73095bf

Size: 17,170,124 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 9997ac3ef8127393e10056dbec7300a87953a792
SHA256: 855984b55fa7145282ca6336f574b7e435c7ecf1f7950bef17b4d623a6706586

Size: 3,789,644 bytes

Other checksums

Submissions

d3kh7bkp
Submitted
Tue, 16 Apr 2019 10:16:35 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1540066938"