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
Thu, 28 Mar 2019 13:54:34 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Thu, 28 Mar 2019 13:55:58 +0000
SHA1 of .buildinfo
6a2f9433b2179930595a153a82b138882dc1176f

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: b9d1431415feb58d387fa868d5be4d586bd21db2
SHA256: 77f766ec4bbd1c5c9fe27791e5faf5d845493bfcca6bd253a72a5a94b6d4a1c4

Size: 117,892 bytes
agda-bin (agda-bin_2.5.4.1-3_i386.deb)
SHA1: 7a2c7b06a448678c50f22414ef4ae27162376f2d
SHA256: 710a8a1baba702e811e28a0bc48f4a4d68acf0f9cd520d6d18f2d82929318d99

Size: 5,946,064 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 84938d1b84322a514c67353b38f2c40ac03d9b3b
SHA256: aea4ed0ace86c392d5fb128d0adf8c748674adcb2fa5a2ade24cbd850469fcd2

Size: 117,472 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 8ee9a2092c5a72d4527ae8174c41970c82de0ecf
SHA256: 2e3280bc943e0375bba48946d1a13c24f3c5e336bb42a7c1eaaf87fe0fc1b072

Size: 155,412 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_i386.deb)
SHA1: a28fad91752bb69f2c33dfe39d966fe0f9b86765
SHA256: 364eae907a8f11c110f9538f1684664fc03141e9403728dfc2d3605fbe80c0e7

Size: 16,795,560 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 7b1a56927402ba546c229c5e8ca2c37afb8b09fa
SHA256: 42285b67413e7a3a9940cdb5a404992fd09a1d04a575f8651fb17a8881622051

Size: 3,768,752 bytes

Other checksums

Submissions

zygmz3jk
Submitted
Thu, 28 Mar 2019 13:55:58 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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