Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 21 lines 316 B view raw
1{ 2 buildDunePackage, 3 mirage-clock, 4}: 5 6buildDunePackage { 7 pname = "mirage-clock-solo5"; 8 9 inherit (mirage-clock) 10 version 11 src 12 ; 13 14 propagatedBuildInputs = [ 15 mirage-clock 16 ]; 17 18 meta = mirage-clock.meta // { 19 description = "Paravirtual implementation of the MirageOS Clock interface"; 20 }; 21}