agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 19 Dec 2017 22:19:51 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Wed, 20 Dec 2017 04:28:11 +0000
SHA1 of .buildinfo
2e52916e15d8fcb07b7690e58a9e82fd0a8061b2

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 9a7c7afcd0645b2fc25faac7a1fa5e6a9ec993cd
SHA256: 659dce2a34799a85f6c02da5d09aeb360866bffb05f35d90b150e3ebcd2bb523

Size: 80,294 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: 5df1f690168cf8171aa00386a240712be17eafb0
SHA256: 5d7d3cc5c1aa925944a4303b85fd6e3fc8886b72046df07ff026548ae9a25621

Size: 8,488,924 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: d2f1f89d8c9e4999cbe7d68cf24bc42f43f70899
SHA256: b9144654a5829a97d9bbc9eae1950375d99633abcc08ebb95f46e44cc234f006

Size: 79,874 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: d7b77a2c6e48749bc9906ef478cc5ac957d4e7a4
SHA256: bd29ecc6026cf0c64f8401cba2b69bac1fab96010718313c44664726c91e109d

Size: 115,460 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: 83ee071793bd1dd15f6e5e90a31f6922729cd71a
SHA256: 85239bd394821646a722483b38d8999194045698c22fd3283699453071fd779e

Size: 19,837,932 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 63f690cda878a50177286d3b930cd84189eea54d
SHA256: d04149ed65c01fd11d122a01986ecdaa3acdebb4f898b27cfacfda23bfa9b66b

Size: 2,655,678 bytes

Other checksums

Submissions

7x9ctbi9
Submitted
Wed, 20 Dec 2017 04:28:11 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"