We should figure something out with the Relation Algebra author (Damien Pous) in the near future to get this issue resolved: https://github.com/damien-pous/relation-algebra/issues/34

As far as I know, the `coq-relation-algebra`

package has been flagged as `LGPL-3.0-or-later`

for quite some time, so it's just a question of making this unambiguous.

looks resolved now in the issue and through https://github.com/coq/opam-coq-archive/pull/2294

Karl Palmskog has marked this topic as resolved.

Last updated: Jun 03 2023 at 03:01 UTC