@ -64,6 +64,7 @@ stdenv.mkDerivation {
'';
homepage = "http://coq.inria.fr";
license = licenses.lgpl21;
branch = "8.3";
maintainers = with maintainers; [ roconnor vbgl ];
};
}
branch = coq-version;
maintainers = with maintainers; [ roconnor thoughtpolice vbgl ];
platforms = platforms.unix;
@ -36,6 +36,7 @@ stdenv.mkDerivation rec {
meta = {
homepage = http://caml.inria.fr/ocaml;
branch = "3.12";
license = [ "QPL" /* compiler */ "LGPLv2" /* library */ ];
description = "Most popular variant of the Caml language";
@ -35,6 +35,7 @@ stdenv.mkDerivation rec {
branch = "4.00";
@ -48,6 +48,7 @@ stdenv.mkDerivation rec {
branch = "4.01";
@ -46,6 +46,7 @@ stdenv.mkDerivation rec {
branch = "4.02";
@ -32,6 +32,7 @@ stdenv.mkDerivation {
meta = with stdenv.lib; {
branch = "4.0";
homepage = https://bitbucket.org/camlspotter/camlimages;
description = "OCaml image processing library";
license = licenses.lgpl2;
@ -20,7 +20,8 @@ stdenv.mkDerivation {
homepage = http://camomile.sourceforge.net/;
description = "A comprehensive Unicode library for OCaml";
license = "LGPL";
license = stdenv.lib.licenses.lgpl21;
branch = "0.8.2";
platforms = ocaml.meta.platforms;
maintainers = [
stdenv.lib.maintainers.z77z
@ -25,6 +25,7 @@ stdenv.mkDerivation (rec {
branch = "2.14";
@ -20,6 +20,7 @@ stdenv.mkDerivation {
createFindlibDestdir = true;
branch = "108";
homepage = https://ocaml.janestreet.com/;
description = "Library for serializing OCaml values to and from S-expressions";
license = licenses.asl20;
@ -21,7 +21,8 @@ stdenv.mkDerivation {
description = "Support library for OCaml preprocessor type conversions";
#license = licenses.apl20; invalid license
maintainers = with maintainers; [ z77z ];
@ -37,7 +37,8 @@ stdenv.mkDerivation {
It also provides parsing and printing tools.
homepage = "${webpage}";
license = "BSD";
license = stdenv.lib.licenses.bsd3;
branch = "5";