agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 26 May 2022 07:43:49 +0000
Build-Path
/build/agda-2.6.1

First submitted
Thu, 26 May 2022 07:44:14 +0000
SHA1 of .buildinfo
e169bef0b2a9202c08a39ed22cfdfd60ed4db703

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 5450387954aca16674c263d48f658fa0048875d8
SHA256: c1895e488941a0afdb075cdb326e9dcf018e50ae988af1a42f6bd99ca0595189

Size: 29,356 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 475f6109c781ef5fa933e76c8db64d179142ed11
SHA256: 1523f2b4ae21ba73f94e8ae5dd5da11b0bc7b059a3ef78b70333b2f974fde0d9

Size: 10,368,528 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: b4c407922fe2369ab32653a6feb0258d6506038b
SHA256: eb9ef3bb4cb279fde3373753ff2fbec5394d0a9023d66ee8413bd105539c8b58

Size: 67,444 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: b771cdd65ebd29e1aca2ed4f4fad3a016959139f
SHA256: b301c23c8455d6ac269dd820ae0d9cb8a2bc8011b438ea217e994a4e9a62418a

Size: 44,807,656 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 560ce76d6fe6eddbe15b04e3155d6481528199eb
SHA256: c96bbff816132679710c5380be417347b3c6fb9d295dc32665653b335b0f690b

Size: 5,914,848 bytes

Other checksums

Submissions

ndddyuoc
Submitted
Thu, 26 May 2022 07:44:15 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"