diff options
| author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2020-06-04 10:25:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-04 10:25:19 +0200 |
| commit | cc1f954bc417fb6f9a100539d36f2f78f75c8bb9 (patch) | |
| tree | d78cad33f609ddc036486423d699c0bdbd0154e0 /pkgs/development/coq-modules/hierarchy-builder | |
| parent | 2d2f04b6a457922627e43e97e3e6e2cde86bc69b (diff) | |
ocamlPackages.elpi: 1.10.2 -> 1.11.0
coqPackages.coq-elpi: 1.3.1 -> 1.4.0 coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
Diffstat (limited to 'pkgs/development/coq-modules/hierarchy-builder')
| -rw-r--r-- | pkgs/development/coq-modules/hierarchy-builder/default.nix | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/hierarchy-builder/default.nix b/pkgs/development/coq-modules/hierarchy-builder/default.nix index ee9c6cb75cff6..ed14217d4f356 100644 --- a/pkgs/development/coq-modules/hierarchy-builder/default.nix +++ b/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 |