69 Commits

Author	SHA1	Message	Date
Eelco Dolstra	543288b649	Doh	2020-01-22 16:18:17 +01:00
Eelco Dolstra	9f4d8c6170	Pluggable fetchers ... Flakes are now fetched using an extensible mechanism. Also lots of other flake cleanups.	2020-01-21 22:56:04 +01:00
Eelco Dolstra	62f712c8ae	Update flake.lock	2020-01-06 12:51:15 +01:00
Eelco Dolstra	31c240ee8b	Update flake.lock	2019-12-16 20:17:46 +01:00
Eelco Dolstra	850f73045f	Fix GitHub test	2019-11-06 14:48:35 +01:00
Eelco Dolstra	9cac895406	Use upstream nlohmann_json	2019-10-22 20:12:23 +02:00
Eelco Dolstra	d343c03edb	Temporary compatibility hack	2019-10-08 20:05:16 +02:00
Eelco Dolstra	21304c11f9	uri -> url for consistency	2019-10-08 17:00:55 +02:00
Eelco Dolstra	204291f059	Merge release.nix, shell.nix and release-common.nix into flake.nix ... Also provide a Nixpkgs overlay, memoize Nixpkgs evaluation and fit the githubFlakes test.	2019-10-04 10:45:33 +02:00
Eelco Dolstra	c67407172d	Record original flakerefs in the lock file again ... If 'input.<name>.uri' changes, then the entry in the lockfile for input <name> should be considered stale. Also print some messages when lock file entries are added/updated.	2019-09-18 21:57:57 +02:00
Eelco Dolstra	80c36d4562	Remove 'name' attribute from flakes ... This is no longer needed since flakes are given an identity in the 'inputs' attribute.	2019-08-30 16:38:27 +02:00
Eelco Dolstra	d749f5132b	Update flake.{nix,lock}	2019-08-30 13:06:48 +02:00
Eelco Dolstra	e2d7569685	Add a test for GitHub flakes ... Fixes #2889.	2019-06-11 21:46:46 +02:00
Eelco Dolstra	4d31cf83f2	Update flake.lock	2019-06-04 20:57:18 +02:00
Eelco Dolstra	094539ef4a	Rename requires -> inputs, provides -> outputs ... Issue #2828.	2019-05-31 09:59:48 +02:00
Eelco Dolstra	68b17ef731	Update flake.lock	2019-05-09 15:08:09 +02:00
Eelco Dolstra	455aa8d9ea	Add newline at end of lockfile ... Suggested by @grahamc.	2019-05-08 18:28:01 +02:00
Eelco Dolstra	7ec7bad2f8	Update flake.lock	2019-04-19 15:52:40 +02:00
Eelco Dolstra	54ca4b4e81	Add flake lockfile	2019-04-16 15:47:15 +02:00