From e91ffa3d992dcc9c14f1c9a4c48b902206665b2a Mon Sep 17 00:00:00 2001
From: Leino <leino@amazon.com>
Date: Mon, 8 Jan 2018 17:36:49 -0800
Subject: [PATCH] Record in package.py how to use a specific Z3 release.

---
 package.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/package.py b/package.py
index d3623f94603..da2e741d02f 100755
--- a/package.py
+++ b/package.py
@@ -15,7 +15,10 @@
 # Configuration
 
 ## Where do we fetch the list of releases from?
-RELEASES_URL = "https://api.github.com/repos/Z3Prover/z3/releases/latest"
+## Get the latest release like this:
+## RELEASES_URL = "https://api.github.com/repos/Z3Prover/z3/releases/latest"
+## Get a specific release like this:
+RELEASES_URL = "https://api.github.com/repos/Z3Prover/z3/releases/tags/z3-4.5.0"
 ## How do we extract info from the name of a release file?
 RELEASE_REGEXP = re.compile(r"^(?P<directory>z3-[0-9\.]+-(?P<platform>x86|x64)-(?P<os>[a-z0-9\.\-]+)).zip$", re.IGNORECASE)