diff options
| author |   Miroslav Šulc <fordfrog@gentoo.org> | 2020-02-09 23:14:52 +0100 |
|---|---|---|
| committer | Miroslav Šulc <fordfrog@gentoo.org> | 2020-02-09 23:16:48 +0100 |
| commit | b84e7cc0f017d4c72cef9ad9b5157dca7ee679da (patch) | |
| tree | 804174b2af2611c4035f198fe84c857e60ea6af9 /dev-ml/ppx_tools/Manifest | |
| parent | dev-ada/libadalang: fix dependency (diff) | |
| download | gentoo-b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.tar.gz gentoo-b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.tar.bz2 gentoo-b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.zip | |
dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7
Bug: https://bugs.gentoo.org/708696
Package-Manager: Portage-2.3.88, Repoman-2.3.20
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools/Manifest')
| -rw-r--r-- | dev-ml/ppx_tools/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest index 4c5a9570e8e4..ee595bfd62d6 100644 --- a/dev-ml/ppx_tools/Manifest +++ b/dev-ml/ppx_tools/Manifest @@ -1,2 +1,3 @@ DIST ppx_tools-5.0.4.03.0.tar.gz 17209 BLAKE2B bd51e5b2482a9eab09bf9a02ac0231fa7bbc721d54a932e6cfdc1d719c106eca0fe90563b636601110e796fab439f6c6d7fccd5d2920f5bcb3c115f622d90381 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 DIST ppx_tools-5.0.4.05.0.tar.gz 17893 BLAKE2B 0902f53ef19338396cf2a2319a4c2d4b7bbbfb66bbfd0fb2290c29ecebcda02ff90d2f0d0221b08d027c41c863c2bc0a02c50363d83474864c08e619641b7ad6 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64 +DIST ppx_tools-5.3.4.08.0.tar.gz 18590 BLAKE2B fac872d113ab1bf9135357dea47d468924e16a1a038b64152d5ebb27daa69a8c2d906750146157954f4d95769535f4a93c1ecc9582ca0313d601a06606196c00 SHA512 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5 |