Eelco Dolstra dcae46ab14 Add github URIs ... For example, github:edolstra/dwarffs is more-or-less equivalent to https://github.com/edolstra/dwarffs.git. It's a much faster way to get GitHub repositories: it fetches tarballs rather than entire Git repositories. It also allows fetching specific revisions by hash without specifying a ref (e.g. a branch name): github:edolstra/dwarffs/41c0c1bf292ea3ac3858ff393b49ca1123dbd553		2019-02-11 12:05:17 +01:00
..
fetchGit.cc	Initial flake support	2019-02-11 12:00:13 +01:00
fetchGit.hh	Initial flake support	2019-02-11 12:00:13 +01:00
fetchMercurial.cc	Solve hg "abandoned transaction" issue	2018-12-06 13:57:59 +01:00
flake.cc	Add github URIs	2019-02-11 12:05:17 +01:00
fromTOML.cc	Fix build on 32-bit systems and macOS	2018-07-11 21:12:18 +02:00