| |
@@ -4,23 +4,17 @@
|
| |
|
| |
let --| When changing that union, update the `all` attribute too
|
| |
Union =
|
| |
- < Rawhide | F32 | F33 | F34 | Epel8 >
|
| |
+ < Rawhide | F33 | F34 | Epel8 >
|
| |
|
| |
- let eq_def =
|
| |
- { Rawhide = False, F32 = False, F33 = False, F34 = False, Epel8 = False }
|
| |
+ let eq_def = { Rawhide = False, F33 = False, F34 = False, Epel8 = False }
|
| |
|
| |
let show =
|
| |
λ(branch : Union) →
|
| |
merge
|
| |
- { Rawhide = "rawhide"
|
| |
- , F32 = "f32"
|
| |
- , F33 = "f33"
|
| |
- , F34 = "f34"
|
| |
- , Epel8 = "epel8"
|
| |
- }
|
| |
+ { Rawhide = "rawhide", F33 = "f33", F34 = "f34", Epel8 = "epel8" }
|
| |
branch
|
| |
|
| |
- let all = [ Union.Rawhide, Union.F34, Union.F33, Union.F32, Union.Epel8 ]
|
| |
+ let all = [ Union.Rawhide, Union.F34, Union.F33, Union.Epel8 ]
|
| |
|
| |
let isRawhide = λ(branch : Union) → merge (eq_def ⫽ { Rawhide = True }) branch
|
| |
|
| |
@@ -41,18 +35,12 @@
|
| |
, target =
|
| |
λ(branch : Union) →
|
| |
merge
|
| |
- { Rawhide = "rawhide"
|
| |
- , F32 = "f32"
|
| |
- , F33 = "f33"
|
| |
- , F34 = "f34"
|
| |
- , Epel8 = "epel8"
|
| |
- }
|
| |
+ { Rawhide = "rawhide", F33 = "f33", F34 = "f34", Epel8 = "epel8" }
|
| |
branch
|
| |
, arches =
|
| |
λ(branch : Union) →
|
| |
merge
|
| |
{ Rawhide = Arches.fedora
|
| |
- , F32 = Arches.fedora
|
| |
, F33 = Arches.fedora
|
| |
, F34 = Arches.fedora
|
| |
, Epel8 = Arches.epel8
|
| |
@@ -63,8 +51,6 @@
|
| |
merge
|
| |
{ Rawhide =
|
| |
"https://kojipkgs.fedoraproject.org/repos/rawhide/latest/x86_64/"
|
| |
- , F32 =
|
| |
- "https://kojipkgs.fedoraproject.org/repos/f32-build/latest/x86_64/"
|
| |
, F33 =
|
| |
"https://kojipkgs.fedoraproject.org/repos/f33-build/latest/x86_64/"
|
| |
, F34 =
|
| |
Ro be merged Tue 2021-05-25 according to
https://fedorapeople.org/groups/schedule/f-34/f-34-key-tasks.html