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
Sat, 23 Mar 2019 22:02:09 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Sat, 23 Mar 2019 22:53:09 +0000
SHA1 of .buildinfo
4ab3b44dbdf361c5683fc82c3fa921c0318ff006

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: f809014c963f7593fb0b78ba438885d7f461d2fc
SHA256: 19f2b8e9c05c7ae87eb29410356b9206405180333ee29c545945d1879351cd46

Size: 117,908 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 41df7756703db0908b32886e25f7993745761a42
SHA256: b462c860e4be043f276848a331e5da6ba9aa110493b9ed5ef256c2ebec2d2278

Size: 5,868,444 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 1a278fd6c6613f61c01036952c8b5d296a21e446
SHA256: 391ae0cd734c7aa04e61384eb8072887fcaa9d7e2dfe7103f34da51b6f6e5566

Size: 117,488 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: e7e43cdb658d894cd07d95f399347ce2ef259530
SHA256: 2d752e232548f6280a7e10c9b1d0c57dbc57ee095367c9cd9fd5d10674f87b25

Size: 155,412 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: dec0bb15939dbb0c9452af51341b6f642689c21c
SHA256: 3f35c0f3447cf37b527c4cf550c31a655209937a889ff918a07fed844476ebcc

Size: 17,169,492 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 2ccf4eda12e0c10bd568317fd409da9135df34dd
SHA256: d10115fafb7b512691e07af105dc4278452fcff4053504b2bc599982c4cf2c5a

Size: 3,789,716 bytes

Other checksums

Submissions

hbqqfzeg
Submitted
Sat, 23 Mar 2019 22:53:09 +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"