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
Sat, 30 Mar 2024 09:08:02 +0000
Build-Path
/build/2/agda-2.6.2.2/2nd

First submitted
Sun, 26 Feb 2023 02:45:26 +0000
SHA1 of .buildinfo
d05ffb8f83e34af7cccc5ad3d13176fa436c9f46

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: 21373e3b3999748fb619c86a8e1182f224c8b393
SHA256: 78b914ea3b5ec56e2639fb7a42f77e0f2d66d6a453f0e8a68d554cd46c108328

Size: 12,300 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: 9894baea8a25dfcbaaa526a59c52ca1d2c0643e8
SHA256: c67ac9446294c8b743969ad112afea70bd26778c51718fc4e6455dc41177a9a1

Size: 7,752,412 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: e1250ec1749f967ae3168b43a68feda18913168c
SHA256: 20c0f21532b901ca89eee213f14fd0d93671aaea3c55d3dc54a542079bb56c23

Size: 50,948 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: 9b841f7a715fb485dc2634181fb7823aff5cb573
SHA256: b5050feaa3432d21317aa0d370797af6e5c3bb2aa125ee15f6c33e79be8effd2

Size: 24,862,828 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: 93adf205634b6308ec09792eaeea76138909e5de
SHA256: 03ebe6df24e76b446134562f937e12fe41e23138ee7e2fa5bf69163e15e9a9a3

Size: 6,600,140 bytes

Other checksums

Submissions

ymzsprut
Submitted
Sun, 26 Feb 2023 02:45:26 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"