diff options
Diffstat (limited to 'dev-ml/ppx_diff/ppx_diff-0.17.0-r2.ebuild')
| -rw-r--r-- | dev-ml/ppx_diff/ppx_diff-0.17.0-r2.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_diff/ppx_diff-0.17.0-r2.ebuild b/dev-ml/ppx_diff/ppx_diff-0.17.0-r2.ebuild index e2a991d80b1f..34cff13dc613 100644 --- a/dev-ml/ppx_diff/ppx_diff-0.17.0-r2.ebuild +++ b/dev-ml/ppx_diff/ppx_diff-0.17.0-r2.ebuild @@ -1,11 +1,11 @@ -# Copyright 2024-2025 Gentoo Authors +# Copyright 2024-2026 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 inherit dune -DESCRIPTION="A PPX rewriter that genreates the implementation of [Ldiffable.S]." +DESCRIPTION="A PPX rewriter that genreates the implementation of [Ldiffable.S]" HOMEPAGE="https://github.com/janestreet/ppx_diff" SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" |