Bump nixpkgs

vaibhavsagar · vaibhavsagar · commit 21dc6edb6f24 · 2018-01-29T09:34:18.000+08:00
diff --git a/idris/versions.json b/idris/versions.json
@@ -2,7 +2,7 @@
   "nixpkgs": {
     "owner": "NixOS",
     "repo": "nixpkgs-channels",
-    "rev": "92d088e891edee8dba99b1cab6889445b6ad3bee",
-    "sha256": "1kg1lbgwc222x4rvgwbmfglhi74wspxvysaw1w96016pf29h3nf4"
+    "rev": "c2b668ee7264000b10d554754150ea9305b6ef3d",
+    "sha256": "1nqjsl163dahghidh06k3ynzq6kkmb9pzj1njw6ilfx7axygkyx8"
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`	`"nixpkgs": {`
`3`	`3`	`"owner": "NixOS",`
`4`	`4`	`"repo": "nixpkgs-channels",`
`5`		`- "rev": "92d088e891edee8dba99b1cab6889445b6ad3bee",`
`6`		`- "sha256": "1kg1lbgwc222x4rvgwbmfglhi74wspxvysaw1w96016pf29h3nf4"`
	`5`	`+ "rev": "c2b668ee7264000b10d554754150ea9305b6ef3d",`
	`6`	`+ "sha256": "1nqjsl163dahghidh06k3ynzq6kkmb9pzj1njw6ilfx7axygkyx8"`
`7`	`7`	`}`
`8`	`8`	`}`