Eiffel Forum License v2.0

Also known as EFL-2.0, Eiffel Forum License v2.0.

Commercial use: allowed
Share alike: not required
Attribution: required (keep the copyright and license notices)

Compare with… Add to the compatibility check Download JSON-LD Turtle RDF/XML Text

Write this as a license text (needs an account) DALICC reads the model above and writes what it permits, requires and prohibits in plain English. Without an account, the Text download above writes the model out from the vocabulary.

Canonical URI https://dalicc.net/licenselibrary/EFL-2.0

Permissions

Change license by library convention
Duties
- Use a compliant license by library convention
Charge distribution fee from the text
Commercial use from the text
Derivative works from the text
Derive from the text
Duties
- Attribution from the text
- Notice from the text
Display from the text
Distribute from the text
Duties
- Attribution from the text
- Notice from the text
Modified works from the text
Modify from the text
Duties
- Attribution from the text
- Notice from the text
Present from the text
Reproduce from the text

Prohibitions

This license states no prohibitions.

License-wide duties

This license states no duties that apply to the work as a whole.

What applies by default

The statements above are the library's reading of this license: each is marked with the sentence it rests on, or as a library convention where the text is not explicit. The statements below are the ones the DALICC reasoner supplies for acts the license says nothing about, from the default rules of the dependency graph it reasons with. Each one names the legal source it rests on. None of it is in the record.

Promote by default rule (adopted)

This license says nothing about Promote, and the graph applies this reading in all jurisdictions it covers: it is not permitted unless the license permits it.

A licence that says nothing about endorsement is read as not allowing it: the licence gives the licensee no right to use the licensor's name or marks in a way that states or implies that the licensor endorses the licensee or its product, while stating truthfully that a work is based on or uses the licensed work is a different act that this rule does not decide. A copyright licence grants rights in the work, and the right to use a name or a trademark is a separate right under trademark law and the protection of names, which a silent copyright licence does not pass on. Combining a licence that is silent about endorsement with one that permits it shows a conflict marked as coming from this rule.

Basis Trademark and name rights are separate from copyright: Regulation (EU) 2017/1001 article 9 lets the proprietor of an EU trade mark prevent all third parties not having his consent from using the sign in the course of trade, and Directive (EU) 2015/2436 article 10, 15 U.S.C. 1114 and 1125(a), section 12 BGB and section 43 ABGB protect marks and names in the same way. The library's evidence is Creative Commons 4.0 section 2(b)(2): Patent and trademark rights are not licensed under this Public License. A copyright licence that is silent grants no right to use the licensor's name or marks to suggest endorsement (Worldwide)

Clauses

Warranty disclaimer

THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT WARRANTY. ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.

Limitation of liability

IN NO EVENT SHALL THE AUTHORS BE LIABLE TO ANY PARTY FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES ARISING IN ANY WAY OUT OF THE USE OF THIS PACKAGE.

Additional clauses

Permission is hereby also granted to distribute binary programs which depend on this package. If the binary program depends on a modified version of this package, you are encouraged to publicly release the modified version of this package.

Info

Target asset types: Software
Region / jurisdiction: Worldwide
Validity: Perpetual
Source: https://spdx.org/licenses/EFL-2.0.html
Legal code: http://www.eiffel-nice.org/license/eiffel-forum-license-2.html
This description is published under: Creative Commons Attribution 4.0 International
SPDX identifier: EFL-2.0 on the SPDX license list
DALICC identifier: EFL-2.0

This record is published under CC BY 4.0. Credit it as: DALICC License Library, DALICC - Verein zur Förderung der Rechtssicherheit in der Datenbewirtschaftung, https://dalicc.net, CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). The license it describes belongs to its publisher.

Use this license

Everything below is generated from this record. Replace the example address with the address of your own work.

JSON sidecar

{
  "license-uri": "https://dalicc.net/licenselibrary/EFL-2.0",
  "license-title": "Eiffel Forum License v2.0",
  "spdx-id": "EFL-2.0",
  "attribution": "Copyright (c) [year] [copyright holder]",
  "asset": null,
  "generated-by": "DALICC"
}

RDF, Turtle

@prefix cc: <http://creativecommons.org/ns#> .

<https://example.org/my-work>
    cc:license <https://dalicc.net/licenselibrary/EFL-2.0> .

RDF, JSON-LD

{
  "@context": {
    "cc": "http://creativecommons.org/ns#"
  },
  "@id": "https://example.org/my-work",
  "cc:license": {
    "@id": "https://dalicc.net/licenselibrary/EFL-2.0"
  }
}

HTML attribution

<p>This work is licensed under <a href="https://dalicc.net/licenselibrary/EFL-2.0" rel="license">Eiffel Forum License v2.0</a>.</p>

This license asks for attribution, so the credit line is part of it.

Badge

Markdown

