diff --git a/comps-f38.xml.in b/comps-f38.xml.in index 016bf734..4d427e51 100644 --- a/comps-f38.xml.in +++ b/comps-f38.xml.in @@ -1336,8 +1336,6 @@ alt-ergo alt-ergo-gui atlas - automaton - automaton-javadoc azove blas bliss