agda (2.6.1-1)_2.6.1-1+b3_amd64.buildinfo (view)

Source
agda (2.6.1-1)
Version
2.6.1-1+b3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 3 Oct 2021 10:06:02 +0000
Build-Path
/build/agda-RmRiLJ/agda-2.6.1

First submitted
Sun, 3 Oct 2021 12:12:18 +0000
SHA1 of .buildinfo
81955807b5e3f68381933c1e23c8ede8b60da471

Binaries

agda-bin (agda-bin_2.6.1-1+b3_amd64.deb)
SHA1: 84cc22c824e26496176ffd16c020aa28ccdbace4
SHA256: a172d2bba495e5fde4e21044fff7d19eeab02c14a3afbe2ba5476d5ac3a4915f

Size: 8,911,340 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b3_amd64.deb)
SHA1: b653c4651019c31683811007213cb992f4048b3c
SHA256: 5bc8dc702fa8ae7aed90f6d97520b9dd1df798a3d323170adc0222f3f1b73c3a

Size: 37,929,588 bytes

Other checksums

Submissions

wvrtmwev
Submitted
Sun, 3 Oct 2021 12:12:18 +0000
Signed by
0x393CB6ACFE6A01A3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1633253626"