diff --git a/comps-f29.xml.in b/comps-f29.xml.in index 82532b2e..f416e8fc 100644 --- a/comps-f29.xml.in +++ b/comps-f29.xml.in @@ -1625,7 +1625,6 @@ gappalib-coq gdl genius - genus2reduction geomview gfan ginac