aboutsummaryrefslogtreecommitdiff
path: root/dev/nixpkgs.nix
diff options
context:
space:
mode:
authorThéo Zimmermann2020-01-15 10:54:03 +0100
committerThéo Zimmermann2020-01-15 10:54:03 +0100
commita8cb0bb1cbdf304da81dc292c9fddf361207142e (patch)
treecdbb6e7637137879f956c00cf9b9f382e0e76752 /dev/nixpkgs.nix
parenta7e788403cae2c82bcb2b39f8576318a175ee788 (diff)
parentc8d2da3db29ada93ed46a68dd789ccf16f22401c (diff)
Merge PR #11401: [nix] Dune-2 and other improvements
Diffstat (limited to 'dev/nixpkgs.nix')
-rw-r--r--dev/nixpkgs.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/nixpkgs.nix b/dev/nixpkgs.nix
index 677377f868..54baaee1fe 100644
--- a/dev/nixpkgs.nix
+++ b/dev/nixpkgs.nix
@@ -1,4 +1,4 @@
import (fetchTarball {
- url = "https://github.com/NixOS/nixpkgs/archive/f4ad230f90ef312695adc26f256036203e9c70af.tar.gz";
- sha256 = "0cdd275dz3q51sknn7s087js81zvaj5riz8f29id6j6chnyikzjq";
+ url = "https://github.com/NixOS/nixpkgs/archive/8da81465c19fca393a3b17004c743e4d82a98e4f.tar.gz";
+ sha256 = "1f3s27nrssfk413pszjhbs70wpap43bbjx2pf4zq5x2c1kd72l6y";
})