From 502ae84034799f8c09b75790ff9a35e6c8558b01 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 25 Aug 2023 15:07:54 +0200
Subject: [PATCH] Version 0.18.13, update to latest libsingular_julia_jll

---
 Project.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index 9e4ebe0da..3be51cfc0 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,6 +1,6 @@
 name = "Singular"
 uuid = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
-version = "0.18.12"
+version = "0.18.13"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
@@ -28,4 +28,4 @@ RandomExtensions = "0.4.2"
 Singular_jll = "~403.206.600"
 julia = "1.6"
 lib4ti2_jll = "1.6.10"
-libsingular_julia_jll = "~0.39.1"
+libsingular_julia_jll = "~0.40.0"