2019-11-15 16:26:08 +01:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
2019-12-09 04:18:27 +01:00
|
|
|
import (pkgs.third_party.fetchFromGitHub {
|
2019-11-15 16:26:08 +01:00
|
|
|
owner = "tweag";
|
|
|
|
repo = "ormolu";
|
|
|
|
rev = "a7076c0f83e5c06ea9067b71171859fa2ba8afd9";
|
|
|
|
sha256 = "1p4n2ja4ciw3qfskn65ggpy37mvgf2sslxqmqn8s8jjarnqcyfny";
|
2019-12-09 04:18:27 +01:00
|
|
|
}) { pkgs = pkgs.third_party; }
|