agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 5 Sep 2021 22:40:49 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Mon, 3 Aug 2020 16:17:53 +0000
SHA1 of .buildinfo
3a95f2a4fc3927dad39741b045017e91f1a31c43

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: e6424b255e442e35b33c01d4f3d1f80f6b8092ab
SHA256: a9ac82fe128612909ca4ee248cd30ce94d9affa5f0cc2fcc62d1223f4fcd517c

Size: 117,972 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: a7524cd5ba2465f2456ccf7907332830875f1fcf
SHA256: ec19501229339720492d668fc9d6699a2c27fb0745ba85c0f447f5ebdcfce090

Size: 5,868,336 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 11c1d27ed5729a90354fd2b3b0e506ce3271f239
SHA256: 9f4e4f7d15546a8c54fd48ebf3aa0289d469d97771f51696cabe2061d28ab3d4

Size: 117,556 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: ea6e822571fc01f7fd514173e92b7ab3de3e8d69
SHA256: b758a0e456c707ae0965119a654c27f6e28bede5e62ecab97b8335631f888ce4

Size: 155,500 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 201ea4c9a13cf81ed867bc4ef7c7d85c28bd0e0e
SHA256: a086f71c875750a94fd0d46402df748c0cd96b7ded7cdcc131733efc5a8f7ca8

Size: 17,170,120 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: dc130d94443694bc3688b13b3078214c85e4c3b3
SHA256: c0911784eb1f770c88805fa395198ec0f878cb59f24e76f5105a4e9c65d170b3

Size: 3,789,712 bytes

Other checksums

Submissions

scwtewun
Submitted
Mon, 3 Aug 2020 16:17:53 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1540066938"