File tree 3 files changed +6
-8
lines changed
3 files changed +6
-8
lines changed Original file line number Diff line number Diff line change @@ -78,9 +78,8 @@ source-repository-package
78
78
-- benchmark dependency
79
79
source-repository-package
80
80
type: git
81
- location: https://github.com/berberman/operational
82
- tag: 0e062895678f49fd673ae493371262cfb8c5ab56
83
- -- https://github.com/HeinrichApfelmus/operational/pull/26
81
+ location: https://github.com/HeinrichApfelmus/operational
82
+ tag: 16e19aaf34e286f3d27b3988c61040823ec66537
84
83
85
84
write-ghc-environment-files: never
86
85
Original file line number Diff line number Diff line change 85
85
ghc-lib-parser-ex = hself . ghc-lib-parser-ex_9_0_0_4 ;
86
86
87
87
operational = hself . callCabal2nix "operational" ( pkgs . fetchFromGitHub {
88
- owner = "berberman " ;
88
+ owner = "HeinrichApfelmus " ;
89
89
repo = "operational" ;
90
- rev = "0e062895678f49fd673ae493371262cfb8c5ab56 " ;
90
+ rev = "16e19aaf34e286f3d27b3988c61040823ec66537 " ;
91
91
sha256 = "P+aocEcqCN8klnW3IMrmIqq6ztBZJxk4sBp1ewN6YaA=" ;
92
92
} ) { } ;
93
93
Original file line number Diff line number Diff line change @@ -95,9 +95,8 @@ extra-deps:
95
95
# https://github.com/diagrams/active/pull/36
96
96
97
97
# benchmark dependency
98
- - github : berberman/operational
99
- commit : 0e062895678f49fd673ae493371262cfb8c5ab56
100
- # https://github.com/HeinrichApfelmus/operational/pull/26
98
+ - github : HeinrichApfelmus/operational
99
+ commit : 16e19aaf34e286f3d27b3988c61040823ec66537
101
100
102
101
configure-options :
103
102
ghcide :
You can’t perform that action at this time.
0 commit comments