agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 30 Dec 2019 07:31:18 +0000
Build-Path
/build/1st/agda-2.6.0.1

First submitted
Mon, 30 Dec 2019 08:25:34 +0000
SHA1 of .buildinfo
9c218ddfca8994a3ceba8bf44731edb9ce8a822e

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: fc168d8db8a76bde138bb9856c2be2976d293f3d
SHA256: 937f86d60b32ed605f8d1fb3fce0356a0b9b3bcf671a262b3afdfd41a4a9922c

Size: 131,284 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: 5daf1da26349de3855c6c3e26011dec4b7ebee8d
SHA256: 804060ffdc9a97e26af8ee8f56e7776f807f2b38a4fe7055df1f3b3645fa8f6e

Size: 6,702,492 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 96bb4502307996d6cce462953358ac58e2dc3b0f
SHA256: b0563ab4e645e087b845d94e5f78bf6f4cad1b4cea54a644e1a218bbbc307bcf

Size: 130,868 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 57ee50e417c686f2a53823a1f3d8f343951370d2
SHA256: 2c2f0a855c60b9bac5ac9625920fb9dfd239c458fe224c05a00daedd17485dfa

Size: 168,432 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: 1e608b02733746f973355ef097f931070bb0149b
SHA256: cbff96a8f13fbef4395b16eaa12049a71b3a164e2c5dee70625e3a16a8b22261

Size: 19,833,912 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 628662dcfe210fd18a32478c5aafeee5ae902920
SHA256: afb0b760e9898bf31fd9258dab03e8ca09b9f69b13e67f987f04bef23a84b745

Size: 4,342,572 bytes

Other checksums

Submissions

utg9osep
Submitted
Mon, 30 Dec 2019 08:25:35 +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="1567260153"