From 46d1b3ac519517042f60e4ee283fca620ba8b334 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Sun, 18 Jan 2026 19:19:05 +0100 Subject: [PATCH] applied PackageJanitor --- PackageInfo.g | 2 +- gap/Reconstruction.gd | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index dcf7a27..f8a431b 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "FinGSetsForCAP", Subtitle := "The (skeletal) elementary topos of finite G-sets", -Version := "2026.01-02", +Version := "2026.01-03", Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ), License := "GPL-2.0-or-later", diff --git a/gap/Reconstruction.gd b/gap/Reconstruction.gd index e1ec0a8..7f1cd73 100644 --- a/gap/Reconstruction.gd +++ b/gap/Reconstruction.gd @@ -1,5 +1,5 @@ # SPDX-License-Identifier: GPL-2.0-or-later -# FinGSetsForCAP: The (skeletal) elementary topos of finite right G-sets +# FinGSetsForCAP: The (skeletal) elementary topos of finite G-sets # # Declarations #