agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 27 Nov 2021 13:59:28 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Sat, 27 Nov 2021 14:37:33 +0000
SHA1 of .buildinfo
71d2b2e392e6c46693906470491a6585af2bc3b4

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: f77eb79dc2a4b2c3be3a1ba0d526d5702fc993ec
SHA256: 3647a99fcccc18b0f899ce132b1903c37a49ba482250d768a3b8fc339fa5da66

Size: 28,920 bytes
agda-bin (agda-bin_2.6.1-1_i386.deb)
SHA1: e7cedcb4825ed3a5afa082b3bdea6cd9ae642658
SHA256: 130710955f9eec61876a9b7b19bc3d0e5be797df71f1b489884e2b3137709476

Size: 8,967,616 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: b1efe66a2ad8b8b17faccaedd2b54cfbe6bdc6be
SHA256: 08e006d214dcd6b2b8b08468463de36c0464f0da6f3d8567109e32b4bdfe38aa

Size: 67,036 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_i386.deb)
SHA1: a275fcfd85b2211458838e93bd295c60884a98dd
SHA256: cd822e7a81aa901ba966bb4d8603523ff29303a2c98feb0454ac866e53b574d0

Size: 38,089,160 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 1444f11f0f7041ae8e24ef4aaf4a0672f7f8528f
SHA256: 773b46fc2f84c16f3120b01b6d6902f337a55430d9795b76160e1b8930f6131b

Size: 5,888,452 bytes

Other checksums

Submissions

pkdxjjos
Submitted
Sat, 27 Nov 2021 14:37:34 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1596036884"