From c17c1ba7625fd1995a0738027868001ca997a0d7 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 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Project.toml b/Project.toml
index 9e4ebe0da..01f39d002 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"
@@ -25,7 +25,7 @@ CxxWrap = "0.11, 0.12, 0.13"
 Nemo = "0.33.0, 0.34.0, 0.35.0"
 Pidfile = "1.3"
 RandomExtensions = "0.4.2"
-Singular_jll = "~403.206.600"
+Singular_jll = "~403.207.700"
 julia = "1.6"
 lib4ti2_jll = "1.6.10"
-libsingular_julia_jll = "~0.39.1"
+libsingular_julia_jll = "~0.40.1"