agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 4 Sep 2019 23:40:17 +0000
Build-Path
/build/agda-2.5.3

First submitted
Thu, 2 Aug 2018 20:23:58 +0000
SHA1 of .buildinfo
27791b335162c2479de682df28d55d6a48a56417

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: f0cbd8f993aeb879e231670dcc8aeef81c54d47b
SHA256: 68b7cc8106b5a5c473378e5e0f49852adf098953bcae73098318aa05fec7c76f

Size: 106,488 bytes
agda-bin (agda-bin_2.5.3-5_arm64.deb)
SHA1: 519ff460854134484db1115472e1ee578c80e40e
SHA256: 5fb1595843a626b3645e943664a33257c3bdb1501714abddfb897764cd93e72c

Size: 6,635,244 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: db012ca81a94d8f8178512473001c44b1374253f
SHA256: 231bf7bd5a467b7ce98bc17d02091c57d3b2439959c29980f0b1465ec210bb69

Size: 106,076 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 6d464eb73219e87d7a34362ba6d94415b674886f
SHA256: f497fbe4c4de840efcedb9f33cefd7baeae12f7fca34c7e7d9b9de39fbd33d36

Size: 143,436 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_arm64.deb)
SHA1: 6cff72a7c68b9a015dbbc5a2bc67d4648cd5a0c6
SHA256: 5bf3796f4ee1b83625a2c7481193c0aceffa3c4ebfe3bf322a6c8ca73bd5f406

Size: 18,559,420 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 81ba9ac3e4c06f4ebceeb8cf9e87f96e2499a87d
SHA256: 75dd32f56663256395374afcfe3cf13ceaf1e9583e6bfbe17544ee022c0241b2

Size: 2,760,504 bytes

Other checksums

Submissions

qn3sm7bi
Submitted
Thu, 2 Aug 2018 20:23:58 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1525005701"