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
Wed, 13 Jun 2018 10:14:44 +0000
Build-Path
/build/1st/agda-2.5.1.1

First submitted
Thu, 11 May 2017 09:07:22 +0000
SHA1 of .buildinfo
ce700475c6ef0e44370b36eba1c65c7f5bef6485

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 453bda7892721823e704535439a25d3d5ad8d0d0
SHA256: 89d8eece1a86d2662d30c6c979f9fd00767b57c24efce2203f5f9349dc5fe800

Size: 80,260 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: 18c6004e6e2fadb6a6a16ca8fc3be55deae8e839
SHA256: d430e8b64c4507d648770ca8a51c4232bfbeaad2a697814368c5dcfea756d273

Size: 8,488,830 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: d4396326b4dc7fcf2184ae288c8873ad996cde61
SHA256: a2721f199ad7dd1f2aec543a42cb22cb79a6637ef5dd251f0bfd19ca9fb940a7

Size: 79,836 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 0c789deb50ba068eeb09fca01c89ae7e85331d0e
SHA256: 396dcec1962ed9505d9b282c6283c1e316770ee2cbb1e748f15ce9d03cd37bc8

Size: 115,402 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: 818d6f67973478694ce8da97c4d97664d57c1914
SHA256: eb544132fe95f5814390e27885231d39e02f0f764d1f13d0872487670fd12ff9

Size: 19,837,906 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 9174a201c896264a038f5fb5a0784656a344daf7
SHA256: 95cff23c08cbc4b4fd278b9c8487cb604ecd6972af79237000f41c8477fd8a4c

Size: 2,655,500 bytes

Other checksums

Submissions

mp44xyuq
Submitted
Thu, 11 May 2017 09:07:22 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.1.1-3=/build/1st/agda-2.5.1.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"