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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 19 Aug 2020 19:41:50 +0000
Build-Path
/build/agda-KiuGpG/agda-2.6.1

First submitted
Thu, 20 Aug 2020 00:16:01 +0000
SHA1 of .buildinfo
99859981f59823b9a2db964041feead757bd619d

Binaries

agda-bin (agda-bin_2.6.1-1+b2_amd64.deb)
SHA1: 39b6b6588bfee7a7d7d391817a95556f13e5edfd
SHA256: 01eb3c14e58b10373a8d45962340b075e403fb4030b0befd937d3012193e2048

Size: 8,910,056 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b2_amd64.deb)
SHA1: d7447bad0811553403e34173eeafb164fc714455
SHA256: 3189cc3fd18e820ba8bc5d4a9ce7207185bf0f590571ba2767cddc2ff7c15b09

Size: 37,948,252 bytes

Other checksums

Submissions

4tdzqbhe
Submitted
Thu, 20 Aug 2020 00:16:02 +0000
Signed by
0x787961435CA5266F

Environment


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