From 01465a785a2b6abe2a109a5630a1b5c598b8fde3 Mon Sep 17 00:00:00 2001 From: Etienne Marais Date: Thu, 17 Apr 2025 11:00:31 +0200 Subject: [PATCH 1/2] chore: add source header in SAT Signed-off-by: Etienne Marais --- src/sat/hash_set.ml | 8 ++++++++ src/sat/hash_set.mli | 8 ++++++++ src/sat/sat.ml | 8 ++++++-- src/sat/sat.mli | 8 ++++++-- 4 files changed, 28 insertions(+), 4 deletions(-) diff --git a/src/sat/hash_set.ml b/src/sat/hash_set.ml index a28333c8f34..3e697a89177 100644 --- a/src/sat/hash_set.ml +++ b/src/sat/hash_set.ml @@ -1,3 +1,11 @@ +(* + This file is distributed under LGPL-2.1-or-later. It is extracted from the + 0install library. See src/sat/COPYING.md for the full license. + + Copyright (C) 2013, Thomas Leonard + See the README file for details, or visit http://0install.net. +*) + module List = Stdlib.ListLabels let ( = ) = Int.equal diff --git a/src/sat/hash_set.mli b/src/sat/hash_set.mli index 44f2550eb6c..ff7c23d1c0d 100644 --- a/src/sat/hash_set.mli +++ b/src/sat/hash_set.mli @@ -1,3 +1,11 @@ +(* + This file is extracted from the 0install library. It is distributed under + the LGPL-2.1-or-later licence. See src/sat/COPYING.md for the full license. + + Copyright (C) 2013, Thomas Leonard + See the README file for details, or visit http://0install.net. +*) + type t val create : unit -> t diff --git a/src/sat/sat.ml b/src/sat/sat.ml index 591025ebc88..b44ca29ade4 100644 --- a/src/sat/sat.ml +++ b/src/sat/sat.ml @@ -1,5 +1,9 @@ -(* Copyright (C) 2013, Thomas Leonard - * See the README file for details, or visit http://0install.net. +(* + This file is extracted from the 0install library. It is distributed under + the LGPL-2.1-or-later licence. See src/sat/COPYING.md for the full license. + + Copyright (C) 2013, Thomas Leonard + See the README file for details, or visit http://0install.net. *) (** A general purpose SAT solver. *) diff --git a/src/sat/sat.mli b/src/sat/sat.mli index 825638e215f..a2aee85518d 100644 --- a/src/sat/sat.mli +++ b/src/sat/sat.mli @@ -1,5 +1,9 @@ -(* Copyright (C) 2013, Thomas Leonard - * See the README file for details, or visit http://0install.net. +(* + This file is extracted from the 0install library. It is distributed under + the LGPL-2.1-or-later licence. See src/sat/COPYING.md for the full license. + + Copyright (C) 2013, Thomas Leonard + See the README file for details, or visit http://0install.net. *) (** A general purpose SAT solver. *) From 0291b56197bf7caf240792242a55418a49d8da23 Mon Sep 17 00:00:00 2001 From: Etienne Marais Date: Thu, 17 Apr 2025 11:24:27 +0200 Subject: [PATCH 2/2] chore: add source header in Dune_pkg Signed-off-by: Etienne Marais --- src/dune_pkg/opam_solver.ml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/dune_pkg/opam_solver.ml b/src/dune_pkg/opam_solver.ml index b4529c30078..10e3dd41e85 100644 --- a/src/dune_pkg/opam_solver.ml +++ b/src/dune_pkg/opam_solver.ml @@ -1,3 +1,17 @@ +(* + This file includes code from the 0install library. It is distributed under + the LGPL-2.1-or-later licence. See src/sdune_pkg/COPYING.md for the full + license. + + Copyright (C) 2013, Thomas Leonard + See the README file for details, or visit http://0install.net. + + Files: + - Includes solver_core.ml and solver_core.mli files + - Includes diagnostics.ml and diagnostics.mli + - Remove usage from the S module from the s.ml file +*) + open Import open Fiber.O