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
Thu, 6 Feb 2020 08:34:26 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Thu, 6 Feb 2020 09:00:35 +0000
SHA1 of .buildinfo
3d6087d4f53f76459e724a1dab4f0d0ebb938074

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 40f6f56a73eb77931f747aa91da37967a73a7c0c
SHA256: 5b2116a82ac28b53db17320611537d3f45b741d40231776528a1ab76d3b5e169

Size: 117,952 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 9b265e62be19dd41ee23180071207dffb9c0d986
SHA256: 1597f476168d16b490c61751e0b504f4d7556a8c623f1a17520e1f66bc96d8a4

Size: 5,868,320 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 2f7c578da91306a52311f7dd02da09a26094df9b
SHA256: aece72906ea31428afd50dec1a059095b4fe65cb31cc40503186d6d8bc4e0efc

Size: 117,532 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 2ac13254019b12a2f2c0982b1c2a41ec7e63db67
SHA256: ac8308a7fab4ce83cc9a383445e1e73d483937229a1902bfef13b406c2b7617b

Size: 155,468 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: e35756afae098bfdf281084d57ded37c85eb899a
SHA256: cb2b4f10bb9bbaa245f1206b5cbcd2c357a8b31d673875004935dbc4f6255feb

Size: 17,170,120 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: aa0e11f2e0d1554ef921c272d038dc8626dd543a
SHA256: 46d1d5b0b1520ea277fbeb43a1627bc1bac084527ea7979c9a02e5b588635137

Size: 3,789,784 bytes

Other checksums

Submissions

ue9bwrfa
Submitted
Thu, 6 Feb 2020 09:00:36 +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="1540066938"