diff options
Diffstat (limited to 'appendices')
| -rw-r--r-- | appendices/dependencies.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/appendices/dependencies.xml b/appendices/dependencies.xml index 552d72da4..a233a86d8 100644 --- a/appendices/dependencies.xml +++ b/appendices/dependencies.xml @@ -861,9 +861,9 @@ <segtitle>&external;</segtitle> <seglistitem> - <seg><ulink url="http://gcc.gnu.org/wiki/Graphite">CLooG-PPL</ulink>, - <ulink url="http://gcc.gnu.org/wiki/GNAT">GNAT</ulink>, and - <ulink url="http://gcc.gnu.org/wiki/Graphite">PPL</ulink></seg> + <seg><ulink url="http://gcc.gnu.org/wiki/GNAT">GNAT</ulink> and + <ulink url="https://repo.or.cz/isl.git">ISL</ulink> + </seg> </seglistitem> </segmentedlist> |