diff options
| author | coqbot-app[bot] | 2020-09-22 11:14:46 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-22 11:14:46 +0000 |
| commit | 5a9538ed71cdcbbed6f8422b66070f0a987b5f59 (patch) | |
| tree | a164dccf8307489d2505dc98ee2439da2bf4cd0e /dev | |
| parent | 16813b57cee24ffd46e4d3d50efa63d6c61fd9e6 (diff) | |
| parent | febcda97deaadb9a68f75949a775cfd88e7d04f0 (diff) | |
Merge PR #13049: [configure] Fix version checks for lablgtk and zarith
Reviewed-by: SkySkimmer
Reviewed-by: vbgl
Ack-by: Zimmi48
Ack-by: JasonGross
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/nixpkgs.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/nixpkgs.nix b/dev/nixpkgs.nix index e798645ed0..a582a70e0a 100644 --- a/dev/nixpkgs.nix +++ b/dev/nixpkgs.nix @@ -1,4 +1,4 @@ import (fetchTarball { - url = "https://github.com/NixOS/nixpkgs/archive/3c0e3697520cbe7d9eb3a64bfd87de840bf4aa77.tar.gz"; - sha256 = "1vx7kyaq0i287dragjgfdj94ggwr3ky2b7bq32l8rkd2k3vc3gl5"; + url = "https://github.com/NixOS/nixpkgs/archive/0bbeca2ff952e6a171534793ddd0fa97c8f9546a.tar.gz"; + sha256 = "0h1y4ffvyvkqs6k2pak02pby25va7c6c1y4p8xkwlzqwswxqxvfl"; }) |