// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

// This file is generated by the util/vendor script. Please do not modify it
// manually.

{
  upstream:
  {
    url: https://github.com/secure-foundations/veri-titan.git
    rev: a5b18fa0bea5d943c9267d3561cbd2704764a868
  }
}