diff options
| -rw-r--r-- | dev-ml/ppx_disable_unused_warnings/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_disable_unused_warnings/ppx_disable_unused_warnings-0.15.0.ebuild | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/dev-ml/ppx_disable_unused_warnings/Manifest b/dev-ml/ppx_disable_unused_warnings/Manifest index cbd6b5104d31..d7a0c0115099 100644 --- a/dev-ml/ppx_disable_unused_warnings/Manifest +++ b/dev-ml/ppx_disable_unused_warnings/Manifest @@ -1 +1 @@ -DIST v0.15.0.tar.gz 3966 BLAKE2B b087baa50ae3e0dd926221a69d0c3121ebeea431c08d0dbcc9cf5edee28e69c076e2f77c3b992757e56d03a6487ecd6257fec6a0373294cca6cdef7f71412216 SHA512 837bb96b5cc2623205ce778e6100d97a0a029e8c20a945509c06ee44784e67b8e9033b5387681c0f86c07f48ca4541e356ca62e19c1baa8d1b52c813400bb024 +DIST ppx_disable_unused_warnings-0.15.0.tar.gz 3966 BLAKE2B b087baa50ae3e0dd926221a69d0c3121ebeea431c08d0dbcc9cf5edee28e69c076e2f77c3b992757e56d03a6487ecd6257fec6a0373294cca6cdef7f71412216 SHA512 837bb96b5cc2623205ce778e6100d97a0a029e8c20a945509c06ee44784e67b8e9033b5387681c0f86c07f48ca4541e356ca62e19c1baa8d1b52c813400bb024 diff --git a/dev-ml/ppx_disable_unused_warnings/ppx_disable_unused_warnings-0.15.0.ebuild b/dev-ml/ppx_disable_unused_warnings/ppx_disable_unused_warnings-0.15.0.ebuild index 2659efbf849f..d5441c2a180b 100644 --- a/dev-ml/ppx_disable_unused_warnings/ppx_disable_unused_warnings-0.15.0.ebuild +++ b/dev-ml/ppx_disable_unused_warnings/ppx_disable_unused_warnings-0.15.0.ebuild @@ -7,7 +7,8 @@ inherit dune DESCRIPTION="Expands [@disable_unused_warnings]" HOMEPAGE="https://github.com/janestreet/ppx_disable_unused_warnings" -SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz" +SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" LICENSE="MIT" SLOT="0/$(ver_cut 1-2)" |