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, 20 Feb 2020 02:54:07 +0000
Build-Path
/build/agda-2.5.4.1/2nd

First submitted
Thu, 17 Jan 2019 20:31:19 +0000
SHA1 of .buildinfo
2f1d002cee3f58f775e855cf4ddd9bb0d03735bf

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 2876fbef761b9c7ba78fde3561e161a762e444f9
SHA256: c8196d35023d5f73c98923c5c8bad9aea7df9e8b3f6f6ddc3f532d192781bcf1

Size: 117,944 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: d6fd0310c38bb7b1143d50aa0e0d6514bdb18775
SHA256: 4365f479222fa4f50bd2349b6a3d841d1dab4a86a02161af11dd05efc4dbe855

Size: 5,868,044 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 3895b79b14c1e958cceb21ed887ab2a099f57698
SHA256: 0fb894bb17d59d42922a261d44ed32756bb2b4d601cdb966f2ecb4fdcb99d8ea

Size: 117,524 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 436b5a359a303a72e2345bf01ae60c9f89a4d96a
SHA256: 70faff570388758af0f0c054b70003dca09e0e80a9027328a1e7d50392fc04ba

Size: 155,472 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: a1aa1b43412152f8e76084d46d2ab9cfd7ba9afa
SHA256: 5e6248ae8fa3c1eb3b15fb4ded56dddb068976fab30b0fadd15e1914025f0d9b

Size: 17,164,476 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 0c592a569f55536154a9252978f45e64fa9d3d5e
SHA256: 9f0e7b1117e9a35aaf9feee906c6e3d793dfd7abae6b97e00b2b33eb3980d8f5

Size: 3,789,716 bytes

Other checksums

Submissions

nw4i3ruc
Submitted
Thu, 17 Jan 2019 20:31:20 +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"