diff options
Diffstat (limited to 'math/kissat/distinfo')
| -rw-r--r-- | math/kissat/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/kissat/distinfo b/math/kissat/distinfo index 8e523b8b6848..5616f9414e86 100644 --- a/math/kissat/distinfo +++ b/math/kissat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1737785441 -SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7 -SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941 +TIMESTAMP = 1751232358 +SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 +SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881 |