From 2f632fc4c35f7317ba8342c63900af1ee3cba4cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 8 Nov 2022 10:06:48 +0100 Subject: [PATCH] duniverse package, version -> dir, content See previous recent nomenclature commit --- lib/views.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/views.ml b/lib/views.ml index 61af562..08e8ecb 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -876,11 +876,11 @@ let compare_builds OpamPackage.Set.cardinal right, [ H.code (packages right) ]) ; ("opam-packages-version-diff", "Opam packages with version changes", List.length version_diff, [ H.code (package_diffs version_diff) ]) ; - ("duniverse-packages-removed", "Duniverse packages removed", + ("duniverse-dirs-removed", "Duniverse directories removed", List.length duniverse_left, [ H.code (duniverse_dirs duniverse_left) ]) ; - ("duniverse-packages-installed", "New duniverse packages installed", + ("duniverse-dirs-installed", "New duniverse directories installed", List.length duniverse_right, [ H.code (duniverse_dirs duniverse_right) ]) ; - ("duniverse-packages-version-diff", "Duniverse packages with version changes", + ("duniverse-dirs-content-diff", "Duniverse directories with content changes", List.length duniverse_content_diff, [ H.code (duniverse_diffs duniverse_content_diff) ]) ; ("#opam-packages-opam-diff", "Opam packages with changes in their opam file", List.length opam_diff, opam_diffs opam_diff) ;