diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7b66300..dfd4dc6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,7 +68,3 @@ jobs:
         with:
           files: lcov.info
           token: ${{ secrets.CODECOV_TOKEN }}
-      - uses: coverallsapp/github-action@v2
-        with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          path-to-lcov: lcov.info
diff --git a/HISTORY.md b/HISTORY.md
new file mode 100644
index 0000000..48245ea
--- /dev/null
+++ b/HISTORY.md
@@ -0,0 +1,8 @@
+# 0.8.0
+
+## Breaking changes
+
+Dropped the `Requires` dependency.
+The Libtask extension now loads only through native package extensions, so Julia 1.10 or later is required (already the minimum).
+
+Raised compat lower bounds: `AbstractMCMC` to 5, `Distributions` to 0.25, and `StatsFuns` to 1 (now also allowing 2).
diff --git a/Project.toml b/Project.toml
index 28a5155..60dc176 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,14 +1,13 @@
 name = "AdvancedPS"
 uuid = "576499cb-2369-40b2-a588-c64705576edc"
 authors = ["TuringLang"]
-version = "0.7.2"
+version = "0.8.0"
 
 [deps]
 AbstractMCMC = "80f14c24-f653-4e6a-9b94-39d6b0f70001"
 Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Random123 = "74087812-796a-5b5d-8853-05524746bad3"
-Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 SSMProblems = "26aad666-b158-4e64-9d35-0e672562fa48"
 StatsFuns = "4c63d2b9-4356-54db-8cca-17b64c39e42c"
 
@@ -19,13 +18,12 @@ Libtask = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 AdvancedPSLibtaskExt = "Libtask"
 
 [compat]
-AbstractMCMC = "2, 3, 4, 5"
-Distributions = "0.23, 0.24, 0.25"
+AbstractMCMC = "5"
+Distributions = "0.25"
 Libtask = "0.9.2"
 Random = "<0.0.1, 1"
 Random123 = "1.3"
-Requires = "1.0"
-StatsFuns = "0.9, 1"
+StatsFuns = "1, 2.2"
 SSMProblems = "0.6"
 julia = "1.10.8"
 
diff --git a/docs/Project.toml b/docs/Project.toml
index 3454b6e..476a3a4 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -2,3 +2,8 @@
 AdvancedPS = "576499cb-2369-40b2-a588-c64705576edc"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
+
+[compat]
+AdvancedPS = "0.8.0"
+Documenter = "1.17.0"
+Literate = "2.21.0"
diff --git a/docs/make.jl b/docs/make.jl
index d5e40fc..7367501 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -11,7 +11,7 @@ mkpath(EXAMPLES_OUT)
 # Workaround for https://github.com/JuliaLang/Pkg.jl/issues/2219
 examples = filter!(isdir, readdir(joinpath(@__DIR__, "..", "examples"); join=true))
 above = joinpath(@__DIR__, "..")
-let script = "using Pkg; Pkg.activate(ARGS[1]); Pkg.instantiate(); Pkg.develop(path=\"$(above)\");"
+let script = "using Pkg; Pkg.activate(ARGS[1]); Pkg.develop(path=\"$(above)\"); Pkg.instantiate();"
     for example in examples
         if !success(`$(Base.julia_cmd()) -e $script $example`)
             error(
diff --git a/examples/gaussian-process/Project.toml b/examples/gaussian-process/Project.toml
index 9a45895..9d74914 100644
--- a/examples/gaussian-process/Project.toml
+++ b/examples/gaussian-process/Project.toml
@@ -6,3 +6,12 @@ Libtask = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 SSMProblems = "26aad666-b158-4e64-9d35-0e672562fa48"
+
+[compat]
+AbstractGPs = "0.5.24"
+AdvancedPS = "0.8.0"
+Distributions = "0.25.127"
+Libtask = "0.9.18"
+Literate = "2.21.0"
+Plots = "1.41.6"
+SSMProblems = "0.6.1"
diff --git a/examples/gaussian-ssm/Project.toml b/examples/gaussian-ssm/Project.toml
index e87cc36..3eb88ad 100644
--- a/examples/gaussian-ssm/Project.toml
+++ b/examples/gaussian-ssm/Project.toml
@@ -7,3 +7,13 @@ Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 SSMProblems = "26aad666-b158-4e64-9d35-0e672562fa48"
 StatsFuns = "4c63d2b9-4356-54db-8cca-17b64c39e42c"
+
+[compat]
+AbstractMCMC = "5.15.1"
+AdvancedPS = "0.8.0"
+Distributions = "0.25.127"
+Libtask = "0.9.18"
+Literate = "2.21.0"
+Plots = "1.41.6"
+SSMProblems = "0.6.1"
+StatsFuns = "2.2.0"
diff --git a/examples/levy-ssm/Project.toml b/examples/levy-ssm/Project.toml
index 572ec48..44cc495 100644
--- a/examples/levy-ssm/Project.toml
+++ b/examples/levy-ssm/Project.toml
@@ -5,3 +5,11 @@ Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 SSMProblems = "26aad666-b158-4e64-9d35-0e672562fa48"
+
+[compat]
+AbstractMCMC = "5.15.1"
+AdvancedPS = "0.8.0"
+Distributions = "0.25.127"
+Literate = "2.21.0"
+Plots = "1.41.6"
+SSMProblems = "0.6.1"
diff --git a/examples/particle-gibbs/Project.toml b/examples/particle-gibbs/Project.toml
index 6fa1fbb..f3ab4c8 100644
--- a/examples/particle-gibbs/Project.toml
+++ b/examples/particle-gibbs/Project.toml
@@ -9,3 +9,14 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Random123 = "74087812-796a-5b5d-8853-05524746bad3"
 SSMProblems = "26aad666-b158-4e64-9d35-0e672562fa48"
 StatsFuns = "4c63d2b9-4356-54db-8cca-17b64c39e42c"
+
+[compat]
+AbstractMCMC = "5.15.1"
+AdvancedPS = "0.8.0"
+Distributions = "0.25.127"
+Libtask = "0.9.18"
+Literate = "2.21.0"
+Plots = "1.41.6"
+Random123 = "1.7.1"
+SSMProblems = "0.6.1"
+StatsFuns = "2.2.0"
diff --git a/src/AdvancedPS.jl b/src/AdvancedPS.jl
index 93254f9..93f511c 100644
--- a/src/AdvancedPS.jl
+++ b/src/AdvancedPS.jl
@@ -27,16 +27,4 @@ include("container.jl")
 include("smc.jl")
 include("pgas.jl")
 
-if !isdefined(Base, :get_extension)
-    using Requires
-end
-
-@static if !isdefined(Base, :get_extension)
-    function __init__()
-        @require Libtask = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f" include(
-            "../ext/AdvancedPSLibtaskExt.jl"
-        )
-    end
-end
-
 end
diff --git a/test/Project.toml b/test/Project.toml
index 44c865a..2f74f4b 100644
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -15,11 +15,12 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 [compat]
 AbstractMCMC = "2, 3, 4, 5"
 Distributions = "0.24, 0.25"
+DynamicIterators = "0.4"
 GaussianDistributions = "0.5"
-Kalman = "0.1"
 HypothesisTests = "0.11"
-DynamicIterators = "0.4"
+Kalman = "0.1"
 Libtask = "0.9"
 Random123 = "1.3"
+SSMProblems = "0.6.1"
 StableRNGs = "1"
 julia = "1.10.8"