agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 8 Sep 2020 14:13:52 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Wed, 7 Aug 2019 07:51:46 +0000
SHA1 of .buildinfo
0bae58133f2f0828b3636e68d4dd782438e0d472

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 44a58728545bc2a70b46c61844a09f18bbccf63d
SHA256: df5219a2a823641289306ecf63aa034f76ba6e705ff7b5947515c6606dd7fb40

Size: 117,932 bytes
agda-bin (agda-bin_2.5.4.1-3_i386.deb)
SHA1: e25fa945b3e730b57c243c91fd02ddbfe38ed23c
SHA256: b67a9940076a5ca6647d2422360ea257094e185f8723fac2159be82299d99b8f

Size: 5,954,828 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 946354814a260721a89071550a7a2197cb6acd90
SHA256: 0ccc9c8169373673d39bcaabd6e9a0c92c85c306770b7d81ac0210e48cfcd37c

Size: 117,512 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 1f3ce42e7e9b014ffac1a94a8d727bb12f9f2816
SHA256: f24aa7806bd24db510b17d48b4626bc5243accde345b320a57e95c286c5bcf2e

Size: 155,480 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_i386.deb)
SHA1: ab77f0c6513bed66666ebdd4d676cc22f229b543
SHA256: 7152e145a3baa6236d68499544659cef114c03d0bcbad8606384a1b1f14b136a

Size: 16,908,316 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 7fbc48b629511411732d94902ee5d116a49a80be
SHA256: 2848ee0fef3e70265742c803c0a90cb8a0ad2465066582035edb98f91c0fd634

Size: 3,773,496 bytes

Other checksums

Submissions

e3hqgnbj
Submitted
Wed, 7 Aug 2019 07:51:48 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1540066938"