Author: Balint Reczey <balint@balintreczey.hu>
Description: add support for hardened1-linux-amd64
Debian-bug: 812786
Upstream-commit: 21fe9e264454323c3fe917bbbe95da5d6adf777b

--- a/deb/architecture.ml
+++ b/deb/architecture.ml
@@ -52,6 +52,7 @@
   (("gnuabi64","linux","mips64"),    "mips64");             (* line 15 *)
   (("gnuspe","linux","powerpc"),     "powerpcspe");
   (("gnux32","linux","amd64"),       "x32");
+  (("gnuhardened1","linux","<cpu>"), "hardened1-linux-<cpu>");
   (("gnu","linux","<cpu>"),          "<cpu>");
   (("gnu","kfreebsd","<cpu>"),       "kfreebsd-<cpu>");
   (("gnu","knetbsd","<cpu>"),        "knetbsd-<cpu>");      (* line 20 *)
