Updates

26 Updates
packages: Agda
Agda-2.5.2-9.fc27 and ghc-gitrev-1.3.1-9.fc27
created by petersen 5 years ago for Fedora 27
stable
0
0
Agda-2.5.2-5.fc26.1 and Agda-stdlib-0.13-1.fc26
created by petersen 6 years ago for Fedora 26
stable
0
0
Agda-2.5.2-4.fc26
created by petersen 6 years ago for Fedora 26
obsolete
0
0
Agda-2.3.2.2-5.el7
created by petersen 6 years ago for Fedora EPEL 7
stable
0
0
Agda-2.4.2.5-1.fc25, darcs-2.12.2-1.fc25, & 16 more
created by petersen 7 years ago for Fedora 25
stable
2
0
Agda-2.4.2.2-3.fc22, Agda-stdlib-0.9-1.fc22, & 18 more
created by petersen 8 years ago for Fedora 22
stable
8
3

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

Running bodhi-server 7.2.1^202309080750gitab9cc47 on bodhi-web-111-vskbv.

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

• Composes • Legal • Privacy policy •