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, 14 May 2020 08:35:45 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Fri, 12 Apr 2019 02:13:22 +0000
SHA1 of .buildinfo
095e681d972156f71294c1452116216233d79c08

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 83da4b07df4754dc7bf530742a526682e742d1db
SHA256: 0644b4805cf787d4a324ef13e4b91b9b7e219b383dac19f34db4df708e93c715

Size: 117,908 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 8c64631a29023fae1ce79ec94240ce1969c53a93
SHA256: 2667173ce299ddb1e2efb1792c58cf533fe04a54000741e535ac9616632cf056

Size: 5,868,404 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 7772231b51a562c54c904a82d28411272f1d771e
SHA256: 53e3437c9a16fd6cef2fbdcebd54716c66c53d98bcf574a3915e46426b3d9140

Size: 117,496 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: cbb9cc0eaf24bd92ab5218ae0004041ec2df9dcd
SHA256: 15035518686577b085a10977ac80860b3a03ae47a2d60a1ec77950900d3a972d

Size: 155,448 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: a56f84f611c22040c8ceb9385bcb5c5898da9adf
SHA256: febd9788a76c41d8c6c2041b9385e0be2c756d56b19a287d761a6a02805367eb

Size: 17,165,032 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: be0a7f3a73f71d6b654c5a5c23bf4092ec0e29c3
SHA256: 813e3ca8e4aa177d850fb9b36a62a47bedad1860efe2066f20ff4a17bc23212a

Size: 3,789,636 bytes

Other checksums

Submissions

acnsw49m
Submitted
Fri, 12 Apr 2019 02:13:23 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"