agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 1 Apr 2021 00:54:45 +0000
Build-Path
/build/1st/agda-2.6.0.1

First submitted
Fri, 28 Feb 2020 05:00:50 +0000
SHA1 of .buildinfo
39dc372fd635ebd0869638df74e2dcd53b286899

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: b683573fdd91bca01beff843bba7201e60279bf5
SHA256: 6ea9e1d77bbd4a7b20d3845568bef38da74095c5e66c5a2c9d13ffe380738844

Size: 131,364 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: cedf6fccb54808bd2716f5a31e73cfc96aee9647
SHA256: 86ff8a14a8ba90d3a618caed0fd1d7d9b245d391ba7a650f4a27c943c2519829

Size: 6,700,008 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 63e4bb3d1c1c50a8d6ce24cfd8d4e1ebf307de15
SHA256: d9a35d858ed56d893066f043ac7ded200d5924b0ad5a3386d8cd6966d5a4109e

Size: 130,948 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 268be99e396e5a08d09517caa368c25a08c2dd95
SHA256: 1c03ba09234ade23d467f388f9f114a6dd7249f4ffa92eba31ccba8b5315fc2d

Size: 168,508 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: 62ea1900f8fcbbca3ad0bec465f316de908943d1
SHA256: faa680c8914e94cb3f4754f28cc8a7b1afd4e7210f6370912f9da4c61598d2ad

Size: 19,809,552 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: dd18eb021c27572ea8388d00f2a017a52634ba68
SHA256: f2022fbf61f3a48c5bb22ea096ffb6723c3553b1b690eb2b9f2c5965f1e2d3d8

Size: 4,342,556 bytes

Other checksums

Submissions

fdjk9zqd
Submitted
Fri, 28 Feb 2020 05:00:50 +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="1567260153"