diff options
Diffstat (limited to 'devel/menhir/distinfo')
| -rw-r--r-- | devel/menhir/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo new file mode 100644 index 000000000000..27b9a5b745d5 --- /dev/null +++ b/devel/menhir/distinfo @@ -0,0 +1,3 @@ +MD5 (menhir-20070215.tar.gz) = e7a1682ae072293ef0718a97d8f57939 +SHA256 (menhir-20070215.tar.gz) = 53eda84e6af031e22ea5d0de1f6701ec144ad664fb480ec27c2ccef3be22f920 +SIZE (menhir-20070215.tar.gz) = 295465 |