diff --git a/normaliz-3.8.5.tar.gz b/normaliz-3.8.5.tar.gz
deleted file mode 100644
index 0e9268e..0000000
--- a/normaliz-3.8.5.tar.gz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:cf4fdaaa6ffcd8d268b1f16dd4b64cf86f1eab55177e611f8ef672e7365435a0
-size 4649131
diff --git a/normaliz-3.8.7.tar.gz b/normaliz-3.8.7.tar.gz
new file mode 100644
index 0000000..7759b13
--- /dev/null
+++ b/normaliz-3.8.7.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b73b6c78364f6ff5dce4dae75d9cc8ebfd63f6e5b8df2989a61d614414826401
+size 4542479
diff --git a/normaliz.changes b/normaliz.changes
index fbcbe28..2e3b401 100644
--- a/normaliz.changes
+++ b/normaliz.changes
@@ -1,3 +1,12 @@
+-------------------------------------------------------------------
+Fri Jul 31 13:42:23 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.8.7
+  * It is now possible to check the emptyness of semiopen
+    polyhedra via the new computation goal IsEmptySemiopen. The
+    '"open faces" are defined by excluded_faces and
+    inhom_excluded_faces.
+
 -------------------------------------------------------------------
 Fri Jun  5 14:20:27 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
 
diff --git a/normaliz.spec b/normaliz.spec
index ced00c6..dc00866 100644
--- a/normaliz.spec
+++ b/normaliz.spec
@@ -20,7 +20,7 @@
 
 Name:           normaliz
 %define lname	libnormaliz3
-Version:        3.8.5
+Version:        3.8.7
 Release:        0
 Summary:        Tools for computations in affine monoids and rational cones
 License:        GPL-3.0-or-later