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
Mon, 25 Mar 2024 20:02:53 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Mon, 25 Mar 2024 20:03:21 +0000
SHA1 of .buildinfo
3a526d8f56ab0be685a5c5e32470911562f8b1a1

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: da5ef3d3ad47d5305e4a4a8b13a69d7c4753b752
SHA256: 45217aa6f41961195eae09ed230e4800993b61b9200edd5842bea3d0f1ca632a

Size: 20,260 bytes
agda-bin (agda-bin_2.6.3-1_i386.deb)
SHA1: 32592c6dcfe191a9e84788061fc6e096464ba71d
SHA256: 3ec4deb1ac22ceb0015bfbf7836ad1397dec6bb1f7f8968d03c9a236c672787a

Size: 15,359,888 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: 2078f7ad24c7fb0053bd35f98c5275a038071094
SHA256: 7e7a40e4d12081ec4d9ddb0406a8dd02033c2a8fb3e841a9b9c22cf69aaacd70

Size: 59,376 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_i386.deb)
SHA1: 96ba9d299749bcbb66932227eaa5bce0ce658175
SHA256: 807b8e535bfd27b5ed4420aecacfd58088158c218ba96228e2c2556bdbf7cc6c

Size: 39,317,900 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: 711d2db4322f01e1b866e8178f124cc3f0d92697
SHA256: d0044199ad7876856d7af0aca314f5ebe87aaac5b736ce0e6babbf74819f0f04

Size: 6,992,664 bytes

Other checksums

Submissions

odnufdec
Submitted
Mon, 25 Mar 2024 20:03:21 +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"