diff options
Diffstat (limited to 'devel/gecode/distinfo')
| -rw-r--r-- | devel/gecode/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/gecode/distinfo b/devel/gecode/distinfo index d99ecf180695..abdb48ade12f 100644 --- a/devel/gecode/distinfo +++ b/devel/gecode/distinfo @@ -1,2 +1,2 @@ -SHA256 (gecode-4.3.0.tar.gz) = a789b75fd993bae0d5e5f72f0b2234396388137e8cffd4600110e3ae4db341a1 -SIZE (gecode-4.3.0.tar.gz) = 2353891 +SHA256 (gecode-4.3.2.tar.gz) = 4e24bd4714f23a14c471b46b3cf203b01cf6652c6d54855f773c762d08bd235b +SIZE (gecode-4.3.2.tar.gz) = 2835665 |