agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 28 Dec 2019 16:45:06 +0000
Build-Path
/build/agda-2.5.3

First submitted
Sun, 25 Nov 2018 10:22:12 +0000
SHA1 of .buildinfo
b6024834962ec1782bd3b7a2825909ee6fcd8848

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 29a874e7a1baa74d4210b532a87d823c1cf8e2fe
SHA256: 3b48d0ba518ad37f9711ecd83a286ba9c746607b253b6f4616007b41d6467208

Size: 106,264 bytes
agda-bin (agda-bin_2.5.3-5_amd64.deb)
SHA1: 2c25edc3b64c804e1d2562d35503b591f15c7af6
SHA256: 29b443e242f8d77d7830633660ee7152d03a131628f6cf3b4f2fd490cf6f56c1

Size: 5,851,612 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: 172cdd88c6c23ae3170ba4f86ca1c7e1d9d1a7e1
SHA256: 7b49346b5719b14c973af248cd366ff1144dea9ec937b0e96010d8dd38ee7799

Size: 105,856 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: f5d2e3b15c1f1a3dc8cd36d8120e0e769002a64e
SHA256: 8c0dfeacc02635c70ff8be0c01c530aa3600fb7d18b3ca976df49ffa7902b6b5

Size: 143,260 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_amd64.deb)
SHA1: 074a7283bf7b0a1664f7a02c6b98d12f5c16a672
SHA256: 9a57240e5e03e97ad11d9cb58a1bf99d7a97b19137096f49e9183bdedaa7d7dc

Size: 16,214,536 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: e006779b3540afa06d42536e8d198ceca5568517
SHA256: bd6c81c694659aac9370e05d87d6485f29c4543b577743ebadb79f3ef4a7fc2b

Size: 2,760,276 bytes

Other checksums

Submissions

ennbcn9z
Submitted
Sun, 25 Nov 2018 10:22:13 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1525005701"