summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-06-08 18:20:27 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-06-08 18:49:50 +0200
commit96c4752a56472749c956ff413375bebc7e626ff7 (patch)
treedc833b4db51136c524778bf5f51d92e476458e43 /dev-ml/ppx_tools_versioned/Manifest
parentmedia-sound/ardour: patch for old ardour on new gcc. Bug 620954 (diff)
downloadgentoo-96c4752a56472749c956ff413375bebc7e626ff7.tar.gz
gentoo-96c4752a56472749c956ff413375bebc7e626ff7.tar.bz2
gentoo-96c4752a56472749c956ff413375bebc7e626ff7.zip
dev-ml/ppx_tools_versioned: bump to 5.0.1
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Diffstat (limited to 'dev-ml/ppx_tools_versioned/Manifest')
-rw-r--r--dev-ml/ppx_tools_versioned/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
index 81406d862c20..8eaf82896b61 100644
--- a/dev-ml/ppx_tools_versioned/Manifest
+++ b/dev-ml/ppx_tools_versioned/Manifest
@@ -1 +1,2 @@
+DIST ppx_tools_versioned-5.0.1.tar.gz 43741 SHA256 3989a789be7b3255acc013efa9084596ff980d527bf2860c73d08ab4620b1b8e SHA512 4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb WHIRLPOOL 004f54fb967f337906df0fce5fbd20cea2a77fa9bac31d435623f393f16711a56a956523e790578a5b44f906ab1f4d204bc2373a7f4388e1e9dbe81e15a2843a
DIST ppx_tools_versioned-5.0beta1.tar.gz 43709 SHA256 c558f9f946c9237511ed7b755868acfb6eb5ee6196da0e1c8361c2adb8d8bc9f SHA512 e536a41126d28addf54752ccb851a5dfa2e8ecf16770a1ae891820bb0a8606eb72660f56349fec9f41d208103096e4e5c3d9834edf255ba2349b09aaaf9aacf2 WHIRLPOOL fbf74737a18ac6d0eecadc38849d902dada5121fe55ee1a55fbc435f1c6f69b3c1f2b87b729623ef971a960979dca367f295cb10d19c9125efb758b8055fae7b