coq-flocq: license
This commit is contained in:
parent
1b8516b498
commit
7893825613
|
@ -26,6 +26,7 @@ stdenv.mkDerivation rec {
|
|||
meta = with stdenv.lib; {
|
||||
homepage = http://flocq.gforge.inria.fr/;
|
||||
description = "Flocq (Floats for Coq) is a floating-point formalization for the Coq system";
|
||||
license = licenses.lgpl3;
|
||||
maintainers = with maintainers; [ jwiegley ];
|
||||
platforms = coq.meta.platforms;
|
||||
};
|
||||
|
|
Loading…
Reference in a new issue