Releases
Updates
Overrides
Log in
Updates
83 Updates
packages:
coq
Status:
pending
testing
stable
unpushed
obsolete
Releases:
all current
all pending
all archived
Fedora 42 Flatpaks
Fedora 42
Fedora 41 Flatpaks
Fedora 41
Fedora EPEL 9 Next
Fedora EPEL 9
Fedora EPEL 8
Fedora EPEL 10.1
Fedora EPEL 10.0
Fedora 43 Flatpaks
Fedora 43 Containers
Fedora 43
Fedora ELN
Fedora 42 Containers
Fedora 41 Containers
Fedora 40 Flatpaks
Fedora 40 Containers
Fedora 40
Fedora 39 Flatpaks
Fedora 39 Containers
Fedora 39
Fedora 38 Modular
Fedora 38 Flatpaks
Fedora 38 Containers
Fedora 38
Fedora 37 Modular
Fedora 37 Flatpaks
Fedora 37 Containers
Fedora 37
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 Next
Fedora Epel 8 Modular
Fedora EPEL 7
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
coq-8.4pl6-1.fc22, flocq-2.4.0-7.fc22, & 5 more
created by
jjames
10 years ago
for
Fedora 22
stable
3
0
coq-8.4pl5-2.fc21, flocq-2.4.0-3.fc21, & 6 more
created by
jjames
11 years ago
for
Fedora 21
stable
3
0
coq-8.4pl4-4.fc21
created by
pbrobinson
11 years ago
for
Fedora 21
stable
3
0
Previous
1
2
3
4
5
Next
Internal Server Error!
The server encountered an internal error