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

Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq



Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org

* Package name    : coq-relation-algebra
  Version         : 1.7.7
  Upstream Author : Damien Pous et al
* URL             : http://perso.ens-lyon.fr/damien.pous/ra
* License         : see below
  Programming Lang: Coq
  Description     : relation algebra for Coq
 This package provides a library on relation algebras, that
 is those admitting heterogeneous binary relations as a model,
 ranging from partially ordered monoid to residuated Kleen
 allegories and Kleene algebras with tests.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.

The question of license is because the source code is contradictory ; GPL-3?
LGPL-3? LGPL-3+? In any case, it will be DFSG-compatible, and I have asked
upstream to clarify:
  https://github.com/damien-pous/relation-algebra/issues/34

Cheers,

J.Puydt


Reply to: