agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 8 Dec 2017 08:59:03 +0000
Build-Path
/build/agda-2.5.3

First submitted
Fri, 8 Dec 2017 08:59:17 +0000
SHA1 of .buildinfo
b13cb53f555c0a7185c98f2f7e45bd7418f9012d

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: e71d35c2506c1b9ddea39e9afb05606131c425a0
SHA256: 3d9e0908ea3e458981e82c1aac9643dbd99157f7d260d64073fa9d6d036c3a70

Size: 106,044 bytes
agda-bin (agda-bin_2.5.3-3_amd64.deb)
SHA1: abac8838efc7bbaabdfa8dc20e1d668f4f22fbe1
SHA256: dba542df67f01c21b28be8698cbf64218673f43f24ff4e5af347530687f2f54a

Size: 5,818,476 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 30f12b7962e707a034f3f5409767cd016b1df8e8
SHA256: 7dcd57894bb6f2aa7b62cd9fbb83f49c3b124cafd3108faf09738fb819b5b589

Size: 105,624 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 66f84d93cbf96ddfe013e20ff9f6dd50d9dba47e
SHA256: 7db22a6604bd44691b7377a47d37bef3fa5ed5a04da17c92c4e9556fee95e09a

Size: 142,960 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_amd64.deb)
SHA1: 680292c914cd89648bcd956e0a896b339b8839cd
SHA256: 8a7b920c5a4cbd926c446b5d971a82d2d6c098a7b5b44c5a47709f0e073352db

Size: 16,001,348 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 686859dec7ff8c741ad31a45dbe0d0a0fd2755db
SHA256: ec91df45502931c3c8e83433f056a7d69470fe6fcb39db8fee749dd5e27e5e2e

Size: 2,862,396 bytes

Other checksums

Submissions

asijeefo
Submitted
Fri, 8 Dec 2017 08:59:18 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"