diff --git a/index/gn/gnatdoc/gnatdoc-25.0.0.toml b/index/gn/gnatdoc/gnatdoc-25.0.0.toml index 049acb8d..5a3bf27c 100644 --- a/index/gn/gnatdoc/gnatdoc-25.0.0.toml +++ b/index/gn/gnatdoc/gnatdoc-25.0.0.toml @@ -20,6 +20,8 @@ vss = "^25" libgpr2 = "^25" libadalang = "^25" markdown = "^25" +# crashes with GNAT FSF >=15 +gnat = "<15" [origin] url="https://github.com/adacore/gnatdoc/archive/v25.0.0/gnatdoc-25.0.0.zip" diff --git a/index/gn/gnatdoc/gnatdoc-25.2.0.toml b/index/gn/gnatdoc/gnatdoc-25.2.0.toml index fb3b8093..b0c0cd51 100644 --- a/index/gn/gnatdoc/gnatdoc-25.2.0.toml +++ b/index/gn/gnatdoc/gnatdoc-25.2.0.toml @@ -20,6 +20,8 @@ vss = "^25" libgpr2 = "^25" libadalang = "^25" markdown = "^25" +# crashes with GNAT FSF >=15 +gnat = "<15" [origin] url="https://github.com/adacore/gnatdoc/archive/v25.2.0/gnatdoc-25.2.0.zip"