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
Wed, 16 Mar 2022 14:46:26 +0000
Build-Path
/build/agda-2.6.1

First submitted
Thu, 11 Feb 2021 10:08:50 +0000
SHA1 of .buildinfo
791143f52d19aabc56d6b661d8320dc72e2b66ec

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: d1120802710ee19a4ff9a23f742b0d0d2d524d0e
SHA256: 0a7b75a385ade95b5214a81b490fec6e1ad405f8c7635b249584c28e3d650a2b

Size: 28,824 bytes
agda-bin (agda-bin_2.6.1-1_i386.deb)
SHA1: b8fa316867144f47c5df56092bc173cb7fcdec51
SHA256: d541dfedffec482234a64d722bacb91e884a13dae5dea6d9dd63efd1d5cc638a

Size: 8,968,520 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 0d8a7f6e1d73c3fee5795f38a805c7a1f80439d5
SHA256: 7b11d64839ff89b1003b356214463d7f565b74c258bb9dd22bc4bb32f01b5be3

Size: 66,936 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_i386.deb)
SHA1: 5686fe170100c7512add35954bdca551a3588b78
SHA256: 735a62ee4aec4fc43bc16c5871631c3c7f7e807a69f3c4688a081423cc18d28c

Size: 38,091,968 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 6ce29680a2d257ee912127d89d0f7566131e77d4
SHA256: 794a514ffbf11334cf50015a46a4dd3bbeab10cb22577384990fffacbc1f930b

Size: 5,888,408 bytes

Other checksums

Submissions

rpfgdppr
Submitted
Thu, 11 Feb 2021 10:08:51 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1596036884"