diff options
Diffstat (limited to 'math/bitwuzla/distinfo')
| -rw-r--r-- | math/bitwuzla/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo new file mode 100644 index 000000000000..0d2a29406740 --- /dev/null +++ b/math/bitwuzla/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1734064151 +SHA256 (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 4a388aa935fab5fe3e61494f94c1110653ac11e07f1cf29593d6fdba30238afa +SIZE (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 2071988 |