From 703aac7b02520f92437bf35406bbf66174187e91 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 22 Feb 2019 12:20:52 +0100 Subject: [PATCH] Version 2019.02.22 --- PackageInfo.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index e96ac22..c71e0e2 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "singular", Subtitle := "A GAP interface to Singular", -Version := "2018.09.10", +Version := "2019.02.22", Date := Concatenation( ~.Version{[ 9, 10 ]}, "/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), License := "GPL-2.0-or-later",