diff options
author | 2018-09-26 04:47:03 (GMT) | |
---|---|---|
committer | 2018-09-26 04:47:03 (GMT) | |
commit | 49520dbf6d55640974f89becae00fe142f5b9c21 (patch) | |
tree | 7c114a60de71b641443f219c28ddbb1bf2b32fa5 /packages/isl/package.desc | |
parent | eb65ba65ba761f2ff613342498fd58fcefdc606e (diff) | |
parent | 581e8a514bf7e7c3fb7df219dca55fae5de044c0 (diff) |
Merge pull request #1032 from stilor/updates
Update packages
Diffstat (limited to 'packages/isl/package.desc')
-rw-r--r-- | packages/isl/package.desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/isl/package.desc b/packages/isl/package.desc index 727bd30..3e1e9ca 100644 --- a/packages/isl/package.desc +++ b/packages/isl/package.desc @@ -1,5 +1,5 @@ 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' +milestones='0.12 0.13 0.14 0.15 0.18' archive_formats='.tar.xz .tar.bz2 .tar.gz' |