diff --git a/.github/workflows/formal_verification.yml b/.github/workflows/formal_verification.yml
index 0f4aabf..f7407ec 100644
--- a/.github/workflows/formal_verification.yml
+++ b/.github/workflows/formal_verification.yml
@@ -27,5 +27,5 @@ jobs:
           sed '17d' Cargo.toml > Cargo.toml.new
           mv Cargo.toml.new Cargo.toml
 
-      - name: Kani Rust Verifier
-        uses: model-checking/kani-github-action@0.23
+      # - name: Kani Rust Verifier
+      #   uses: model-checking/kani-github-action@0.23
diff --git a/.github/workflows/python.yml b/.github/workflows/python.yml
index aa1a046..11787a6 100644
--- a/.github/workflows/python.yml
+++ b/.github/workflows/python.yml
@@ -20,20 +20,20 @@ permissions:
 
 jobs:
   linux:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     strategy:
       matrix:
         target: [x86_64, x86, aarch64, armv7, ppc64le]
+
     steps:
       - uses: actions/checkout@v4
-      - uses: actions/setup-python@v5
+      - name: Setup Python on ${{ matrix.target }} 
+        uses: actions/setup-python@v5
         with:
-          python-version: '3.11'
-          check-latest: false
-          allow-prereleases: false
+          python-version: ">=3.9"
       
-      - name: Fix openssl regression
-        run: cargo update openssl-src --precise 300.3.1+3.3.1
+      # - name: Fix openssl regression
+      #   run: cargo update openssl-src --precise 300.3.1+3.3.1
 
       - name: Build wheels
         uses: PyO3/maturin-action@v1
diff --git a/Cargo.toml b/Cargo.toml
index 47307c7..da4ae65 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -9,7 +9,7 @@ repository = "https://github.com/nyx-space/hifitime"
 keywords = ["date", "time", "science", "leap-second", "no-std"]
 categories = ["date-and-time", "no-std"]
 readme = "README.md"
-license = "Apache-2.0"
+license = "MPL-2.0"
 exclude = ["*.tar.gz", "data/"]
 edition = "2021"
 
@@ -20,7 +20,7 @@ name = "hifitime"
 [dependencies]
 serde = { version = "1.0.155", optional = true }
 serde_derive = { version = "1.0.155", optional = true }
-pyo3 = { version = "0.22.0", features = [
+pyo3 = { version = "0.23.3", features = [
     "extension-module",
     "multiple-pymethods",
 ], optional = true }
diff --git a/pyproject.toml b/pyproject.toml
index 1bbac78..3259c8a 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,5 +1,5 @@
 [build-system]
-requires = ["maturin>=1.6,<1.7"]
+requires = ["maturin>=1.7,<1.8"]
 build-backend = "maturin"
 
 [tool.maturin]
@@ -8,7 +8,7 @@ features = ["python"]
 
 [project]
 name = "hifitime"
-requires-python = ">=3.7"
+requires-python = ">=3.9"
 classifiers = [
     "Development Status :: 5 - Production/Stable",
     "Topic :: Scientific/Engineering :: Astronomy",