diff --git a/scripts/opam-coq-install-remove b/scripts/opam-coq-install-remove
index 09dacd059..39e7f7e75 100755
--- a/scripts/opam-coq-install-remove
+++ b/scripts/opam-coq-install-remove
@@ -67,6 +67,10 @@ while [ ! -z "$1" ]; do
             else
               SUCCESSES="$SUCCESSES $PKG_NAME_VERSION";
             fi
+            echo
+            echo Installed files:
+            opam show --list-files "$PKG_NAME" | cut "-b$(opam var prefix | wc -c)-"
+            echo
             echo Removing $PKG_NAME
             opam remove "$PKG_NAME" -y >> $LOG
             set -e