alkman has been decommissioned for a lot of time already

[mirror/dsa-puppet.git] / modules / debian-org / misc / local.yaml

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 7ca1b9b..405a568 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -59,7 +59,6 @@ nameinfo:
   lotti.debian.org: Antonio Lotti (ca. 1667 - January 5th, 1740)
   lully.debian.org: Jean-Baptiste de Lully (November 28th, 1632 - March 22nd, 1687)
   mailly.debian.org: Alphonse Jean Ernest Mailly (November 27th, 1833 - January 10th, 1918)
-  mayr.debian.org: Johann(es) Simon Mayr (June 14th, 1763 - December 2nd, 1845)
   menotti.debian.org: Gian Carlo Menotti (July 7th, 1911 - February 1st, 2007)
   manziarly.debian.org: Marcelle de Manziarly (October 1st/13th, 1899 -  May 12th, 1989)
   mekeel.debian.org: Joyce Mekeel (July 6th, 1931 - Dec 29th, 1997)
@@ -185,7 +184,6 @@ host_settings:
     - smetana.debian.org
     - zelenka.debian.org
     # buildd
-    - alkman.debian.org
     - antheil.debian.org
     - arm-arm-01.debian.org
     - arm-arm-02.debian.org
@@ -206,7 +204,6 @@ host_settings:
     - henze.debian.org
     - hoiby.debian.org
     - lucatelli.debian.org
-    - mayr.debian.org
     - mips-aql-01.debian.org
     - mips-aql-02.debian.org
     - mips-aql-04.debian.org
@@ -222,7 +219,7 @@ host_settings:
     - mundy.debian.org
     - porpora.debian.org
     - poulenc.debian.org
-    - powerpc-ousosl-01.debian.org
+    - powerpc-osuosl-01.debian.org
     - powerpc-unicamp-01.debian.org
     - ppc64el-osuosl-01.debian.org
     - ppc64el-unicamp-01.debian.org