From c1a66ac82822fc87acd749f643c6ac86611c9260 Mon Sep 17 00:00:00 2001 From: Gregory Malecha Date: Tue, 5 May 2026 13:10:10 -0400 Subject: [PATCH] Fix licenses --- LICENSE | 2 +- rocq-brick-libstdcpp/dune | 6 ------ rocq-brick-libstdcpp/proof/cpp2v-dune-gen.sh | 6 ------ rocq-brick-libstdcpp/proof/dune | 6 +----- rocq-brick-libstdcpp/proof/dune-gen.sh | 6 ------ rocq-brick-libstdcpp/test/dune | 6 +----- rocq-brick-libstdcpp/test/dune-gen.sh | 6 ------ 7 files changed, 3 insertions(+), 35 deletions(-) diff --git a/LICENSE b/LICENSE index 3e34064..4e8ae4a 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ BSD 3-Clause License -Copyright (c) 2025, BlueRock Security +Copyright (c) 2025-2026, SkyLabs AI Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: diff --git a/rocq-brick-libstdcpp/dune b/rocq-brick-libstdcpp/dune index 68799b8..e5f415b 100644 --- a/rocq-brick-libstdcpp/dune +++ b/rocq-brick-libstdcpp/dune @@ -1,9 +1,3 @@ -; Copyright © 2022-2025 BlueRock Security, Inc. -; -; This file is CONFIDENTIAL AND PROPRIETARY to BlueRock. All rights reserved. -; -; Use of this file is only permitted subject to a separate written license agreement with BlueRock. - (env (_ (flags :standard %{read-lines:flags/ocamlc}) diff --git a/rocq-brick-libstdcpp/proof/cpp2v-dune-gen.sh b/rocq-brick-libstdcpp/proof/cpp2v-dune-gen.sh index d6ef98b..85e4836 100755 --- a/rocq-brick-libstdcpp/proof/cpp2v-dune-gen.sh +++ b/rocq-brick-libstdcpp/proof/cpp2v-dune-gen.sh @@ -1,10 +1,4 @@ #!/bin/bash -# -# Copyright (C) 2020-2025 BlueRock Security, Inc. -# -# This software is distributed under the terms of the BedRock Open-Source License. -# See the LICENSE-BedRock file in the repository root for details. -# usage() { cat >&2 <<-EOF diff --git a/rocq-brick-libstdcpp/proof/dune b/rocq-brick-libstdcpp/proof/dune index 0d26686..e7b32ab 100644 --- a/rocq-brick-libstdcpp/proof/dune +++ b/rocq-brick-libstdcpp/proof/dune @@ -1,8 +1,4 @@ -; Copyright © 2022-2025 BlueRock Security, Inc. -; -; This file is CONFIDENTIAL AND PROPRIETARY to BlueRock. All rights reserved. -; -; Use of this file is only permitted subject to a separate written license agreement with BlueRock. +; Copyright © 2022-2026 SkyLabs AI, Inc. (include_subdirs qualified) (rocq.theory diff --git a/rocq-brick-libstdcpp/proof/dune-gen.sh b/rocq-brick-libstdcpp/proof/dune-gen.sh index 16171e2..afdc9fa 100755 --- a/rocq-brick-libstdcpp/proof/dune-gen.sh +++ b/rocq-brick-libstdcpp/proof/dune-gen.sh @@ -1,10 +1,4 @@ #!/bin/sh -# -# Copyright (C) 2020-2025 BlueRock Security, Inc. -# -# This software is distributed under the terms of the BedRock Open-Source License. -# See the LICENSE-BedRock file in the repository root for details. -# usage() { cat >&2 <<-EOF diff --git a/rocq-brick-libstdcpp/test/dune b/rocq-brick-libstdcpp/test/dune index 6621c79..12afd47 100644 --- a/rocq-brick-libstdcpp/test/dune +++ b/rocq-brick-libstdcpp/test/dune @@ -1,8 +1,4 @@ -; Copyright © 2022-2025 BlueRock Security, Inc. -; -; This file is CONFIDENTIAL AND PROPRIETARY to BlueRock. All rights reserved. -; -; Use of this file is only permitted subject to a separate written license agreement with BlueRock. +; Copyright © 2022-2026 SkyLabs AI, Inc. (include_subdirs qualified) (rocq.theory diff --git a/rocq-brick-libstdcpp/test/dune-gen.sh b/rocq-brick-libstdcpp/test/dune-gen.sh index 16171e2..afdc9fa 100755 --- a/rocq-brick-libstdcpp/test/dune-gen.sh +++ b/rocq-brick-libstdcpp/test/dune-gen.sh @@ -1,10 +1,4 @@ #!/bin/sh -# -# Copyright (C) 2020-2025 BlueRock Security, Inc. -# -# This software is distributed under the terms of the BedRock Open-Source License. -# See the LICENSE-BedRock file in the repository root for details. -# usage() { cat >&2 <<-EOF