diff options
Diffstat (limited to 'devel/menhir/distinfo')
| -rw-r--r-- | devel/menhir/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo index 4930ba84d472..49999e0ebf39 100644 --- a/devel/menhir/distinfo +++ b/devel/menhir/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1710615133 -SHA256 (menhir-20231231.tar.bz2) = fb76a37b84e28acd3ecf58efea3abc8c7a9a70987a44915837e81093a7853d3a -SIZE (menhir-20231231.tar.bz2) = 1245465 +TIMESTAMP = 1746794376 +SHA256 (menhir-20240715.tar.bz2) = b986cfb9f30d4955e52387b37f56bc642b0be8962b1f64b134e878b30a3fe640 +SIZE (menhir-20240715.tar.bz2) = 1245971 |