aboutsummaryrefslogtreecommitdiff
path: root/devel/menhir/distinfo
blob: af472811c99252a050700342a45128ff5a352d55 (plain) (blame) 
1
2
3

TIMESTAMP = 1500460606
SHA256 (menhir-20170712.tar.gz) = ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000
SIZE (menhir-20170712.tar.gz) = 855262
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-30 20:53:15 +0000