agda_2.6.2.2-1.1_all.buildinfo (view)

Source
agda
Version
2.6.2.2-1.1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 10 Jan 2024 22:37:27 +0000
Build-Path
/build/1st/agda-2.6.2.2

First submitted
Thu, 8 Dec 2022 16:56:50 +0000
SHA1 of .buildinfo
ec717a3c1706f8bae27b1d100e20db21e788c9ca

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: 69ee17a66d40fca87ac1a7aaf9446d0369208386
SHA256: fb9b300cdc5f1778e1e2005cab2350035bb85168a7058ce3b227bcdc9a8489df

Size: 12,304 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: ae2189354bfbf778b456b0e44545f93bcfe614fd
SHA256: eb18108143e5596c6811b846bf62706df3442cd2aa9b800cdc821265606c2e87

Size: 7,752,252 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: f549d3079714c47cea5b74703a57617769db9e8e
SHA256: be4f9c1406788c910495e7387bffdb4fa908fdfe917919354d4e68765ba9a175

Size: 50,928 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: 99141a21b8f0f0f1046039bd1f290d81d16786ae
SHA256: 5782fd4cdfd488d11a72c46dcb2b42389547e9aa7e3b35be32215ee62ba2be0d

Size: 24,853,300 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: 23398478811055c684c4a3604c577c70b797ca8f
SHA256: aed0c1d3c0b09de922d53cf5405c0cbf56ab69b53238332fb6b73468d5fde9f5

Size: 6,600,100 bytes

Other checksums

Submissions

utvsozsj
Submitted
Thu, 8 Dec 2022 16:56:51 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1670342260"