agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 29 Mar 2022 17:30:51 +0000
Build-Path
/build/agda-2.6.1

First submitted
Tue, 29 Mar 2022 17:31:00 +0000
SHA1 of .buildinfo
85e83ef70cc80dc0ec1e05039c2f63e55440ad86

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 172a23c1c46f0d6aa310d5f5a0a545c53d70874b
SHA256: 96a4fb565964837a34a57b8c81c7ea858f743c224c9089a4c35646e7a72a8d96

Size: 28,960 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 959092de2e477d7320bda5ae842c96148b911681
SHA256: 4fd6a175c587ba64c032e3dd71bd39a7fd360aa3a9596da3e78e05b905afc142

Size: 8,910,672 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 15f287227517df8ea113e9e2ba6e3ee1c224f804
SHA256: c2074a2c7e989f9fba841cc9dbd50db6c6b777695bbdd5609527a417ce05c550

Size: 67,072 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 3e5a898067f60d643be81f851cb84cb2a41d60d9
SHA256: cbf0eca5384c5839ed14071231c9f4b913ba635887ce8243c24e4f7ee28d032a

Size: 37,934,944 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 235f1047da8451b51d5b00b0c5a4d02234837ded
SHA256: e2cf28b5785dd3e6d25a0d7a5ad126f58071d0bb5379cfd48e9ab85f8649357f

Size: 5,913,428 bytes

Other checksums

Submissions

rskkcxgg
Submitted
Tue, 29 Mar 2022 17:31:01 +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="1596036884"