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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 14 Aug 2020 13:04:23 +0000
Build-Path
/build/agda-dmlmev/agda-2.6.1

First submitted
Fri, 14 Aug 2020 18:18:32 +0000
SHA1 of .buildinfo
4ad414b10bcb6f42162ee9fd825d6a177c7ce098

Binaries

agda-bin (agda-bin_2.6.1-1+b1_amd64.deb)
SHA1: 2c75a879ed722e5dfd03abd3b354432db077fa52
SHA256: 37130562ff479d95a5b85e77afa8549b4437228959143c81c96904fcbf42b837

Size: 8,916,744 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b1_amd64.deb)
SHA1: 276cc0b07f0f1ce20b0741d9cd6c0bbc8f362f24
SHA256: 4f1703dab0b8cfa3809a523af4313679eba187f01aea527d6c92a0f848d69287

Size: 37,930,260 bytes

Other checksums

Submissions

rabwn3no
Submitted
Fri, 14 Aug 2020 18:18:32 +0000
Signed by
0x27D29D008F31F3CA

Environment


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