agda_2.6.3-1_all.buildinfo (view)

Source
agda
Version
2.6.3-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 27 Mar 2024 18:43:27 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Wed, 27 Mar 2024 18:43:45 +0000
SHA1 of .buildinfo
ab2df830ce5bb4140cc059d34a60d67e0dd759fe

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: 2cfb53669a6706a558979fc602eb3ee13a41d5f4
SHA256: aa02c1fcd19daea62991db4354dd7355d4652dde85c11bc98fd2f1f487f7fe53

Size: 20,252 bytes
agda-bin (agda-bin_2.6.3-1_i386.deb)
SHA1: c13f571dbb3df13c08fd8d2f0b47528c3d8ab160
SHA256: 647a0c37ddb0ed155cf9140e530fd9f11bb2024c0812273e796b0a7d4247169e

Size: 15,359,688 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: e42ab52e8781c1d7d46e58eb3e9f37919e418055
SHA256: 532558b73f554cc6c98da9adaff397496c266eb10530165fd707f334508811a3

Size: 59,396 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_i386.deb)
SHA1: a288ab964adde606fe7941af554b3fe02b5349f1
SHA256: 03164197fc8ee92e4b079844450397ee595f27497162f3264aa213fa4e0f1c80

Size: 39,316,968 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: 7542c04a1524231035e02004f3af0c71c685c83e
SHA256: 797c79645fe993b67d682f84e6962380208690d46d8d45f7d844e3d44410c826

Size: 6,992,672 bytes

Other checksums

Submissions

nfg3hids
Submitted
Wed, 27 Mar 2024 18:43:45 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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