summaryrefslogtreecommitdiff
path: root/packages/isl
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-08-19 05:39:26 (GMT)
committerAlexey Neyman <stilor@att.net>2017-08-19 05:39:26 (GMT)
commitbe399f1046874daa40b15cbb7d74e715ae3714e6 (patch)
tree4fa20bf4d5027571c5e483e04a644a4bc7091d2c /packages/isl
parent321990916bd5180b11c598279680794ce9b044e3 (diff)
Record tarball formats
Also, missed upgrades of gmp, isl, mingw-w64 Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'packages/isl')
-rw-r--r--packages/isl/0.11.1/version.desc1
-rw-r--r--packages/isl/0.11.2/version.desc2
-rw-r--r--packages/isl/0.12.2/version.desc1
-rw-r--r--packages/isl/0.14.1/version.desc (renamed from packages/isl/0.14/version.desc)0
-rw-r--r--packages/isl/package.desc1
5 files changed, 4 insertions, 1 deletions
diff --git a/packages/isl/0.11.1/version.desc b/packages/isl/0.11.1/version.desc
deleted file mode 100644
index fcfe389..0000000
--- a/packages/isl/0.11.1/version.desc
+++ /dev/null
@@ -1 +0,0 @@
-obsolete='yes'
diff --git a/packages/isl/0.11.2/version.desc b/packages/isl/0.11.2/version.desc
new file mode 100644
index 0000000..f96c492
--- /dev/null
+++ b/packages/isl/0.11.2/version.desc
@@ -0,0 +1,2 @@
+obsolete='yes'
+archive_formats='.tar.lzma .tar.bz2 .tar.gz'
diff --git a/packages/isl/0.12.2/version.desc b/packages/isl/0.12.2/version.desc
index fcfe389..f96c492 100644
--- a/packages/isl/0.12.2/version.desc
+++ b/packages/isl/0.12.2/version.desc
@@ -1 +1,2 @@
obsolete='yes'
+archive_formats='.tar.lzma .tar.bz2 .tar.gz'
diff --git a/packages/isl/0.14/version.desc b/packages/isl/0.14.1/version.desc
index fcfe389..fcfe389 100644
--- a/packages/isl/0.14/version.desc
+++ b/packages/isl/0.14.1/version.desc
diff --git a/packages/isl/package.desc b/packages/isl/package.desc
index 1efde40..727bd30 100644
--- a/packages/isl/package.desc
+++ b/packages/isl/package.desc
@@ -2,3 +2,4 @@ repository='git git://repo.or.cz/isl.git'
bootstrap='./autogen.sh'
mirrors='http://isl.gforge.inria.fr'
milestones='0.12 0.13 0.14 0.15'
+archive_formats='.tar.xz .tar.bz2 .tar.gz'