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: