# Copyright 2013-2024 Lawrence Livermore National Security, LLC and other# Spack Project Developers. See the top-level COPYRIGHT file for details.## SPDX-License-Identifier: (Apache-2.0 OR MIT)importspack.verifydefpost_install(spec,explicit=None):ifnotspec.external:spack.verify.write_manifest(spec)