diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/hierarchy-builder')
-rw-r--r-- | nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix b/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix index ee9c6cb75cff..ed14217d4f35 100644 --- a/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix +++ b/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix @@ -2,15 +2,14 @@ let versions = { - "0.9.0" = { - rev = "v0.9.0"; - sha256 = "1yss9f732r7bjaswgn46vd1rr3688ir0vz37wxkmy598xhrnd2ak"; + "0.9.1" = { + rev = "v0.9.1"; + sha256 = "00fibahkmvisr16ffaxfrc00gcijsv9rgk4v8ibmy1jv0iyk875b"; }; }; version = x: versions.${x} // {version = x;}; params = { - "8.10" = version "0.9.0"; - "8.11" = version "0.9.0"; + "8.11" = version "0.9.1"; }; param = params.${coq.coq-version}; in |