Source
mlton
Version
20130715-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 11 Feb 2018 19:27:24 +0000
Build-Path
/build/mlton-20130715/2nd

First submitted
Mon, 12 Feb 2018 07:29:27 +0000
SHA1 of .buildinfo
4b7fcb2e5ec7b5a9838695629c34f6489380a5f7

Binaries

mlton (mlton_20130715-3_all.deb)
SHA1: e19e06b32f1fd409029df9eb1d9b910905b5228f
SHA256: b0703d678aa45c961b3f71d42e2c72858e4606184eaaf7d280326728e283fba3

Size: 41,980 bytes
mlton-basis (mlton-basis_20130715-3_all.deb)
SHA1: e5a188ae5a7a9523b8a423040f3488941e244481
SHA256: 0493b1bbe0ebb8260092a9f135473f2e411b611b7cbb7c2656d045d7a74fcbcd

Size: 1,527,852 bytes
mlton-compiler (mlton-compiler_20130715-3_armhf.deb)
SHA1: 3c396fe508d970d6208617b0c3b7e4909a1c168a
SHA256: 67460b75933865d27456b94ad76fed69dcee55e968659832a59310d03ec85b1a

Size: 3,955,972 bytes
mlton-doc (mlton-doc_20130715-3_all.deb)
SHA1: c12940b12697ea2439822b9eb3c860fd899c37d9
SHA256: 2b507674e4b458c50d04315718f5f6a3c85610c5591daabdf077fedcbcab478c

Size: 10,078,464 bytes
mlton-runtime-arm-linux-gnueabihf (mlton-runtime-arm-linux-gnueabihf_20130715-3_armhf.deb)
SHA1: 88c6717ad0951fcacc2db3a329fefb2883141c29
SHA256: 3932ffa44efbd0dd79346b13df4420f7059e23a8d06997c614a6b1a487249461

Size: 202,508 bytes
mlton-runtime-native (mlton-runtime-native_20130715-3_armhf.deb)
SHA1: 24c172c17e7922c65e46fc6339da8856183f4eac
SHA256: 52b82f46ec05786707e2c7b287ed77102ff1e0f306346efd81f28b09908661e1

Size: 41,204 bytes
mlton-tools (mlton-tools_20130715-3_armhf.deb)
SHA1: f4795501848bce4cd9000b976032cf4fc9f47f21
SHA256: 26515476ddf22e1b2468d7bf15160c64371ac7b75f832814b6a6ffbe7d35d814

Size: 1,291,896 bytes

Other checksums

Submissions

Submitted
Mon, 12 Feb 2018 07:29:28 +0000
Signed by
0x0F806CEEB6CD263E odxu4c-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="mlton_20130715-3=/build/mlton-20130715/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482097697"