diff options
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild (renamed from dev-ml/core_kernel/core_kernel-0.14.1.ebuild) | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild index dd42dee9792a..4b4e71ca9ef6 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild @@ -19,7 +19,6 @@ RDEPEND=" dev-ml/base:= dev-ml/base_bigstring:= dev-ml/bin-prot:= - dev-ml/configurator:= dev-ml/fieldslib:= dev-ml/jane-street-headers:= dev-ml/ppx_assert:= |