Commit cd3a7d5b authored by Vincent Laporte's avatar Vincent Laporte
Browse files

ssreflect, mathcomp: better package names

parent 01571ab2

pkgs/development/coq-modules/mathcomp/generic.nix

+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 


stdenv.mkDerivation {



  name = "coq-${coq.coq-version}-mathcomp-1.5";

  name = "coq-mathcomp-1.5-${coq.coq-version}";



  inherit src;

pkgs/development/coq-modules/ssreflect/generic.nix

+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 


stdenv.mkDerivation {



  name = "coq-${coq.coq-version}-ssreflect-1.5";

  name = "coq-ssreflect-1.5-${coq.coq-version}";



  inherit src;