Commit e2ca8d5a authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.coq-ext-lib: 0.12.0 → 0.12.1

parent b5297277

pkgs/development/coq-modules/coq-ext-lib/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -5,6 +5,7 @@ mkCoqDerivation rec { 
  owner = "coq-ext-lib";

  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.coq-version [

    { case = range "8.14" "8.20"; out = "0.12.1"; }

    { case = range "8.11" "8.19"; out = "0.12.0"; }

    { case = range "8.8" "8.16"; out = "0.11.6"; }

    { case = range "8.8" "8.14"; out = "0.11.4"; }
@@ -13,6 +14,7 @@ mkCoqDerivation rec { 
    { case = "8.6";              out = "0.9.5"; }

    { case = "8.5";              out = "0.9.4"; }

  ] null;

  release."0.12.1".sha256 = "sha256-YIHyiRUHPy/LGM2DMTRKRwP7j6OSBYKpu6wO2mZOubo=";

  release."0.12.0".sha256 = "sha256-9szpnWoS83bDc+iLqElfgz0LNRo9hSRQwUFIgpTca4c=";

  release."0.11.8".sha256 = "sha256-uUBKJb7XjRnyb7rCisZrDcaDdsp1Bv1lXDIU3Ce8e5k=";

  release."0.11.7".sha256 = "sha256-HkxUny0mxDDT4VouBBh8btwxGZgsb459kBufTLLnuEY=";