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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 19 Aug 2020 22:46:24 +0000
Build-Path
/build/agda-2Fe6il/agda-2.6.1

First submitted
Thu, 20 Aug 2020 00:25:58 +0000
SHA1 of .buildinfo
d1f91b500fe1f9b7024e288d51f12b293f0332f6

Binaries

agda-bin (agda-bin_2.6.1-1+b2_i386.deb)
SHA1: e45b52dfd09db6b510debada8f070e3cd8cca7e5
SHA256: c674d3163021b18615c7ecac3473caec9e63b80290d990365b18dc9009d9a979

Size: 8,967,940 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b2_i386.deb)
SHA1: 7882bca4056ac43813e01865cf3f018f5e986f39
SHA256: efeaea134ea429ddbc0d3eeaf522a0123b4a31ea64741db827ac18cbcb795a8c

Size: 38,089,964 bytes

Other checksums

Submissions

yvvorrju
Submitted
Thu, 20 Aug 2020 00:25:58 +0000
Signed by
0x27D29D008F31F3CA

Environment


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