| |
@@ -4,17 +4,23 @@
|
| |
|
| |
let --| When changing that union, update the `all` attribute too
|
| |
Union =
|
| |
- < Rawhide | F32 | F33 | Epel8 >
|
| |
+ < Rawhide | F32 | F33 | F34 | Epel8 >
|
| |
|
| |
- let eq_def = { Rawhide = False, F32 = False, F33 = False, Epel8 = False }
|
| |
+ let eq_def =
|
| |
+ { Rawhide = False, F32 = False, F33 = False, F34 = False, Epel8 = False }
|
| |
|
| |
let show =
|
| |
λ(branch : Union) →
|
| |
merge
|
| |
- { Rawhide = "rawhide", F32 = "f32", F33 = "f33", Epel8 = "epel8" }
|
| |
+ { Rawhide = "rawhide"
|
| |
+ , F32 = "f32"
|
| |
+ , F33 = "f33"
|
| |
+ , F34 = "f34"
|
| |
+ , Epel8 = "epel8"
|
| |
+ }
|
| |
branch
|
| |
|
| |
- let all = [ Union.Rawhide, Union.F33, Union.F32, Union.Epel8 ]
|
| |
+ let all = [ Union.Rawhide, Union.F34, Union.F33, Union.F32, Union.Epel8 ]
|
| |
|
| |
let isRawhide = λ(branch : Union) → merge (eq_def ⫽ { Rawhide = True }) branch
|
| |
|
| |
@@ -35,7 +41,12 @@
|
| |
, target =
|
| |
λ(branch : Union) →
|
| |
merge
|
| |
- { Rawhide = "rawhide", F32 = "f32", F33 = "f33", Epel8 = "epel8" }
|
| |
+ { Rawhide = "rawhide"
|
| |
+ , F32 = "f32"
|
| |
+ , F33 = "f33"
|
| |
+ , F34 = "f34"
|
| |
+ , Epel8 = "epel8"
|
| |
+ }
|
| |
branch
|
| |
, arches =
|
| |
λ(branch : Union) →
|
| |
@@ -43,6 +54,7 @@
|
| |
{ Rawhide = Arches.fedora
|
| |
, F32 = Arches.fedora
|
| |
, F33 = Arches.fedora
|
| |
+ , F34 = Arches.fedora
|
| |
, Epel8 = Arches.epel8
|
| |
}
|
| |
branch
|
| |
@@ -55,6 +67,8 @@
|
| |
"https://kojipkgs.fedoraproject.org/repos/f32-build/latest/x86_64/"
|
| |
, F33 =
|
| |
"https://kojipkgs.fedoraproject.org/repos/f33-build/latest/x86_64/"
|
| |
+ , F34 =
|
| |
+ "https://kojipkgs.fedoraproject.org/repos/f34-build/latest/x86_64/"
|
| |
, Epel8 =
|
| |
"https://kojipkgs.fedoraproject.org/repos/epel8-build/latest/x86_64/"
|
| |
}
|
| |