commit f666bf4ddf3f5f50cad6e17907dae53d545444d0 · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

compcert: Correct syntax used in default.nix

John Wiegley 11 years ago f666bf4d e0612473

+2 -2

1 changed file

expand all

unified split

pkgs

development

compilers

compcert

default.nix

+2 -2

pkgs/development/compilers/compcert/default.nix

··· 19 description = "Formally verified C compiler"; 20 homepage = "http://compcert.inria.fr"; 21 license = stdenv.lib.licenses.inria; 22 - platforms = [ stdenv.lib.platforms.linux 23 - stdenv.lib.platforms.darwin ]; 24 maintainers = [ stdenv.lib.maintainers.thoughtpolice 25 stdenv.lib.maintainers.jwiegley ]; 26 };

··· 19 description = "Formally verified C compiler"; 20 homepage = "http://compcert.inria.fr"; 21 license = stdenv.lib.licenses.inria; 22 + platforms = stdenv.lib.platforms.linux ++ 23 + stdenv.lib.platforms.darwin; 24 maintainers = [ stdenv.lib.maintainers.thoughtpolice 25 stdenv.lib.maintainers.jwiegley ]; 26 };