diff options
| -rw-r--r-- | dev-ml/cinaps/cinaps-0.15.1-r1.ebuild (renamed from dev-ml/cinaps/cinaps-0.15.1.ebuild) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/cinaps/cinaps-0.15.1.ebuild b/dev-ml/cinaps/cinaps-0.15.1-r1.ebuild index 2dc682d7db39..6835b84aef60 100644 --- a/dev-ml/cinaps/cinaps-0.15.1.ebuild +++ b/dev-ml/cinaps/cinaps-0.15.1-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 2020-2022 Gentoo Authors +# Copyright 2020-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -19,6 +19,6 @@ DEPEND="dev-ml/re:=" RDEPEND="${DEPEND}" BDEPEND=" test? ( - dev-ml/ppx_jane + dev-ml/ppx_jane:0/0.14.0 ) " |