agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 8 May 2021 00:09:01 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Sat, 4 Apr 2020 19:31:38 +0000
SHA1 of .buildinfo
9925f5f707546abb6d592a30074848288a3975ba

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: e7f9d6210c5eb6ddb7f74e9cea996eaa1c182905
SHA256: f731efddf9ff36c3d1e3e6891bc723045520b236eced830c283256480ecba540

Size: 117,940 bytes
agda-bin (agda-bin_2.5.4.1-3_i386.deb)
SHA1: 0b4f09504466a166fa5f7de5ad201c14dc8c696b
SHA256: 04026524dfca557f2447fe10cc927667c1eaf6efce8266dabb524526722f698a

Size: 5,946,660 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: f11583df7be570f004d9e6217e69c20275effb09
SHA256: 345c2c244042354ea852945eb8755142ef9b0decb25b0df1ec70ce37c757e995

Size: 117,516 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: f4cec00a3841b0d92e2d9a426dcc0ca9dfda565e
SHA256: 570d4cf920b5da2cefbdc063783e3d9967685d6ee7a2e16bdceec23a5cdecb2b

Size: 155,472 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_i386.deb)
SHA1: f47e10ba41eaa6212ff3ef2decd237df93c1fc4b
SHA256: 5720e3574160d26d6f8a3741b87e61dc4a4976f510654998723686923c8e19a7

Size: 16,795,136 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 63f299c240804b6b26e50d032ba3f0fb34f1d9de
SHA256: 6562a48ad98923f5f94d765031a80d0a1edab74210b291af147469d4f08cb91e

Size: 3,768,780 bytes

Other checksums

Submissions

noqfu7cc
Submitted
Sat, 4 Apr 2020 19:31:38 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1540066938"