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
Mon, 8 Nov 2021 11:34:44 +0000
Build-Path
/build/agda-2.6.1

First submitted
Mon, 8 Nov 2021 11:35:05 +0000
SHA1 of .buildinfo
f3c1287f97a8daeafb1af16f500e7cb25cc13ec2

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: c801bd44d585c75af46e93bab0c2d8ce284549cb
SHA256: 1089158e8e9fd2cd2a3de1b5185c86b853ee30b63b370168c4651a2a1114cee4

Size: 28,932 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 26dbcff5458804af33950e5902ccf97f0f10454b
SHA256: 8e1611383c6c3bc418fb3a548a56febfc7d4c2fdb1caf443ebe37ba5a1227a50

Size: 8,910,596 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 086909963257ffdf37646b578c20271d3a578dda
SHA256: 1bb8f176b2fe8da236e8739ecb686309c5fb88b531ad0b7939068995d517617c

Size: 67,040 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 5b8cf5759a9059d2d840f69c7ad75daf98736d92
SHA256: 55baeacac9cfb7c1fa05374d8b9516075ebbc17a3beebfaec4815acb67d954e2

Size: 37,936,100 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 2535ef8de9efdcd350b531dc74a5a64a8d532c84
SHA256: e28979f4f10536beaec9a21f634fdc08c42e9167b7e38eb080d41d54de28f191

Size: 5,913,288 bytes

Other checksums

Submissions

kdtdjxwb
Submitted
Mon, 8 Nov 2021 11:35:05 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"