Change formatting of record fields

... as requested by @Profpatsch
This commit is contained in:
Gabriel Gonzalez 2020-02-16 16:02:24 -08:00
parent 822ad560b4
commit 32ed1c59b3
3 changed files with 17 additions and 34 deletions

View File

@ -12,7 +12,6 @@ let
let let
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "dhall-lang"; owner = "dhall-lang";
repo = "dhall-lang"; repo = "dhall-lang";
inherit rev sha256; inherit rev sha256;
@ -29,49 +28,41 @@ in
# no longer supported by the latest version of the standard # no longer supported by the latest version of the standard
"7.0.0" = { "7.0.0" = {
rev = "f0509b403ace4b8a72ebb5fa9c473b9aeabeaf33"; rev = "f0509b403ace4b8a72ebb5fa9c473b9aeabeaf33";
sha256 = "00ldlvqfh411vnrnc41zfnlvgfanwfd3l8hdia8kni3r8q9qmd71"; sha256 = "00ldlvqfh411vnrnc41zfnlvgfanwfd3l8hdia8kni3r8q9qmd71";
}; };
"8.0.0" = { "8.0.0" = {
rev = "136a3491753fef251b2087031617d1ee1053f285"; rev = "136a3491753fef251b2087031617d1ee1053f285";
sha256 = "0haxd5dhi5bmg06a0hx1blpivmwrcnndydwagibj3zvch4knyi2q"; sha256 = "0haxd5dhi5bmg06a0hx1blpivmwrcnndydwagibj3zvch4knyi2q";
}; };
"9.0.0" = { "9.0.0" = {
rev = "6cbf57c946e7e6576babc23a38320e53ecfa6bee"; rev = "6cbf57c946e7e6576babc23a38320e53ecfa6bee";
sha256 = "1r06fijszyifq5b4j6libwkm06g8693m9n5c4kq61dvzrjfd2gim"; sha256 = "1r06fijszyifq5b4j6libwkm06g8693m9n5c4kq61dvzrjfd2gim";
}; };
"10.0.0" = { "10.0.0" = {
rev = "ecbf82785cff406bbd162bbabf3df6f817c805e0"; rev = "ecbf82785cff406bbd162bbabf3df6f817c805e0";
sha256 = "0gxkr9649jqpykdzqjc98gkwnjry8wp469037brfghyidwsm021m"; sha256 = "0gxkr9649jqpykdzqjc98gkwnjry8wp469037brfghyidwsm021m";
}; };
"11.0.0" = { "11.0.0" = {
rev = "8098184d17c3aecc82674a7b874077a7641be05a"; rev = "8098184d17c3aecc82674a7b874077a7641be05a";
sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi"; sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi";
}; };
"11.1.0" = { "11.1.0" = {
rev = "31e90e1996f6c4cb50e03ccb1f3c45beb4bd278c"; rev = "31e90e1996f6c4cb50e03ccb1f3c45beb4bd278c";
sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi"; sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi";
}; };
"12.0.0" = { "12.0.0" = {
rev = "9f248138f69ee5e22192dc3d0417d5c77b189e04"; rev = "9f248138f69ee5e22192dc3d0417d5c77b189e04";
sha256 = "1gbr0376sfamp0ibhcbxz4vaxr6ipv42y42p5wyksfhz3ls9x5ph"; sha256 = "1gbr0376sfamp0ibhcbxz4vaxr6ipv42y42p5wyksfhz3ls9x5ph";
}; };
"13.0.0" = { "13.0.0" = {
rev = "48db9e1ff1f8881fa4310085834fbc19e313ebf0"; rev = "48db9e1ff1f8881fa4310085834fbc19e313ebf0";
sha256 = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9"; sha256 = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9";
}; };
} }

View File

@ -15,7 +15,6 @@ let
let let
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "dhall-lang"; owner = "dhall-lang";
repo = "dhall-kubernetes"; repo = "dhall-kubernetes";
inherit rev sha256; inherit rev sha256;
@ -31,13 +30,11 @@ in
# 2.1.0 was the first version to introduce a top-level `package.dhall` file # 2.1.0 was the first version to introduce a top-level `package.dhall` file
"2.1.0" = { "2.1.0" = {
rev = "bbfec3d8548b605f1c9628f34029ab4a7d928839"; rev = "bbfec3d8548b605f1c9628f34029ab4a7d928839";
sha256 = "10zkigj05khiy6w2sqcm5nw7d47r5k52xq8np8q86h0phy798g96"; sha256 = "10zkigj05khiy6w2sqcm5nw7d47r5k52xq8np8q86h0phy798g96";
}; };
"3.0.0" = { "3.0.0" = {
rev = "3c6d09a9409977cdde58a091d76a6d20509ca4b0"; rev = "3c6d09a9409977cdde58a091d76a6d20509ca4b0";
sha256 = "1r4awh770ghsrwabh5ddy3jpmrbigakk0h32542n1kh71w3cdq1h"; sha256 = "1r4awh770ghsrwabh5ddy3jpmrbigakk0h32542n1kh71w3cdq1h";
}; };
} }

View File

@ -17,7 +17,6 @@ let
let let
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "EarnestResearch"; owner = "EarnestResearch";
repo = "dhall-packages"; repo = "dhall-packages";
inherit rev sha256; inherit rev sha256;
@ -34,25 +33,21 @@ in
let let
k8s_6a47bd = dhall-kubernetes."3.0.0".override { k8s_6a47bd = dhall-kubernetes."3.0.0".override {
rev = "6a47bd50c4d3984a13570ea62382a3ad4a9919a4"; rev = "6a47bd50c4d3984a13570ea62382a3ad4a9919a4";
sha256 = "1azqs0x2kia3xw93rfk2mdi8izd7gy9aq6qzbip32gin7dncmfhh"; sha256 = "1azqs0x2kia3xw93rfk2mdi8izd7gy9aq6qzbip32gin7dncmfhh";
}; };
k8s_4ad581 = dhall-kubernetes."3.0.0".override { k8s_4ad581 = dhall-kubernetes."3.0.0".override {
rev = "4ad58156b7fdbbb6da0543d8b314df899feca077"; rev = "4ad58156b7fdbbb6da0543d8b314df899feca077";
sha256 = "12fm70qbhcainxia388svsay2cfg9iksc6mss0nvhgxhpypgp8r0"; sha256 = "12fm70qbhcainxia388svsay2cfg9iksc6mss0nvhgxhpypgp8r0";
}; };
k8s_fee24c = dhall-kubernetes."3.0.0".override { k8s_fee24c = dhall-kubernetes."3.0.0".override {
rev = "fee24c0993ba0b20190e2fdb94e386b7fb67252d"; rev = "fee24c0993ba0b20190e2fdb94e386b7fb67252d";
sha256 = "11d93z8y0jzrb8dl43gqha9z96nxxqkl7cbxpz8hw8ky9x6ggayk"; sha256 = "11d93z8y0jzrb8dl43gqha9z96nxxqkl7cbxpz8hw8ky9x6ggayk";
}; };
in in
{ rev = "8d228f578fbc7bb16c04a7c9ac8c6c7d2e13d1f7"; { rev = "8d228f578fbc7bb16c04a7c9ac8c6c7d2e13d1f7";
sha256 = "1v4y1x13lxy6cxf8xqc6sb0mc4mrd4frkxih95v9q2wxw4vkw2h7"; sha256 = "1v4y1x13lxy6cxf8xqc6sb0mc4mrd4frkxih95v9q2wxw4vkw2h7";
dependencies = [ dependencies = [