agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 8 Jan 2020 23:54:41 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Thu, 6 Dec 2018 18:14:57 +0000
SHA1 of .buildinfo
d61cd18907d5e876d37a4948c2bf13c1c7fa3584

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 46e815a30edb79887c7b78b85706b4206c22339d
SHA256: 1945302fb3ac1994efc16d62fdbdf7337b737af33a2a0c974d3ae5c13785adb3

Size: 117,976 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 7c876f3ac98b985111011a3e6cad939ddaf5fb8b
SHA256: 37d1d2bd283280984e1363cdc884070133e6c37f2225837006ad1122c42f19d1

Size: 5,867,888 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: e342dfabea9745195664a445919ba78781bfcdbc
SHA256: 81e96efe3c4d7a93d41c1e1fdebef73dba6fc19ce66c157ee72cb3e93b2fab80

Size: 117,556 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 91bb60b36fedc2052ed0771aa89dd42fe582a0e4
SHA256: 9ca86e7672efd9f648e6d68502203e590418f55aaea4c854be05696afcd05446

Size: 155,300 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 8a174c2049b0aa0fde602f718f2c415a617a7d51
SHA256: 3b34dc307ba3fec30ec492c89f0675755f4d8fd604e1fd333acfc02a036350f7

Size: 17,168,184 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 8c937890d689462d937f919cb69c5ef235ecc15b
SHA256: 2bafed90ee69341a0e2a8b61dc7042d31253bf9d8d655603c3d98112a546ee23

Size: 3,789,788 bytes

Other checksums

Submissions

jqewvkam
Submitted
Thu, 6 Dec 2018 18:14:59 +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="1540066938"