| # ******************************************************************************* | |
| # Copyright (c) 2026 Ahmad Ali Parr and others. | |
| # | |
| # This program and the accompanying materials are made available under the | |
| # terms of the CPSC Eclipse Strict Copyleft License, Version 1.0, or, at your | |
| # option, the GNU Affero General Public License, Version 3 only. | |
| # | |
| # SPDX-License-Identifier: LicenseRef-CPSC-ESCL-1.0 OR AGPL-3.0-only | |
| # ******************************************************************************* | |
| name = "CPSC" | |
| version = "0.1.0" | |
| defaultTargets = ["CPSC"] | |
| [[lean_lib]] | |
| name = "CPSC" | |