cede594e15
Add dhall-haskell submodule
...
We need the latest version of the Dhall interpreter, but that needs
a pin to Nixpkgs release-17.09. Use submodule rather than a fetchgit
because dhall-haskell requires a submodule itself, and fetgit does
not pull this in.
2019-10-05 20:41:02 +02:00
e4b6421545
Add pinned test binaries
2019-10-04 12:46:21 +02:00
b03c49c31c
Add a pinned fetch list for Genode Labs binaries
2019-09-30 14:40:09 +02:00
41071d2625
License under Hippocratic-1.1
2019-09-27 12:38:35 +02:00
316259817c
Add NOVA, update release.nix
2019-09-25 13:48:34 +02:00
734f38fabb
Refactor for clarity
...
Mode around for the sake of clarity, pin Nixpkgs with fetchGit for
convenience.
2019-09-25 13:48:34 +02:00
db934b29d9
Clean dead expressions
2019-09-25 13:48:34 +02:00
272f6c8277
Fix genode detection in overlay
2019-09-25 13:48:34 +02:00
837b701018
Nixpkgs overlay
2019-09-25 13:48:26 +02:00
15bdde1726
useLLVM
2019-09-03 15:16:07 +02:00
3ad62e086e
Initial commit
2019-08-18 16:07:11 +02:00