Commit c374d60d authored by Cyril Cohen's avatar Cyril Cohen Committed by Vincent Laporte
Browse files

coqPackages.ssprove: fix 

ssprove now depends on mathcomp-word
parent 5f5e1293

pkgs/development/coq-modules/ssprove/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -9,6 +9,7 @@ 
  mathcomp-experimental-reals,

  extructures,

  deriving,

  mathcomp-word,

}:



(mkCoqDerivation {
@@ -67,6 +68,7 @@ 
    mathcomp-experimental-reals

    extructures

    deriving

    mathcomp-word

  ];



  meta = with lib; {