Loko Scheme is now licensed under the EUPL v. 1.2 or later

This changes the licence of Loko Scheme to EUPL-1.2-or-later: the
European Union Public Licence version 1.2, or later.

The EUPL 1.2 has several benefits over AGPL-3.0-or-later, which was
the previous licence. The EUPL follows a different legal tradition
with regard to linking. This tradition is one which is much more
suitable for a compiler that embeds its runtime in its output, like
Loko Scheme does. Please read the EUPL for more details. There is also
some guidance in the manual.

The source code should now also be compliant with the REUSE
specification. A very recent version of the reuse tool is needed to
support the SPDX license identifier "EUPL-1.2+".

Signed-off-by: Göran Weinholt <goran@weinholt.se>

.akkuignore

+# SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
+#
+# SPDX-License-Identifier: EUPL-1.2+
 bin
 samples
 tests

.gitattributes

+# SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
+#
+# SPDX-License-Identifier: CC0-1.0
+
 *.sls     diff=scheme
 *.sps     diff=scheme
 *.scm     diff=scheme

.gitignore

+# SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
+#
+# SPDX-License-Identifier: EUPL-1.2+
+
 /loko
 /loko.old
 /loko.out
@@ -11,3 +15,8 @@
 .akku
 .gdb_history
 /config.sls
+/tests/test-unicode
+/tests/gc/test-gc-stable
+/tests/gc/test-oom-fatal
+/tests/gc/test-oom-recover
+/tests/r7rs/r7rs-tests

.gitlab-ci.yml

+# SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
+#
+# SPDX-License-Identifier: EUPL-1.2+
+
 image: "akkuscm/akku"
 
 variables:

.reuse/dep5

