Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>, jpu...@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
