Releases
Updates
Overrides
Login
Updates
98 Updates
packages:
why3
Status:
pending
testing
stable
unpushed
obsolete
Releases:
all current
all pending
all archived
Fedora 38 Modular
Fedora 38 Flatpaks
Fedora 38 Containers
Fedora 38
Fedora 37 Modular
Fedora 37 Flatpaks
Fedora 37 Containers
Fedora 37
Fedora EPEL 9 Next
Fedora EPEL 9
Fedora EPEL 8 Next
Fedora EPEL 8
Fedora EPEL 7
Fedora 40 Containers
Fedora 40
Fedora 39 Flatpaks
Fedora 39 Containers
Fedora 39
Fedora ELN
Fedora 36 Modular
Fedora 36 Flatpaks
Fedora 36 Containers
Fedora 36
Fedora 35 Modular
Fedora 35 Flatpaks
Fedora 35 Containers
Fedora 35
Fedora 34 Modular
Fedora 34 Flatpaks
Fedora 34 Containers
Fedora 34
Fedora 33 Modular
Fedora 33 Flatpaks
Fedora 33 Containers
Fedora 33
Fedora 32 Modular
Fedora 32 Flatpaks
Fedora 32 Containers
Fedora 32
Fedora 31 Modular
Fedora 31 Flatpaks
Fedora 31 Containers
Fedora 31
Fedora 30 Modular
Fedora 30 Flatpaks
Fedora 30 Containers
Fedora 30
Fedora 29 Modular
Fedora 29 Flatpaks
Fedora 29 Containers
Fedora 29
Fedora 28 Modular
Fedora 28 Containers
Fedora 28
Fedora 27 Server Edition
Fedora 27
Fedora 26
Fedora 25
Fedora 24
Fedora 23
Fedora 22
Fedora 21
Fedora Epel 8 Modular
Fedora EPEL 6
Fedora EPEL 5
Type:
bugfix
security
newpackage
enhancement
unspecified
Severity:
unspecified
low
medium
high
urgent
From side-tag:
False
True
Gating status:
failed
greenwave_failed
ignored
passed
queued
running
waiting
User:
Clear Filters
frama-c-27.1-4.fc39, not-ocamlfind-0.11-2.fc39, & 4 more
created by
jjames
2 weeks ago
for
Fedora 39
stable
0
0
frama-c-27.1-4.fc40, not-ocamlfind-0.11-2.fc40, & 4 more
created by
jjames
2 weeks ago
for
Fedora 40
stable
0
0
cadical-1.7.0-1.fc39, cvc5-1.0.5-2.fc39, & 5 more
created by
jjames
2 months ago
for
Fedora 39
stable
0
0
alt-ergo-2.3.3-10.fc39, apron-0.9.14-0.4.beta.2.fc39, & 9 more
created by
jjames
2 months ago
for
Fedora 39
stable
0
0
why3-1.6.0-3.fc39
created by
jjames
2 months ago
for
Fedora 39
stable
0
0
frama-c-27.0-2.fc39, mpfr-4.2.0-1.fc39, & 2 more
created by
jjames
2 months ago
for
Fedora 39
stable
0
0
why3-1.6.0-1.fc39
created by
rjones
2 months ago
for
Fedora 39
stable
0
0
coq-8.17.0-1.fc38, flocq-4.1.1-1.fc38, & 4 more
created by
jjames
5 months ago
for
Fedora 38
stable
0
0
coq-8.17.0-1.fc39, flocq-4.1.1-1.fc39, & 4 more
created by
jjames
5 months ago
for
Fedora 39
stable
0
0
alt-ergo-2.3.3-5.fc38, apron-0.9.13-16.fc38, & 181 more
created by
rjones
8 months ago
for
Fedora 38
stable
0
0
why3-1.5.1-4.fc38
created by
jjames
8 months ago
for
Fedora 38
stable
0
0
coq-8.16.1-1.fc37, flocq-4.1.0-2.fc37, & 5 more
created by
jjames
10 months ago
for
Fedora 37
stable
0
0
coq-8.16.1-1.fc38, flocq-4.1.0-2.fc38, & 5 more
created by
jjames
10 months ago
for
Fedora 38
stable
0
0
frama-c-25.0-7.fc38, ocaml-base-0.15.1-1.fc38, & 32 more
created by
jjames
10 months ago
for
Fedora 38
stable
0
0
flocq-3.4.2-4.fc35, gappalib-coq-1.4.6-10.fc35, & 1 more
created by
jjames
11 months ago
for
Fedora 35
stable
1
1
coq-8.16.0-1.fc37, flocq-4.1.0-1.fc37, & 5 more
created by
jjames
a year ago
for
Fedora 37
stable
0
0
coq-8.16.0-1.fc38, flocq-4.1.0-1.fc38, & 5 more
created by
jjames
a year ago
for
Fedora 38
stable
0
0
flocq-3.4.3-5.fc37, frama-c-25.0-3.fc37, & 39 more
created by
jjames
a year ago
for
Fedora 37
stable
0
0
flocq-3.4.3-5.fc38, frama-c-25.0-3.fc38, & 38 more
created by
jjames
a year ago
for
Fedora 38
stable
0
0
why3-1.5.0-1.fc37
created by
jjames
a year ago
for
Fedora 37
stable
0
0
Previous
1
2
3
4
5
Next
Internal Server Error!
The server encountered an internal error