From b33a5487fc107c2adf17c9683962a57aa2c8da33 Mon Sep 17 00:00:00 2001
From: Keith Marshall <keith@users.osdn.me>
Date: Sat, 29 Dec 2018 13:46:20 +0000
Subject: [PATCH] Correct ISL package references following relocation to
 OSDN.net

---
 ChangeLog               | 10 ++++++++++
 common/issue.log        |  2 +-
 mingw32/issue.log       |  4 ++--
 mingw32/mingw32-isl.xml | 12 ++++++------
 4 files changed, 19 insertions(+), 9 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index b675895..3249ea2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,15 @@
 2018-12-29  Keith Marshall  <keith@users.osdn.me>
 
+	Correct ISL package references following relocation to OSDN.net
+
+	* mingw32/mingw32-isl.xml (isl-dev, isl-doc, isl-lic)
+	(libisl-dll-15): Update release references to version 0.18-2; the
+	previous 0.18-1 release packages remain on SourceForge.net, but were
+	not relocated, and are thus inaccessible on the OSDN.net host.
+	* common/issue.log mingw32/issue.log: Update accordingly.
+
+2018-12-29  Keith Marshall  <keith@users.osdn.me>
+
 	Publish GCC-8.2.0 package set on OSDN.net
 
 	* mingw32/mingw32-gcc4.xml (download-host): Relocate to osdn.net
diff --git a/common/issue.log b/common/issue.log
index 2c18f23..bff7b43 100644
--- a/common/issue.log
+++ b/common/issue.log
@@ -23,6 +23,6 @@
 # MinGW Project, accept liability for any damages, however caused,
 # arising from the use of this software.
 #
-  c6a9068e183254c0b930ac6e1a70fd81743dc212 2018122900 package-list.xml
+  c6a9068e183254c0b930ac6e1a70fd81743dc212 2018122901 package-list.xml
 #
 # $RCSfile$: end of file
diff --git a/mingw32/issue.log b/mingw32/issue.log
index 002db8c..9cfd208 100644
--- a/mingw32/issue.log
+++ b/mingw32/issue.log
@@ -40,7 +40,7 @@
   14dd10ab97b27430bdb688f4e85993cd821f7a05 2012073100 mingw32-gendef.xml
   4646d328c5586fac8d11efa98334c0e4f9aac629 2018122800 mingw32-gettext.xml
   baa71c1c7546cc83cc6ed30a5b77e4cdbc449443 2018122800 mingw32-gmp.xml
-  78043cf88b63c84b8d40127cc6a4438c906b4795 2018122800 mingw32-isl.xml
+  5701d573ff000ba240d79338f8ac0b1768c29552 2018122900 mingw32-isl.xml
   99e3ac0d2c743b0d927a4d89a3153a975d2bdf87 2012073100 mingw32-libarchive.xml
   1c2147cc2b8175f077f78acee8cbee11cfb03dab 2018122800 mingw32-libiconv.xml
   ccc15973cdc9ff14c12e4385c3e692af1c18b29d 2012073100 mingw32-libtool.xml
@@ -51,7 +51,7 @@
   cd33ad74b608bce33ea297801253e6efbafce27c 2012073100 mingw32-mingw-utils.xml
   2d0fee36823579871e8d747ae4d4676da6071654 2018122800 mingw32-mpc.xml
   1b5e1e0c486dad8396884033777e13357365ad76 2018122800 mingw32-mpfr.xml
-  5c9570cce1ddd4fe275b83acbc06739a4361c26a 2018122900 mingw32-package-list.xml
+  5c9570cce1ddd4fe275b83acbc06739a4361c26a 2018122901 mingw32-package-list.xml
   1f15439ee5f66ec22321c7aa853559b6f8f7172f 2015090800 mingw32-pexports.xml
   cdb2a4dbedfc9f2cdfc92340f6f9b12da061c0d9 2012073100 mingw32-popt.xml
   6032af6ff68aa4821cf51938781fd9e75f05de5f 2016082200 mingw32-pthreads-w32.xml
diff --git a/mingw32/mingw32-isl.xml b/mingw32/mingw32-isl.xml
index 1ae4c77..f6b5959 100644
--- a/mingw32/mingw32-isl.xml
+++ b/mingw32/mingw32-isl.xml
@@ -27,17 +27,17 @@
       <licence tarname="isl-%-mingw32-lic.tar.%" />
 
       <component class="dev">
-        <release tarname="isl-0.18-1-mingw32-dev.tar.xz" />
+        <release tarname="isl-0.18-2-mingw32-dev.tar.xz" />
         <requires eq="libisl-%-mingw32-dll-15.tar" />
         <requires ge="gmp-*-mingw32-dev.tar" />
       </component>
 
       <component class="doc">
-        <release tarname="isl-0.18-1-mingw32-doc.tar.xz" />
+        <release tarname="isl-0.18-2-mingw32-doc.tar.xz" />
       </component>
 
       <component class="lic">
-        <release tarname="isl-0.18-1-mingw32-lic.tar.xz" />
+        <release tarname="isl-0.18-2-mingw32-lic.tar.xz" />
       </component>
     </package>
 
@@ -60,7 +60,7 @@
       <licence tarname="isl-%-mingw32-lic.tar.%" />
 
       <component class="dll">
-        <release tarname="libisl-0.18-1-mingw32-dll-15.tar.xz" />
+        <release tarname="libisl-0.18-2-mingw32-dll-15.tar.xz" />
         <requires eq="mingw32-libgmp-*-mingw32-dll-10.tar" />
         <requires eq="mingw32-libgcc-*-mingw32-dll-1.tar" />
       </component>
@@ -69,5 +69,5 @@
   </package-collection>
 </software-distribution>
 
-<!-- vim: set textwidth=80 tabstop=2 shiftwidth=2 expandtab: -->
-<!-- vim: set fileformat=unix nocompatible: -->
+<!-- vim: set nocompatible showcmd expandtab tabstop=2 shiftwidth=2: -->
+<!-- vim: set fileformat=unix textwidth=80: -->
-- 
2.11.0