diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-07 15:20:50 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-07 19:30:36 +0100 |
| commit | 4e23d65056fff3953404693a83f090cb54e02600 (patch) | |
| tree | a43d10211e0f1c27ac6b6ecc58accdcc64a5dac1 /gnu/packages/agda.scm | |
| parent | 8c0dcf3e89e0eb2a6094263efdbc5eaec0e8e9e8 (diff) | |
gnu: Add mes-rb5.
This
guix build --system=i686-linux mes-dcc
creates the Reproducible-Builds summit 5's GNU Mes build with sha266sum
9e0bcb1633c58e7bc415f6ea27cee7951d6b0658e13cdc147e992b31a14625fb
that was also built for Debian GNU/Linux and NixOS, with a bit-for-bit
identical result.
* gnu/packages/mes.scm (mes-ddc): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions