agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 22 Nov 2017 21:36:31 +0000
Build-Path
/build/agda-2.5.3

First submitted
Wed, 22 Nov 2017 22:06:47 +0000
SHA1 of .buildinfo
4ef534b013e6218168168f95aed91b6279bf664d

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: d0342bd9f433999e6e67dbeaacd8ac7e72e2acf5
SHA256: 05656a307d4ba0d8b4e9b9fcc9ef03eccbb433d9708fa23e6d4d3cf2d5238edf

Size: 106,020 bytes
agda-bin (agda-bin_2.5.3-3_i386.deb)
SHA1: 391f1a6de6e6e23901f3f391291fbdf5e7f0336b
SHA256: 6f35ed52d3d1b474e7cfc92dcfc17637d4e8b7f240d5095ce45817ae6c83f4e8

Size: 5,821,824 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 72d42b0b234eb46d0b066f9f0d980a0290299722
SHA256: 52dcf2def8c7e2599221af834b896cfe773a231154f9423132a6b97cebd217e4

Size: 105,604 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: a5a0debb84ceaad9105e1e4d5fe8bbf267476b73
SHA256: 62c2b69fe8dee05f45e422cc0449fb788c3e99f13a3b612f156c1bb2bb94f6bd

Size: 143,004 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_i386.deb)
SHA1: 0596a79ff6c0afb9b955909fc5d933965df105b3
SHA256: 27fa91030fcfc84883a7473bc285288f20e5492da01ed6512c5376e6f112b609

Size: 15,695,248 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 790f888d385fae8810669a60c4c4ea2a7aa5e2f2
SHA256: 5aca7579bf14d90c2635b7ecf01aacedf277d144700a1c01d29d49f59567fbbf

Size: 2,862,432 bytes

Other checksums

Submissions

my3fnq77
Submitted
Wed, 22 Nov 2017 22:06:47 +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="1507949671"