[![License: Eiffel Forum License v2.0](https://dalicc.net/license-library/EFL-2.0/badge.svg)](https://dalicc.net/license-library/EFL-2.0)

HTML

<a href="https://dalicc.net/license-library/EFL-2.0"><img src="https://dalicc.net/license-library/EFL-2.0/badge.svg" alt="License: Eiffel Forum License v2.0"></a>

Review

Written from the license text by: Giray Havur
Written on: 2026-09-15
Second review: not yet done
Record changed since this review: yes (version 2, 2026-09-24)
Findings: 9 recorded, 6 applied to the record, 0 proposed

The record models version 2 of the Eiffel Forum License, the version most Eiffel packages use. Its first clause is version 1's grant with the license text in place of the license file. Its second clause allows distributing dependent binary programs with no condition at all: releasing a modified package is only encouraged, so this record carries no cc:SourceCode duty and version 1 does.

9 findings

major Rubric 3 odrl:permission applied

"1. Permission is hereby granted to use, copy, modify and/or distribute this package, provided that: - copyright notices are retained unchanged, - any distribution of this package, whether modified or not, includes this license text." The record permits reproduce, distribute, modify, derive, display, present, commercial use, derivative works, modified works and the distribution fee.
major Rubric 5 odrl:duty applied

cc:Attribution and cc:Notice on distribute, modify and derive. No cc:SourceCode duty: clause 2 reads "If the binary program depends on a modified version of this package, you are encouraged to publicly release the modified version of this package", and an encouragement is not a duty.
major Rubric 4 odrl:prohibition applied

dalicc:ChangeLicense is prohibited because the text requires the license itself to travel with every copy, which is the reading IscLicense and BSD-3-Clause take of the same clause. The MIT record does not carry the prohibition although its text has the same requirement, so the library is not uniform here. (Corrected on 2026-09-15 by the verification pass: see the rubric 3 finding on relicensing below.)
minor Rubric 6 dalicc:additionalClauses applied

Clause 2 is quoted verbatim so that a reader can see that the obligation of version 1 became an encouragement here. Without the quote the two records would differ by an absent duty and nothing would say why.
info Rubric 7 cc:jurisdiction none

The text names no legal system and no term, so cc:jurisdiction is dalicc:worldwide and dalicc:validityType is dalicc:perpetual.
info Rubric 2 odrl:target applied

One odrl:AssetCollection of dct:type dcmitype:Software, following MIT. The text licenses a package of software.
info Rubric 9 record none

The consistency check with the axioms of dg_default returned no conflicts.
major Rubric 10 record none

Read against EFL-1.0: version 2 says license text where version 1 says this file, numbers its clauses, and turns the obligation to release a modified package into an encouragement. Only the last of those changes the model, and it changes a compatibility answer, so the two records are justified as separate licenses.
major Rubric 3 odrl:permission applied

Library convention 15: a licence that asks for no reciprocity and no source code asks only that the notice travels with the copy, which is a duty on the acts it governs and not a bar on putting the copy under other terms. dalicc:ChangeLicense is therefore a permission here, and the prohibition the earlier reading wrote is removed. The text reads: "Permission is hereby granted to use, copy, modify and/or distribute this package, provided that: copyright notices are retained unchanged, any distribution of this package, whether modified or not, includes this license text." The permission carries the dalicc:compliantLicense duty, as Apache-2.0 does, because the notice has to survive the relicensing.

Report an issue The review record as JSON The review checks the model against the license text. It is not legal advice.

History

This license model has 2 versions. Version 2 is the one served today; every earlier version keeps its own address, so a conclusion drawn from one of them can still be checked against it.

Version 2 current2026-09-24 Giray Havur

The changes since version 1 recorded which sentence of the text each statement rests on and named the license the record itself is published under.

View version 2 JSON-LD Turtle RDF/XML
2 changes
- changed permission dalicc:ChangeLicense with duties [dalicc:compliantLicense]
  
  was permission dalicc:ChangeLicense with duties [dalicc:compliantLicense]
  
  Manual edit The statement is marked as a library convention, family rule 15: Permissive records permit relicensing: the text does not state it in as many words. Its duty dalicc:compliantLicense is marked as a library convention, family rule 15: Permissive records permit relicensing.
- added dct:license <https://creativecommons.org/licenses/by/4.0/>
  
  Manual edit Every record is published under CC BY 4.0. cc:license names the record DALICC keeps of that licence; dct:license now names it by the address Creative Commons publishes it at, so that a consumer matching the canonical IRI finds it.
Version 1

Created from the license text on 2026-09-15 (Permissive: MIT, ISC and BSD-like).

View version 1 JSON-LD Turtle RDF/XML

Every change names the reason behind it: a finding of the content review, one of its library-wide decisions, the metadata that review wrote onto every record, or a hand edit. None of it is legal advice.

Nothing on this page is legal advice. What a license means is decided by its text; ask a legal advisor before you rely on it.