agda_2.6.2.2-1_all.buildinfo (view)

Source
agda
Version
2.6.2.2-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 30 Oct 2022 06:00:03 +0000
Build-Path
/build/1st/agda-2.6.2.2

First submitted
Sun, 30 Oct 2022 08:03:28 +0000
SHA1 of .buildinfo
b9275e1f581e31018653fb3acd25ae6349d1476d

Binaries

agda (agda_2.6.2.2-1_all.deb)
SHA1: 9a32c34ebd85e40841006bd1d948612b434c8b57
SHA256: 646f61de45451dd7d1d02fe0ace77387235ef7aab8cd2429ec65f163d322b2b7

Size: 12,188 bytes
agda-bin (agda-bin_2.6.2.2-1_amd64.deb)
SHA1: a077452c6df10a5f70c43a36ac7738d8874dd987
SHA256: 4ef7f1e3f28fdd83030815628d28955aac20c5bc1b8d49a6547658737b16f040

Size: 7,752,392 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1_all.deb)
SHA1: eca7ac0144c37c7b01050eeaf9a3502368519c18
SHA256: 8b9729c1cd3f459b3fd32989a6af4f68dd3b18205a983d0d235cba506eafb4a4

Size: 50,824 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1_amd64.deb)
SHA1: 1f575908dd10763ce3b32dd6f389e6357b5291af
SHA256: fa3aefc411b78e88adaa8bf4e77cbcad5d0078f7ffc0f5485d72489bfba7b5dd

Size: 24,851,184 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1_all.deb)
SHA1: 313971b5d89f816ab5f2950d6927191bba16551a
SHA256: fe885640bcc9c4838ddb0b329ab9ee313c8c0e2cb13d12ff4a78fe98ab795a80

Size: 6,600,232 bytes

Other checksums

Submissions

sbe3zou3
Submitted
Sun, 30 Oct 2022 08:03:29 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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="1659791648"