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
Wed, 28 Sep 2022 16:43:22 +0000
Build-Path
/build/agda-2.6.1

First submitted
Thu, 26 Aug 2021 10:20:45 +0000
SHA1 of .buildinfo
d2f111b92e746e4af5d902a599df25126cddc944

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 77eed5bdfac641ba26661da37aa39a0ca56270ed
SHA256: fa386ebe1741aba60c74f44a7acb8e9a0e3c92b87a09eb99990b7769a56805e0

Size: 28,924 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 919608bf6b00c72710e7082e8acf09c73cc0a366
SHA256: 158bc8cbf2179f4206b6a4a640b68ea047f06c44e8ad55f38045cbea5455b0be

Size: 10,367,632 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 0f325c30927ab3a487f1b9fbc2f5178861264aa4
SHA256: 647cf27b3ef3c043de2a69207d387761039164f222113b7e776d711b548c2a00

Size: 67,032 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: a68c2e50c5dea66a4adacfd76ab1ffffd538dfc2
SHA256: c6276278c89713141d22b6837bd5ada88ea36d1c251008da44a08bc57d953afa

Size: 44,791,320 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 80f9a69754f995e2dc33b00aadc1a7f908f45e64
SHA256: e498e7858857670f0e672d7aeab1f8d4430f0d75ac19195454b10b576999cf4c

Size: 5,914,412 bytes

Other checksums

Submissions

sb9ezn9a
Submitted
Thu, 26 Aug 2021 10:20:45 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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