Updates

26 Updates
packages: alex
Agda-2.5.3-14.el8, alex-3.2.4-1.el8, & 70 more
created by petersen 9 months ago for Fedora EPEL 8
stable
0
0
Agda-2.6.2.2-36.el9, alex-3.2.7.1-1.el9, & 187 more
created by petersen 9 months ago for Fedora EPEL 9
stable
3
2
alex-3.2.7.1-2.eln120
created by distrobuildsync-eln/jenkins-continuous-infra.apps.ci.centos.org 11 months ago for Fedora ELN
stable
0
0
alex-3.2.7.1-1.eln120
created by distrobuildsync-eln/jenkins-continuous-infra.apps.ci.centos.org 12 months ago for Fedora ELN
stable
0
0
Haskell-Stackage-LTS-18.28
created by petersen 12 months ago for Fedora 37
stable
0
0
alex-3.2.6-3.eln120
created by distrobuildsync-eln/jenkins-continuous-infra.apps.ci.centos.org 12 months ago for Fedora ELN
stable
0
0
alex-3.2.6-2.el9, ghc-8.10.7-116.el9, & 1 more
created by petersen a year ago for Fedora EPEL 9
stable
0
0
alex-3.2.6-3.eln114
created by distrobuildsync-eln/jenkins-continuous-infra.apps.ci.centos.org a year ago for Fedora ELN
stable
0
0
alex-3.2.6-2.eln114
created by distrobuildsync-eln/jenkins-continuous-infra.apps.ci.centos.org a year ago for Fedora ELN
stable
0
0
Agda-2.6.2-33.fc36, alex-3.2.6-2.fc36, & 98 more
created by churchyard a year ago for Fedora 36
stable
0
0
alex-3.2.6-1.eln113
created by sgallagh a year ago for Fedora ELN
stable
0
0
alex-3.2.6-1.fc36
created by odubaj a year ago for Fedora 36
stable
0
0
alex-3.2.6-1.eln112
created by bpeck/jenkins-continuous-infra.apps.ci.centos.org a year ago for Fedora ELN
stable
0
0
GHC 8.10 and Stackage LTS 18
created by petersen a year ago for Fedora 35
stable
0
0
alex-3.2.5-6.eln112
created by bpeck/jenkins-continuous-infra.apps.ci.centos.org a year ago for Fedora ELN
stable
0
0
alex-3.2.5-5.eln109
created by sgallagh 2 years ago for Fedora ELN
stable
0
0
alex-3.2.5-4.eln103
created by merlinm 2 years ago for Fedora ELN
stable
0
0
alex-3.2.5-4.fc33
created by petersen 2 years ago for Fedora 33
stable
0
0
GHC-8.8.4-Stackage-LTS-16.5
created by petersen 2 years ago for Fedora 33
stable
0
0
Haskell_Stackage_LTS_14
created by petersen 3 years ago for Fedora 32
stable
0
0

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

Running bodhi-server 7.2.0^202305170827gitb1d8280 on bodhi-web-95-lw97w.

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

• Composes • Legal • Privacy policy •