diff options
Diffstat (limited to 'math/libsemigroups/distinfo')
| -rw-r--r-- | math/libsemigroups/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/libsemigroups/distinfo b/math/libsemigroups/distinfo index baea601b6412..eb0d7fb689fd 100644 --- a/math/libsemigroups/distinfo +++ b/math/libsemigroups/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1744375738 -SHA256 (libsemigroups-libsemigroups-v3.0.3_GH0.tar.gz) = 5dd477b6cb86fa6b881708666c232f5d01f9d60ebf0a3e70c81b860e2f2236cf -SIZE (libsemigroups-libsemigroups-v3.0.3_GH0.tar.gz) = 6091089 +TIMESTAMP = 1756982852 +SHA256 (libsemigroups-libsemigroups-v3.1.3_GH0.tar.gz) = a751b879a97b259821e0d19f39d3d394efc8ecd12647cdcb267d39b6d6a8a31d +SIZE (libsemigroups-libsemigroups-v3.1.3_GH0.tar.gz) = 6155171 |