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
Thu, 8 Dec 2022 22:52:48 +0000
Build-Path
/build/1st/agda-2.6.2.2

First submitted
Fri, 9 Dec 2022 00:45:53 +0000
SHA1 of .buildinfo
fe3c764e7ad446d321a12a793194b873584ba59d

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

c7isavhf
Submitted
Fri, 9 Dec 2022 00:45:54 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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