From e79a2276173d6e6b3b441953886e9f9a97072f80 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 8 Mar 2022 14:29:49 +0100 Subject: [PATCH] fix typo reported by Arnout Engelen --- Projects/Reproducible_builds | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds index bd76867..652ec4a 100644 --- a/Projects/Reproducible_builds +++ b/Projects/Reproducible_builds @@ -2,7 +2,7 @@ title: Robur Reproducible Builds --- -In 2021 we in [Robur](https://robur.coop/) have been working towards easing deployment of reproducible mirage applications. The work has been funded by the Eurepean Union under the [Next Generation Internet (NGI Pointer) initiative](https://pointer.ngi.eu/). The result is [online](https://builds.robur.coop). +In 2021 we in [Robur](https://robur.coop/) have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the [Next Generation Internet (NGI Pointer) initiative](https://pointer.ngi.eu/). The result is [online](https://builds.robur.coop). The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for [Opam](https://opam.ocaml.org) packages and [MirageOS](https://mirageos.org) - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.