From b1caa09637c2ec429268f0aea9ec83c87bf385d7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 14 Dec 2020 10:46:33 +0100
Subject: [PATCH] improve the script to print installed files

---
 scripts/opam-coq-install-remove | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/opam-coq-install-remove b/scripts/opam-coq-install-remove
index e5a78ff85..28f89633b 100755
--- a/scripts/opam-coq-install-remove
+++ b/scripts/opam-coq-install-remove
@@ -78,6 +78,8 @@ while [ ! -z "$1" ]; do
               RC=1;
               FAILURES="$FAILURES $PKG_NAME_VERSION";
             else
+              echo Installed files:
+              opam show "$PKG_NAME_VERSION" --list-files
               SUCCESSES="$SUCCESSES $PKG_NAME_VERSION";
             fi
             echo Removing $PKG_NAME