+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: Loko Scheme
+Upstream-Contact: Göran Weinholt <goran@weinholt.se>
+Source: https://scheme.fail/
+
+Files:     Akku.manifest
+           Akku.lock
+           */*/Akku.manifest
+           */*/Akku.lock
+Copyright: none
+License:   CC0-1.0
+
+Files:     lib/font/*.bdf
+           lib/font/font-*.sls
+Copyright: none
+License:   CC0-1.0
+Comment:
+  These bitmap fonts from Markus Kuhn are marked as being public domain.
+
+Files:     lib/match.sls
+Copyright: none
+License:   CC0-1.0
+Comment:
+  This code is written by Alex Shinn and placed in the
+  Public Domain.  All warranties are disclaimed.
+
+Files:     unicode/UNIDATA/*
+           unicode/unicode-char-cases.ss
+           unicode/unicode-charinfo.ss
+Copyright: 1991-2019 Unicode, Inc.
+License:   Unicode-DFS-2016
+
+Files:     tests/r6rs/*
+Copyright: 2010-2014 PLT Design Inc.
+License:   MIT
+Comment:
+  The license is (Apache-2.0 OR MIT), so there is a choice. Using the
+  MIT license avoids having to provide a copy of Apache-2.0.
+  The name of the copyright holder was found with some git archeology on
+  <https://github.com/racket/r6rs>.

Akku.manifest

@@ -4,6 +4,6 @@
 (akku-package ("loko-scheme" "0.10.1-beta.0")
   (synopsis "Scheme compiler for Linux, NetBSD/amd64 and PCs")
   (authors "Göran Weinholt")
-  (license "AGPL-3.0-or-later")
+  (license "EUPL-1.2+")
   (depends ("laesare" "^1.0.0") ("pfds" "^0.3.0") ("machine-code" "^2.2.0"))
 )

CONTRIBUTING.md

-## Issues
+<!--
+SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
 
-There is no public issue tracker. If you want to contribute changes
-then that is fine. There are also ephemeral channels for discussion,
-see [README.md](README.md).
+SPDX-License-Identifier: EUPL-1.2+
+-->
 
-## Submitting code
+# Submitting code
 
-If you want to share something smallish that doesn't really belong
-anywhere then you can add it to the `contrib/` directory.
-
-Before working on something large that you hope to get merged, please
-reach out and discuss it first.
-
-You retain ownership of the code you contribute. The code you
-contribute is assumed to be contributed under the same license as the
-project is already using, as is customary for open source and free
-software projects. Other AGPLv3+-compatible licenses are also okay.
-
-Use `git commit -s` to add a `Signed-off-by:` line. This has the same
-meaning as in the Linux project, and refers to
-the
-[Developer Certificate of Origin](https://developercertificate.org/).
-
-## Where to contribute code
+Contributions are accepted under the terms of the EUPL, the main
+license of the project.
 
 Use one of these options:
 
@@ -30,11 +15,19 @@ Use one of these options:
 
 2. Push your code to any public git repository and
    email [goran@weinholt.se](mailto:goran@weinholt.se) asking for a
-   branch be merged; or
+   branch to be merged; or
 
 3. Use `git format-patch` and email it
    to [goran@weinholt.se](mailto:goran@weinholt.se).
 
-For new files, please write a copyright line and an
-`SPDX-License-Identifier` at the top. You can check existing files to
-see how it is done.
+This project follows
+the [REUSE specification](https://reuse.software/). Please run `reuse
+lint` on your work with a recent (>2022-02) copy of the reuse tool.
+
+If you want to share something smallish that doesn't really belong
+anywhere then you can add it to the `contrib/` directory.
+
+# Issues
+
+There is no public issue tracker. There are ephemeral channels for
+discussion, see [README.md](README.md).

COPYING

+LICENSES/EUPL-1.2.txt
\ No newline at end of file

Documentation/ANNOUNCEMENT.txt → Documentation/ANNOUNCEMENT.md

-Subject: ANN: Loko Scheme version 0.10.0
+<!--
+SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
 
-Loko Scheme 0.10.0 is now available from:
+SPDX-License-Identifier: CC0-1.0
+-->
 
-* <https://scheme.fail/releases/loko-0.10.0.tar.gz>
-* <https://scheme.fail/releases/loko-0.10.0.tar.gz.sig>
+Subject: ANN: Loko Scheme version x.y.z
+
+Loko Scheme x.y.z is now available from:
+
+* <https://scheme.fail/releases/loko-x.y.z.tar.gz>
+* <https://scheme.fail/releases/loko-x.y.z.tar.gz.sig>
 
 A bootable disk image for 64-bit PCs is available from:
 
-* <https://scheme.fail/releases/disk-images/loko-hdd-0.10.0.img.gz>
-* <https://scheme.fail/releases/disk-images/loko-hdd-0.10.0.img.gz.sig>
+* <https://scheme.fail/releases/disk-images/loko-hdd-x.y.z.img.gz>
+* <https://scheme.fail/releases/disk-images/loko-hdd-x.y.z.img.gz.sig>
 
 The signatures are made with the GnuPG key 0xE33E61A2E9B8C3A2.
 
-Loko Scheme 0.10.0 fixes bugs, improves performance and adds features.
+Loko Scheme x.y.z fixes bugs, improves performance and adds features.
 See NEWS.md in the distribution for a more detailed summary of
 changes.
 
@@ -23,4 +29,4 @@ the R6RS Scheme and R7RS Scheme standards.
 Loko Scheme's web site is <https://scheme.fail>, where you can find
 the release tarballs and the manual.
 
-Loko Scheme is available under GNU Affero GPL version 3 or later.
+Loko Scheme is licensed under the EUPL v. 1.2 or later.

Documentation/loko.1

+.\" SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
+.\" SPDX-License-Identifier: EUPL-1.2+
 .TH LOKO "1" "February 2022" "Loko Scheme" "Scheme"
 .SH "NAME"
 loko \- Scheme compiler
@@ -105,6 +107,10 @@ can be mixed freely. Note that programs that work in this mode
 may fail to compile, because the compiler only handles top-level
 programs.
 .SH BUGS
+The compiler does not insert runtime checks for references to
+uninitialized bindings in letrec expressions.
+.
+.PP
 Send bug reports to
 .MT goran@weinholt.se
 .ME .
@@ -127,12 +133,11 @@ Written by G\[:o]ran Weinholt.
 .
 .SH COPYRIGHT
 Copyright \(co 2019\(en2022 G\[:o]ran Weinholt.
-License AGPLv3+: GNU Affero GPL version 3 or later
-.UR https://\:gnu.org/\:licenses/\:agpl.html
-.UE
 .br
-This is free software: you are free to change and redistribute it.
-There is NO WARRANTY, to the extent permitted by law.
+Licensed under the EUPL v. 1.2 or later.
+.br
+.UR https://\:joinup.ec.europa.eu/\:collection/eupl
+.UE
 .
 .
 .SH "SEE ALSO"

Documentation/manual/.gitignore

+# SPDX-FileCopyrightText: 2022 Göran Weinholt <goran@weinholt.se>
+#
+# SPDX-License-Identifier: EUPL-1.2+
+
 loko.aux
 loko.cp
 loko.cps

Documentation/manual/indices.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2019 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @page
 @node Index

Documentation/manual/int-concurrency.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2019, 2021 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @node Concurrency
 @section Concurrency

Documentation/manual/int-drivers.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2019 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @node Drivers
 @section Drivers

Documentation/manual/int-interrupts.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2019 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @node Interrupt handling
 @section Interrupt handling

Documentation/manual/introduction.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2019, 2020 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @node Introduction
 @chapter Introduction

Documentation/manual/lib-apropos.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2020 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @node Apropos
 @section Apropos

Documentation/manual/lib-base.texi

 @c -*-texinfo-*-
 @c Loko Scheme Developer's Manual.
 @c Copyright © 2019, 2020 Göran Weinholt
-@c See loko.texi for the license.
+@c SPDX-License-Identifier: EUPL-1.2+
 
 @node Base library
 @section Base library