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
Thu, 15 Nov 2018 17:53:46 +0000
Build-Path
/build/agda-2.5.4.1/2nd

First submitted
Thu, 15 Nov 2018 17:53:59 +0000
SHA1 of .buildinfo
639dacde128675ca11630cb7d3286161937a67cd

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 86f88db33d5d00ef17cbda47fb3c16e2ec59265a
SHA256: 552630de4fffe418b6a303ff0d2aff9433e189e25a7f2c54d295c35b066b5442

Size: 117,992 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 20efa1272a6439c53d78d211793b3bae6ecccef6
SHA256: ad666f1d6c44f688cb1cf435a2f7f2e1a4f76ef9fcb022f3137a4a74bb6dd67a

Size: 5,864,868 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 6e828b853cf1bd9da6deb78694f99f89bcaf144e
SHA256: ff5c0651a662022db98189f5789f936bd421ad906c5a14914c93745bff66e1d3

Size: 117,572 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: d52800a2e89ec3393f9b152515c8605742f4c0a2
SHA256: 46196a4645ba9e501f31ec778358838fd5dabb7114994480c7a5862d4ec773c9

Size: 155,300 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 728cf90b20f6cabbd26b66f43a782a647cccff95
SHA256: 45256a82b84bea8f21774b9d3c6df070f666264963d1c5ad7581055e1d0e7154

Size: 17,163,552 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 3ccefe909d48a33ac964cade16989d54da51768a
SHA256: 4427f3baab1806241c4c394af2f4f3f7b384e7bcd93d6670a5eb956002de7e11

Size: 3,790,776 bytes

Other checksums

Submissions

apvqnjq4
Submitted
Thu, 15 Nov 2018 17:54:00 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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