agda_2.6.2.2-1_all.buildinfo (view)

Source
agda
Version
2.6.2.2-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 7 Aug 2022 14:01:01 +0000
Build-Path
/build/2/agda-2.6.2.2/2nd

First submitted
Sun, 7 Aug 2022 14:01:15 +0000
SHA1 of .buildinfo
162b27bc89e26dd567d6c2422f03e520641dfdf0

Binaries

agda (agda_2.6.2.2-1_all.deb)
SHA1: d91f21676ed3bd82733e1dc3f342da262eca01ca
SHA256: 444ffa644469b1124bf5c261bcd4ff126d50f8698354f15f8bab6735ff65142f

Size: 17,804 bytes
agda-bin (agda-bin_2.6.2.2-1_amd64.deb)
SHA1: 287eb9e79e6ba149c1cc93a1edba2ef9390946b1
SHA256: b3c67ffc936e1e7d7956600149ee3d5fe9d7c1595484165b4f113c520f0bcb73

Size: 7,756,248 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1_all.deb)
SHA1: d8a1ee7b3e6c1b4f6133b491214e2ee79f4115c8
SHA256: faad2ac3c7561b29e842bd40ed5dc79b3f63efae0ba1de276b61ac6a77c751f6

Size: 56,440 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1_amd64.deb)
SHA1: 9f686974569a7407b8a2d2dee4fdc57cbc25b518
SHA256: 182029409acd1431019609f4a49262f533b9d49c33aba440796d14072f7649b4

Size: 24,882,044 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1_all.deb)
SHA1: 6b4ec76498ff1dcf1fdc283cb51cd7f8378495cb
SHA256: c12b687f8b5078026499967bb1899ee1bf1ceab03d72dfc67062adcb2f725d60

Size: 6,649,932 bytes

Other checksums

Submissions

xxnbpiwt
Submitted
Sun, 7 Aug 2022 14:01:16 +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="1659791648"