agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 17 Mar 2021 12:17:25 +0000
Build-Path
/build/2/agda-2.6.0.1/2nd

First submitted
Thu, 13 Feb 2020 05:55:35 +0000
SHA1 of .buildinfo
6951275fa90b53618af6d45c5ce3e7e3bf8202a7

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 0ee80e8aa0298fb7d027dada07efa21fed670146
SHA256: 1e3119df8a615a9dcf8d5a5fadc9cf4c8c25e30cf2aac129ff6dc381b37c9d93

Size: 131,444 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 69ef35203505e9ca1d7c5f785029ca48df55958a
SHA256: 24cae7e3b71df2489d36aa258537c79eda743dfa03fca4256d57ed5884da627a

Size: 7,917,824 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 99c222b716d901e4cd1fa535a367a133422513ff
SHA256: d2740a8725a8dc665b43054746e37dcd1eabba004ed153168bd2baae09bcf388

Size: 131,036 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 2a2ff5aee461ae36245a15cba6a834565052845e
SHA256: e586f3007bc0ca227ebeb3abfc171d2310103092670a9752e7a0d71641a13ce5

Size: 168,592 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: c112f19862098f510054225af0d77bf9bc1a37dc
SHA256: 45c49a85177cca5c2627a9b9b63d59ea6600eeed29143e08b53278075226ea0c

Size: 23,338,272 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 732e66a0975d9ee0790c0d94e0fc4d099c763c8e
SHA256: 5b21362dcf701df0a4fa815e5c463ec67f6f86e5705edd607c52eee55d6cd0bd

Size: 4,342,852 bytes

Other checksums

Submissions

9uqkaafx
Submitted
Thu, 13 Feb 2020 05:55:35 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1567260153"