agda (2.6.2.2-1)_2.6.2.2-1+b3_amd64.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 24 Oct 2022 22:34:21 +0000
Build-Path
/build/agda-ejqoN6/agda-2.6.2.2

First submitted
Tue, 25 Oct 2022 00:20:08 +0000
SHA1 of .buildinfo
4e9d28277eb0d4d099604b905a3d20d0f0a860ac

Binaries

agda-bin (agda-bin_2.6.2.2-1+b3_amd64.deb)
SHA1: 544aaf03f782a45ad2e1f08b4cf6ba26761c918b
SHA256: b3859e419ce9c813b79450e6d4ff7e4921decb572edb1c4758b60a926c4d786b

Size: 7,751,172 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1+b3_amd64.deb)
SHA1: 8e2a1adc4654c09f77a7695547045c7dc3854114
SHA256: 9b44c2c3cf22c9cbaf580dd4db31347463ffef7be6a9226f70a405aa20bb9806

Size: 24,866,680 bytes

Other checksums

Submissions

aoh7rjzk
Submitted
Tue, 25 Oct 2022 00:20:09 +0000
Signed by
0xB46845950145956B

Environment


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