From cee03ed9bdf3e8d084150a6b1825947053069efe Mon Sep 17 00:00:00 2001
From: Thomas Minier <tminier01@gmail.com>
Date: Fri, 2 Jun 2023 14:18:12 +0200
Subject: [PATCH] Update setup.py for v3.1 release

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 48aa4d9..ff3a37b 100644
--- a/setup.py
+++ b/setup.py
@@ -6,7 +6,7 @@
 import urllib.request
 import pybind11
 
-__rdflib_hdt_version__ = "3.0"
+__rdflib_hdt_version__ = "3.1"
 
 def download_hdt_and_unzip():
     print("Downloading HDT...")