agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 28 Feb 2021 17:03:53 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Mon, 27 Jan 2020 12:17:34 +0000
SHA1 of .buildinfo
11da90a392fda9bf5f67c44144ac9a445d9f1c85

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 00c88633ba9ff2aa9c4709f4bc35c766bccaca28
SHA256: 88ec48f34de72350a8133a7722797f5beff34466ac26dd713c9943e859d15882

Size: 131,244 bytes
agda-bin (agda-bin_2.6.0.1-1_i386.deb)
SHA1: 7ab79d1cb7506e8eed338720cfa63a59b8f109dc
SHA256: 11822d696d9e0e67389c2e0c67fb8fa0a857d156bee0ee49526d1092c3f43f8c

Size: 6,769,036 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: bafe173bb4140ab05510e7989846ee8139dd4d32
SHA256: 97adf155e67fe4a822b1448214ac361a56466a35cf249cbffee33e59d8bb5b32

Size: 130,828 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 360fdc2afb5e9f43ee2efcf9b938f41f825e5335
SHA256: f5d123a847a57bea5b4504c721d84efbae6daa5be3146bead859486a38000dec

Size: 168,408 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_i386.deb)
SHA1: 5df3fc8337fcecdd42fa450c1bc0994af33ad42e
SHA256: 864afd83299cce9b0df8735e9d63c7f9ace35d9c26efdb63bb326b6f94335d51

Size: 19,521,488 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 4dfa1edbf37535c6f634ef40805938ef2e39464d
SHA256: b89ccea759f894dde5ad396fc79c0fbf325ee93b7a8d9d203f41f281912043c8

Size: 4,321,040 bytes

Other checksums

Submissions

as4xb97d
Submitted
Mon, 27 Jan 2020 12:17:34 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1567260153"