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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 3 Oct 2021 10:09:59 +0000
Build-Path
/build/agda-FV69bv/agda-2.6.1

First submitted
Sun, 3 Oct 2021 12:12:20 +0000
SHA1 of .buildinfo
0cffc0e56840505775d1b292559b1221c5cb89b8

Binaries

agda-bin (agda-bin_2.6.1-1+b3_i386.deb)
SHA1: 23a48efe72a36c808ff5e6dc4b24ddf2a4e20efc
SHA256: 6b06a288cacb8736ddcd53d565da9943dc19bdbffe917baed68ec27da286b9be

Size: 8,968,812 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b3_i386.deb)
SHA1: 0f878188daaa2080568d1d78ba9a0bfff6f10fcb
SHA256: e10c726c9c1804873a80ea965d579ba11abcd2305744a0807030a7f054d2107e

Size: 38,088,112 bytes

Other checksums

Submissions

4hb7j4m9
Submitted
Sun, 3 Oct 2021 12:12:20 +0000
Signed by
0x374AD85D2226CD3D

Environment


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