• R/O
  • HTTP
  • SSH
  • HTTPS

mingw-dist: Commit

XML catalogue of packages which are available for installation, using the mingw-get installer.


Commit MetaInfo

Révision0290431004d27069a62a4eefee37fe68136ffd27 (tree)
l'heure2020-03-06 08:58:57
AuteurKeith Marshall <keith@user...>
CommiterKeith Marshall

Message de Log

Update ISL package set to version 0.21

Change Summary

Modification

--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,14 @@
11 2020-03-05 Keith Marshall <keith@users.osdn.me>
22
3+ Update ISL package set to version 0.21
4+
5+ * mingw32/mingw32-isl.xml (isl-dev): Add release reference; specify
6+ explicit LIBISL.DLL version dependencies for individual ISL releases.
7+ (isl-doc, isl-lic, libisl-dll): Add release references.
8+ * common/issue.log mingw32/issue.log: Update accordingly.
9+
10+2020-03-05 Keith Marshall <keith@users.osdn.me>
11+
312 Update MPC package set to version 1.1.0
413
514 * mingw32/mingw32-mpc.xml (mpc-dev): Add release reference; specify
--- a/common/issue.log
+++ b/common/issue.log
@@ -23,6 +23,6 @@
2323 # MinGW Project, accept liability for any damages, however caused,
2424 # arising from the use of this software.
2525 #
26- c6a9068e183254c0b930ac6e1a70fd81743dc212 2020030502 package-list.xml
26+ c6a9068e183254c0b930ac6e1a70fd81743dc212 2020030503 package-list.xml
2727 #
2828 # $RCSfile$: end of file
--- a/mingw32/issue.log
+++ b/mingw32/issue.log
@@ -40,7 +40,7 @@
4040 14dd10ab97b27430bdb688f4e85993cd821f7a05 2012073100 mingw32-gendef.xml
4141 4646d328c5586fac8d11efa98334c0e4f9aac629 2018122800 mingw32-gettext.xml
4242 baa71c1c7546cc83cc6ed30a5b77e4cdbc449443 2018122800 mingw32-gmp.xml
43- 5701d573ff000ba240d79338f8ac0b1768c29552 2018122900 mingw32-isl.xml
43+ 91c11187941b0690c1a46c7ae160f8d352bfc332 2020030500 mingw32-isl.xml
4444 99e3ac0d2c743b0d927a4d89a3153a975d2bdf87 2012073100 mingw32-libarchive.xml
4545 1c2147cc2b8175f077f78acee8cbee11cfb03dab 2018122800 mingw32-libiconv.xml
4646 ccc15973cdc9ff14c12e4385c3e692af1c18b29d 2012073100 mingw32-libtool.xml
@@ -51,7 +51,7 @@
5151 cd33ad74b608bce33ea297801253e6efbafce27c 2012073100 mingw32-mingw-utils.xml
5252 a3afe3d47e212a58f7d854d8badbc28db851aa34 2020030500 mingw32-mpc.xml
5353 21f6c9d72c41d551cb3c6310146c23414bd601c1 2020030500 mingw32-mpfr.xml
54- 5c9570cce1ddd4fe275b83acbc06739a4361c26a 2020030502 mingw32-package-list.xml
54+ 5c9570cce1ddd4fe275b83acbc06739a4361c26a 2020030503 mingw32-package-list.xml
5555 0b8b7868e93c4fbaab57da8ca1fcb7700905fa92 2020013100 mingw32-pexports.xml
5656 cdb2a4dbedfc9f2cdfc92340f6f9b12da061c0d9 2012073100 mingw32-popt.xml
5757 6032af6ff68aa4821cf51938781fd9e75f05de5f 2016082200 mingw32-pthreads-w32.xml
--- a/mingw32/mingw32-isl.xml
+++ b/mingw32/mingw32-isl.xml
@@ -27,16 +27,22 @@
2727 <licence tarname="isl-%-mingw32-lic.tar.%" />
2828
2929 <component class="dev">
30- <release tarname="isl-0.18-2-mingw32-dev.tar.xz" />
31- <requires eq="libisl-%-mingw32-dll-15.tar" />
30+ <release tarname="isl-0.21-2-mingw32-dev.tar.xz">
31+ <requires eq="libisl-%-mingw32-dll-21.tar" />
32+ </release>
33+ <release tarname="isl-0.18-2-mingw32-dev.tar.xz">
34+ <requires eq="libisl-%-mingw32-dll-15.tar" />
35+ </release>
3236 <requires ge="gmp-*-mingw32-dev.tar" />
3337 </component>
3438
3539 <component class="doc">
40+ <release tarname="isl-0.21-2-mingw32-doc.tar.xz" />
3641 <release tarname="isl-0.18-2-mingw32-doc.tar.xz" />
3742 </component>
3843
3944 <component class="lic">
45+ <release tarname="isl-0.21-2-mingw32-lic.tar.xz" />
4046 <release tarname="isl-0.18-2-mingw32-lic.tar.xz" />
4147 </component>
4248 </package>
@@ -60,6 +66,7 @@
6066 <licence tarname="isl-%-mingw32-lic.tar.%" />
6167
6268 <component class="dll">
69+ <release tarname="libisl-0.21-2-mingw32-dll-21.tar.xz" />
6370 <release tarname="libisl-0.18-2-mingw32-dll-15.tar.xz" />
6471 <requires eq="mingw32-libgmp-*-mingw32-dll-10.tar" />
6572 <requires eq="mingw32-libgcc-*-mingw32-dll-1.tar" />
Afficher sur ancien navigateur de dépôt.