Merge pull request #56 from mohamed-barakat/devel

mohamed-barakat · web-flow · commit 70c921460066 · 2026-01-18T20:02:22.000+01:00
applied PackageJanitor
diff --git 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
@@ -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
 #

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`# SPDX-License-Identifier: GPL-2.0-or-later`
`2`		`-# FinGSetsForCAP: The (skeletal) elementary topos of finite right G-sets`
	`2`	`+# FinGSetsForCAP: The (skeletal) elementary topos of finite G-sets`
`3`	`3`	`#`
`4`	`4`	`# Declarations`
`5`	`5`	`#`