diff --git a/comps-f13.xml.in b/comps-f13.xml.in
index d2c2aaa3..f81d24a6 100644
--- a/comps-f13.xml.in
+++ b/comps-f13.xml.in
@@ -1474,7 +1474,7 @@
gds2pov
geda-gaf
gerbv
- ghc-chalmers-lava2000
+ ghc-chalmers-lava2000-devel
ghdl
gnucap
gnuradio
diff --git a/comps-f14.xml.in b/comps-f14.xml.in
index 680eb8a6..05f945d6 100644
--- a/comps-f14.xml.in
+++ b/comps-f14.xml.in
@@ -1532,7 +1532,7 @@
gds2pov
geda-gaf
gerbv
- ghc-chalmers-lava2000
+ ghc-chalmers-lava2000-devel
ghdl
gnucap
gnuradio