Updates

51 Updates
packages: zenon
zenon-0.8.4-6.fc32
created by jjames 3 years ago for Fedora 32
stable
0
0
zenon-0.8.4-5.fc31
created by jjames 3 years ago for Fedora 31
stable
0
0
zenon-0.8.2-9.fc27
created by jjames 5 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 6 years ago for Fedora 25
stable
0
0
coq-8.5pl2-1.fc24, flocq-2.5.1-3.fc24, & 5 more
created by jjames 6 years ago for Fedora 24
stable
0
0
zenon-0.8.2-1.fc24
created by jjames 6 years ago for Fedora 24
stable
1
0
alt-ergo-1.01-2.fc24, coq-8.5pl1-1.fc24, & 7 more
created by jjames 6 years ago for Fedora 24
stable
0
0
coq-8.4pl6-1.fc22, flocq-2.4.0-7.fc22, & 5 more
created by jjames 7 years ago for Fedora 22
stable
3
0
coq-8.4pl5-2.fc21, flocq-2.4.0-3.fc21, & 6 more
created by jjames 8 years ago for Fedora 21
stable
3
0
zenon-0.8.0-1.fc21
created by jjames 8 years ago for Fedora 21
stable
3
0

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

Running bodhi-server 7.0.1 on bodhi-web-66-dxxtt.

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

• Composes • Legal • Privacy policy •