Updates

70 Updates
packages: coq
coq-8.9.1-3.fc31
created by rjones 4 years ago for Fedora 31
stable
0
0
coq-8.9.1-2.fc31
created by jjames 4 years ago for Fedora 31
stable
0
0
coq-8.6.1-1.fc27
created by rjones 6 years ago for Fedora 27
stable
0
0
coq-8.6-1.fc25, flocq-2.5.2-4.fc25, & 5 more
created by jjames 6 years ago for Fedora 25
stable
0
0
coq-8.5pl3-1.fc25, flocq-2.5.2-2.fc25, & 5 more
created by jjames 7 years ago for Fedora 25
stable
0
0
coq-8.5pl2-1.fc24, flocq-2.5.1-3.fc24, & 5 more
created by jjames 7 years ago for Fedora 24
stable
0
0
alt-ergo-1.01-2.fc24, coq-8.5pl1-1.fc24, & 7 more
created by jjames 7 years ago for Fedora 24
stable
0
0
coq-8.4pl6-1.fc22, flocq-2.4.0-7.fc22, & 5 more
created by jjames 8 years ago for Fedora 22
stable
3
0
coq-8.4pl5-2.fc21, flocq-2.4.0-3.fc21, & 6 more
created by jjames 9 years ago for Fedora 21
stable
3
0
coq-8.4pl4-4.fc21
created by pbrobinson 9 years ago for Fedora 21
stable
3
0

Copyright © 2007-2023 Red Hat, Inc. and others.

Running bodhi-server 7.2.2 on bodhi-web-93-wjkwf.

bodhi is Free Software. Please file issues if you have any problems. Read the documentation.

• Composes • Legal • Privacy policy •