agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 19 May 2023 07:21:38 +0000
Build-Path
/build/agda-2.6.1

First submitted
Sat, 16 Apr 2022 00:59:03 +0000
SHA1 of .buildinfo
d1ef76bedf9ca59f8a91e66f4399065997880218

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 08200fadc0f1e0183e07f77eceee7dcadbfdfb68
SHA256: 640eb5133fbda835f2491e55585674c5cc36fc58a893910e007f33ef5afe852e

Size: 29,076 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 2f4a764a3b6603eac37221e4a02294ad85a59665
SHA256: 97b9289d735db1f48e2fc8e31dcee0e40a7bca7c2f344c793d7e4d3602fb5ecd

Size: 10,368,120 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: ea1ce079772ac73f0b46b94f38b5dea79ee053a3
SHA256: 960286878729f6b14626803ed2c95eadb62d65bbca3a16dd9360861635eb928d

Size: 67,200 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: afa7ad1469f0962f22aaed106c2414bbc6e1afa5
SHA256: 443548954acefc30b8928e55664bb137eff725046629fd9ee9dcc05a4bde4e31

Size: 44,807,444 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: ec2ca36690d4d9c64e0d9d3d14c6f3a761ad7fa1
SHA256: 1fd5dac37dc4b85e2e69a344d16439b5ff2780cf241498a3db19efc3bd4e398c

Size: 5,914,592 bytes

Other checksums

Submissions

bpkb9zce
Submitted
Sat, 16 Apr 2022 00:59:03 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"