summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_driver
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-11-12 16:49:02 +0000
committerV3n3RiX <venerix@redcorelinux.org>2017-11-12 16:49:02 +0000
commit519e4d5d99fc43d5c9a038098c029dc4ef9d6792 (patch)
tree7e99d88a777fe8c9d3ec6310bf7eea639b0e66b4 /dev-ml/ppx_driver
parenta5332b59346f7cbf0fdbd148b54aa8a84aaf8190 (diff)
gentoo resync : 12.11.2017
Diffstat (limited to 'dev-ml/ppx_driver')
-rw-r--r--dev-ml/ppx_driver/Manifest2
-rw-r--r--dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild (renamed from dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild)1
2 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/ppx_driver/Manifest b/dev-ml/ppx_driver/Manifest
index 78d115be6c8c..f60627fe008d 100644
--- a/dev-ml/ppx_driver/Manifest
+++ b/dev-ml/ppx_driver/Manifest
@@ -1,4 +1,4 @@
DIST ppx_driver-0.9.1.tar.gz 28637 SHA256 b75add0c6136007697c5bfd5f58600fb0e546a821a3e24bfc53beb85c621c80e SHA512 1e3647e34fb9e6d44b783fae1fce21413e5591f8934c3d2ddac3d1b37019b0d95117c8d64abf14cbfe4f67147612371ec1eb76b477763b062206ffc9b46688d7 WHIRLPOOL 54f9a86edb9f4378a08f6f7bd2bfeebabda73ab854a6d0629a1bc410e35c640fcd650227991a4946e01d73a9b478380ec3eb721c09a13f4f830e5e100243d10f
-EBUILD ppx_driver-0.9.1.ebuild 561 SHA256 e83c572c60e9792d294cb221ed8072757c99356e321c9b8896cb5d7c15e598cb SHA512 bfff3ec49752b47af36e907b359f5dcac9dca09aa722b8849524d14b7ee03b4a9a37fc053798d58b292326a3ca2d7d0a178bbcbf098ee67881da66a8a32a2267 WHIRLPOOL 68cf2ebbc419613cc1ad94518091b5488b0d9eecfc97f427fedf8603476be6235311cf65a824e1ac9915f0e421cb67163ad799d0de251373bea346709f157f9a
+EBUILD ppx_driver-0.9.1-r1.ebuild 579 SHA256 9514f20dd1fb444f5a7580171488517634b727539c8e374604cde7b6327242c3 SHA512 54aaa692b1dee2b5c85dd39ea1a007660020e99031065ee917069459704e93cad48d5f93b46b14fb6b5300481cbc6c191d030312aeba2b7f827e2c5246364377 WHIRLPOOL 4e65a95c8473dd0e605d08493b6713051ab07b27c4bfdcde85a96898709f2ba92237a2e7f55213d3294d4e65551e28f5e0c58d7423cedc35b19198aa369b962b
MISC ChangeLog 1316 SHA256 5829490e281a82e696dfeed860f7e1aef6cf01bcda7087da523be3cc92061350 SHA512 a21ff4821c91c1b34b20096dd082d4dc46f2e03a5812e912c70c91dfcf01f7c3c3902267f6ff3b698035768b85d906970b398cba0575c70fc0d6385a85890eef WHIRLPOOL 62b6a7dbd49a4eaa1366e98c8be41f1a9f514da2a2849c4db8ecd09834b3b1ba249c44f4779d1222d9e2da6438360dd2b1fc7c8c4c900f690e494198c75e126e
MISC metadata.xml 333 SHA256 808c3506c789587bfc87eb2566f4eeaea02d197b3e130edfc083a8bdbb8d9a52 SHA512 1cfb21c42adf5c94fb02f4621ed9e77acc832ba7c0d7bebee338ff5f617431e5a0a682945a22cd58143fa5cf61758c70694a6f2697a6b1a49107029e31fe738f WHIRLPOOL cc052ed2619840cd0e6e788ac6d7511196d8cc2502368120914b16fc21de4f41ce7398292bcc7732ee68484a5280c429955b7a8b942f814deb4e0be70cb36ad6
diff --git a/dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild b/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild
index ba2287387b0b..42893f75110f 100644
--- a/dev-ml/ppx_driver/ppx_driver-0.9.1.ebuild
+++ b/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild
@@ -16,6 +16,7 @@ IUSE=""
DEPEND="
dev-ml/ppx_core:=
+ dev-ml/stdio:=
dev-ml/ppx_optcomp:=
dev-ml/ocaml-migrate-parsetree:=
dev-ml/ocamlbuild:="