summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/menhir/Manifest')
-rw-r--r--dev-ml/menhir/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 0d8e2c0e84d..e9cba7542cc 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -2,3 +2,4 @@ DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb
DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea
DIST menhir-20160825.tar.gz 733364 SHA256 1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849 SHA512 6672bf3a10c7cb3ac8a16162e782261e25411f5d7fe69195b720302989daa432c56c9ecf93a08d33e77b306cd0cdaaa4bc00430e642b4d2924cbeecb10bda050 WHIRLPOOL e6ce0ca104f69fedf6b22749db6400f963181497e940f7e3369e3bb9de115944e6a93350062797034c38f8ddcd6466cd44b74d3f60ca8f5f4e06a44a91194008
DIST menhir-20161114.tar.gz 736454 SHA256 7327d6010ffb5a62371faad58e454a56244d20358a9e733e86e5714baedf5f14 SHA512 6ec810e30df00805ebc05f58130c4c4f86dffc96f4c9852d9574d7d948cd4a51901da2ece7b954c06550124dc3fe7f5ce9482b4280d3e0b6e7f33519b7aa89b2 WHIRLPOOL 608a3449f02d8f27cc1b39f6fb3504563d4ce86e3afdce2c8742238046966b68d3ca898acfef7c630195ff5413a4a6ed7fbfe843c5e25886042b78badda79890
+DIST menhir-20161115.tar.gz 737035 SHA256 f31037f904c863b241bd90dd4ba6cd8f5ea86255477c13a2f7d0e02724ab16c9 SHA512 f17e6f3088e2af5b8e1d010dcd2608c932620e2206833f91c34209fbacc19de6ee17a45ed550fbccdab914779f37b34487f4620a5c66ab82c449238f0b67c7c0 WHIRLPOOL 6e55ead5c99810f5452d1b922bfc9694eba292503035eb39e1a4fa6e7a81ee2673322552c995eeb01a1784e7f284ee1aae3b4cd938a0c0b73c70630c7aa96a7f