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
Wed, 8 May 2019 05:53:23 +0000
Build-Path
/build/agda-2.5.4.1/2nd

First submitted
Wed, 8 May 2019 05:54:18 +0000
SHA1 of .buildinfo
1139e32f8b0d1cc19372fd8184ea017426d528bb

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 475d8f5a85bc01b70c13a26a57ac23870026bb0f
SHA256: b2d1f0fe8a2ed5073f46e332ab5bd32f67f5f1bc591929e7838d2009091c1702

Size: 117,924 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 600564526851fe6cebac52117e0e0b2214d5c2a7
SHA256: 240923be29f875d145d32423c5218ef375de6e63c341c6ecbefe707211999c22

Size: 5,869,704 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: cd57bd5119264b80ceccf5336aecc241a07ed60e
SHA256: 599afcf11f4ff06326b07cc3130f3da23bc3faeea6e518a6e4830d6bfa844074

Size: 117,504 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: a8bdaab13c54bcfb368adec2104ff41740406a3d
SHA256: c7be6b7a16184960c08e4d7b1d45881e286ee49819c64d1f732f17c4639d9f45

Size: 155,428 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: f280e00f1ec4e69d7366567ad006c6e9afe57d10
SHA256: 17ec81583eacab87c43e9dca593ef267bd32cefab693fb1281c186cd443f84f6

Size: 17,160,400 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 0f9d634385e21138c8840aad948be03300148777
SHA256: 25178c28f288f540615abcec17029f23015c9e655ebb3754b07e4b5b82756e33

Size: 3,789,668 bytes

Other checksums

Submissions

ypmotcyh
Submitted
Wed, 8 May 2019 05:54:18 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"