Unverified Commit f8dc4576 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages.ExtLib: 0.13.0 → 0.13.1 (#504908)

parents 9c0682be afc3c1ea

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

+2 −1
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.coq-version [

      (case (range "8.14" "9.1") "0.13.0")

      (case (range "8.14" "9.2") "0.13.1")

      (case (range "8.11" "8.19") "0.12.0")

      (case (range "8.8" "8.16") "0.11.6")

      (case (range "8.8" "8.14") "0.11.4")
@@ -24,6 +24,7 @@ mkCoqDerivation { 
      (case "8.6" "0.9.5")

      (case "8.5" "0.9.4")

    ] null;

  release."0.13.1".hash = "sha256-WJZaisQhbK9s/X4UeEYlhIaG2JqVWm1BiXzlDAcfEMk=";

  release."0.13.0".sha256 = "sha256-vqVSu+nyGjRVXe2tnE6MPl0kcg4LHfgFwRCpTQAP/is=";

  release."0.12.2".sha256 = "sha256-lSTlbpkSuAY6B9cqofXSlDk2VchtqfZpRQ0+y/BAbEY=";

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