From b88e499cae2f9d63c136ec18da994194ec58e136 Mon Sep 17 00:00:00 2001
From: Mihai Fufezan <fufexan@pm.me>
Date: Fri, 27 Aug 2021 13:20:17 +0300
Subject: [PATCH] Pin nixpkgs in flake.nix

---
 README.md  | 12 ++++++++++++
 flake.lock | 12 +++++++-----
 flake.nix  |  2 ++
 3 files changed, 21 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 656dc4b..9c6f537 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,18 @@ BLIP is distributed under the AGPL-3.0-only license.
 
     opam install blip
 
+## Building with Nix
+
+Set up Nix Flakes, then run:
+
+    nix build
+
+## Developing with Nix
+
+To get a development shell with all dependencies and build tools installed, run:
+
+    nix develop
+
 ## Building
 
 To build from source, generate documentation, and run tests, use `dune`:
diff --git a/flake.lock b/flake.lock
index c82521b..ddd5691 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,16 +2,18 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1625604429,
-        "narHash": "sha256-qnQTLukEtqV5XL77l72PeG2O697j8bou4TsCLt7EN7Y=",
+        "lastModified": 1629880049,
+        "narHash": "sha256-HOxVkROGlDA57D0Tg/0nus938o4HzmqacOiCoT1H5tE=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "a2cfe3fb7ee689165a5dfc35b39bc16000c68082",
+        "rev": "88226ea038e538e09c272a7c56ba73c3f5eed57f",
         "type": "github"
       },
       "original": {
-        "id": "nixpkgs",
-        "type": "indirect"
+        "owner": "NixOS",
+        "ref": "nixos-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
       }
     },
     "root": {
diff --git a/flake.nix b/flake.nix
index 253396d..a16c80e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,6 +1,8 @@
 {
   description = "BLIP: BLoom-then-flIP";
 
+  inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+
   outputs = { self, nixpkgs }:
     let
       supportedSystems = [