diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-22 17:07:25 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-22 17:07:25 +0000 |
| commit | 24474528e42acedb96e5464a3270ce1c07e18a8a (patch) | |
| tree | f97e3d71d01da30ef4f74392b169e18f9087925a /pkgs/development/coq-modules | |
| parent | 25576df64c30480df91844af019d626e0385c106 (diff) | |
| download | nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.tar nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.tar.gz nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.tar.bz2 nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.tar.lz nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.tar.xz nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.tar.zst nixpkgs-24474528e42acedb96e5464a3270ce1c07e18a8a.zip | |
coqPackages.contribs.containers: fix url
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/contribs/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/contribs/default.nix b/pkgs/development/coq-modules/contribs/default.nix index e7ea6f9a911..88ef8011aa8 100644 --- a/pkgs/development/coq-modules/contribs/default.nix +++ b/pkgs/development/coq-modules/contribs/default.nix @@ -189,10 +189,10 @@ let mkContrib = repo: revs: param: sha256 = "1ddwzg12pbzpnz3njin4zhpph92kscrbsn3bzds26yj8fp76zc33"; }; - containers = mkContrib "containers" [ ] { - version = "v8.6.0-10-g2432994"; - rev = "2432994b4a0a63f28b21aad23d0c3c90c7630890"; - sha256 = "1q0i20qag2c8jh6jw63s09d8nr6m1zaz4hqblg5mmmp5zh6fllk6"; + containers = mkContrib "containers" [ "8.6" ] { + version = "8.6.0"; + rev = "fa1fec7"; + sha256 = "1ns0swlr8hzb1zc7fsyd3vws1vbq0vvfxcf0lszqnca9c9hfkfy4"; }; continuations = mkContrib "continuations" [ ] { |