savannah-register-public
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[task #16130] Submission of Ironclad


From: Klaus Schneider
Subject: [task #16130] Submission of Ironclad
Date: Fri, 18 Mar 2022 08:52:12 -0400 (EDT)

Follow-up Comment #4, task #16130 (project administration):

> Please write them down in a new comment.

This would be the updated dependency list then, the ones denoted as testing
are only used on the test targets of the makefile, and are otherwise
unneeded:

- GNU Autoconf 2.69 - GPL-3.0-or-later with the Autoconf configure script
exception (detailed in their COPYING.EXCEPTION file).
- GNU Make - GPL-3.0-or-later
- GNU GCC with Ada support - GPL-3.0-or-later with the GCC Runtime Library
exception 3.1.
- GNU Binutils - GPL-3.0-or-later.
- GNU Xorriso (testing) - GPL-3.0-or-later.
- QEMU (testing) - GPL-2.0-only.


    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/task/?16130>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]