diff --git a/lang/sbcl/Makefile b/lang/sbcl/Makefile
index d45b3056cf8c..b077b53f42ec 100644
--- a/lang/sbcl/Makefile
+++ b/lang/sbcl/Makefile
@@ -3,7 +3,7 @@
 # pinned to exact versions of everything used to build them.
 
 PORTNAME=	sbcl
-DISTVERSION=	2.4.11
+DISTVERSION=	2.5.0
 DISTVERSIONSUFFIX=	-source
 PORTREVISION=	2
 PORTEPOCH=	1
diff --git a/lang/sbcl/distinfo b/lang/sbcl/distinfo
index 8a263819a3c1..21792a7be5e1 100644
--- a/lang/sbcl/distinfo
+++ b/lang/sbcl/distinfo
@@ -1,8 +1,8 @@
-TIMESTAMP = 1733209825
-SHA256 (sbcl-2.4.11-source.tar.bz2) = 4f03e5846f35834c10700bbe232da41ba4bdbf81bdccacb1d4de24297657a415
-SIZE (sbcl-2.4.11-source.tar.bz2) = 8201619
-SHA256 (sbcl-2.4.11-documentation-html.tar.bz2) = 15e0bdbfb080e82251080a5e7b8aa3bab2293a8a565cbd657a1a718847dd32b1
-SIZE (sbcl-2.4.11-documentation-html.tar.bz2) = 234138
+TIMESTAMP = 1735557432
+SHA256 (sbcl-2.5.0-source.tar.bz2) = 2e18afd088e4a2df21b77bae2e170ce570d11da6d27607292265f1cc6a8a19b1
+SIZE (sbcl-2.5.0-source.tar.bz2) = 8204593
+SHA256 (sbcl-2.5.0-documentation-html.tar.bz2) = 20e83446dd72dadbb3055a8cb287c1e301dd1a312d95575d219fdab8eace52dc
+SIZE (sbcl-2.5.0-documentation-html.tar.bz2) = 234217
 SHA256 (sbcl-1.2.7-x86-64-freebsd-binary.tar.bz2) = c61f5e777e56921d2452d0fa6b71024ccd9b99bc659676498d398b8663176492
 SIZE (sbcl-1.2.7-x86-64-freebsd-binary.tar.bz2) = 10463348
 SHA256 (sbcl-1.2.7-x86-freebsd-binary.tar.bz2) = cf68bfab780a14964d9593f5b47fa3e174cf43e95ae3e558712d218f1c37bdbe
diff --git a/lang/sbcl/files/patch-src_compiler_ir1util.lisp b/lang/sbcl/files/patch-src_compiler_ir1util.lisp
deleted file mode 100644
index dbaaf62bcccd..000000000000
--- a/lang/sbcl/files/patch-src_compiler_ir1util.lisp
+++ /dev/null
@@ -1,12 +0,0 @@
---- src/compiler/ir1util.lisp.orig	2024-11-30 10:23:33 UTC
-+++ src/compiler/ir1util.lisp
-@@ -308,6 +308,9 @@
- (defun erase-lvar-type (lvar)
-   (when lvar
-     (setf (lvar-%derived-type lvar) nil)
-+    (loop for annotation in (lvar-annotations lvar)
-+          when (lvar-type-annotation-p annotation)
-+          do (setf (lvar-annotation-fired annotation) t))
-     (let ((dest (lvar-dest lvar)))
-       (cond ((cast-p dest)
-              (derive-node-type dest *wild-type* :from-scratch t)