Skip to content

Commit

Permalink
Merge pull request #620 from mohamed-barakat/devel
Browse files Browse the repository at this point in the history
  • Loading branch information
mohamed-barakat authored Dec 3, 2024
2 parents dd70d98 + 81848ea commit cd8c5ad
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Gauss/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ SetPackageInfo( rec(

PackageName := "Gauss",
Subtitle := "Extended Gauss functionality for GAP",
Version := "2023.08-01",
Version := "2024.11-01",
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",

Expand Down

0 comments on commit cd8c5ad

Please sign in to comment.