agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 14 Dec 2016 03:56:17 +0000
Build-Path
/build/1st/agda-2.5.1.1

First submitted
Wed, 14 Dec 2016 04:32:50 +0000
SHA1 of .buildinfo
5af028a52dd413aa4e94f112fea0c19ec490d61a

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 457dd3d7ab39a2eb69936749b64b1c5219271bf2
SHA256: 5dc062671ac0a48ba8031f3e8923ab9d8260423f79c5e787b4363a0dfd875441

Size: 80,092 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: c2094c3d46623159f3a0db715b1493e065613e93
SHA256: 1c19ca1e14422380c7939d7e58f433550f3e4961ff2156155b79439a6473a0cd

Size: 5,220,436 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 4ac728fe784c94a2dfec9516fb7068d3e45a025f
SHA256: 5c118e94ef9ccc72cb16cb81f23ea4709ca9c84cca7e4a40595c6361a4fc53b7

Size: 79,664 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 715946c23dd76168a7764c3d845d6ecfc7cb5bb2
SHA256: b89d5fc8fd3ad7cc02b8c2ece2761df899aba2f8df46d300152a3ea183d8e286

Size: 115,264 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: 50a278c157070710cd36f61f3f9da6ab38e4f21d
SHA256: c2528790b82bd9f842cf0bde6c9fc448766f9bbb259bb9269ccb01b9beef8948

Size: 13,237,918 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: cd43aa03a8ab13744444f85b3069118cbdaff3f7
SHA256: 22a40d45f95b2e935c0686cd02d9e128b3a2a1d408f2022e86c266ed1df75675

Size: 2,655,442 bytes

Other checksums

Submissions

h4z3aqtf
Submitted
Wed, 14 Dec 2016 04:32:50 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"