agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 28 Dec 2018 04:04:39 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Fri, 28 Dec 2018 06:44:21 +0000
SHA1 of .buildinfo
f13de018a822cfb6721cef32f0b61bd1d150e22a

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 4c4fd6e1a8c5413657d33e473cff0d9be2a4209f
SHA256: 2c718c5c3b77d578e3cf14816a2020fdb93817add6bcfe5bc3f3a45261f78e91

Size: 118,096 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 1a92e748e28f375aaab7120f01ac4b37b1757bf1
SHA256: 737942b43ef59f6376abc072071ba1022228bff5d24ca03db8d0bdb050ae7e07

Size: 6,780,136 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: d326a3be9e1d26d4d44b5920058777de97f53c46
SHA256: 503a5570a71619d8d9e161781067e3baa52bc4c822d5c54e7b2c7f3179edae3f

Size: 117,672 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 09beb2b658815a56798fba8bbf1aa7bc9624fffa
SHA256: 10cf7585a30c79cffa2b5230dbf80d393c01b5fbc630139a5a16374bf919c094

Size: 155,404 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: d37fd11e3db570939bb0622f74286c200510c88e
SHA256: b7883511380bb8c838333964878a896b00aa9f703aad9f2917731df9a230b6bc

Size: 19,736,512 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 46dc63412f32de2e6b28371aa6b94ab5d7c4cb06
SHA256: 0551f2578eb460d84370e3bd74814a8ffa364700e54ce6bb408ba2fdbd8b91e4

Size: 3,789,724 bytes

Other checksums

Submissions

3kedcn7d
Submitted
Fri, 28 Dec 2018 06:44:23 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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