agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 3 Jul 2018 06:02:28 +0000
Build-Path
/build/agda-2.5.3

First submitted
Tue, 3 Jul 2018 06:03:06 +0000
SHA1 of .buildinfo
b4c8633b823704f0b5db3929814c31dbc54c13ef

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 066575d91d4275daeeee5241e29b22974b395a5f
SHA256: 9b3f42f2de38f1c33c11a95382dddb41b75a62c1543e15ffafe595f1977c546b

Size: 106,396 bytes
agda-bin (agda-bin_2.5.3-5_i386.deb)
SHA1: 8dcc09740f909869f1b98fb1d81ae04478677632
SHA256: b7802c8fb3c4526fba97c306676107ca0d3b204ce0ee192f5be36cff4bd64c4d

Size: 5,950,980 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: ce83a4b4f622bd23a469fc072fdc305952de225c
SHA256: 894075cd407d2abb433bc8322112bf44229c5d9505b66fcdb9ea5694d6b34f36

Size: 105,988 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: ac2af9f5cfc7ff22a8bbd8f732fa861fdf7e0767
SHA256: b3aecc47f0c1aa041d9b3711cd4401333ddb536c52ef2c8b6dc3342bd5e9b002

Size: 143,392 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_i386.deb)
SHA1: ba10279bc375266c60f8cd3eff896ac6ab285799
SHA256: 1ab8173d4ea80963801dd9e4c082c59ebfc57c3209b420bc185a5c3dea5573fb

Size: 15,802,400 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 89e6d69e285daa95fbfa9829240a25a53554a0bb
SHA256: b20a15a9ac84e953cc78d1054bb842697aad5a72a193f0f5185912f30fa588f2

Size: 2,760,344 bytes

Other checksums

Submissions

urah4zrp
Submitted
Tue, 3 Jul 2018 06:03:06 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1525005701"