Package | Summary | Distribution | Download |
ghc-Agda-devel-2.6.4.3-48.fc41.x86_64.html | Haskell Agda library development files | Fedora Rawhide for x86_64 | ghc-Agda-devel-2.6.4.3-48.fc41.x86_64.rpm |
ghc-Agda-devel-2.6.4.1-46.fc40.x86_64.html | Haskell Agda library development files | Fedora 40 for x86_64 | ghc-Agda-devel-2.6.4.1-46.fc40.x86_64.rpm |
ghc-Agda-devel-2.6.3-40.fc39.x86_64.html | Haskell Agda library development files | Fedora 39 for x86_64 | ghc-Agda-devel-2.6.3-40.fc39.x86_64.rpm |
ghc-Agda-devel-2.6.2.2-38.fc38.x86_64.html | Haskell Agda library development files | Fedora 38 for x86_64 | ghc-Agda-devel-2.6.2.2-38.fc38.x86_64.rpm |
ghc-Agda-devel-2.6.2.2-37.fc37.x86_64.html | Haskell Agda library development files | Fedora 37 for x86_64 | ghc-Agda-devel-2.6.2.2-37.fc37.x86_64.rpm |
ghc-Agda-devel-2.6.2.2-36.el9.x86_64.html | Haskell Agda library development files | EPEL 9 for x86_64 | ghc-Agda-devel-2.6.2.2-36.el9.x86_64.rpm |
ghc-Agda-devel-2.5.3-14.el8.x86_64.html | Haskell Agda library development files | EPEL 8 for x86_64 | ghc-Agda-devel-2.5.3-14.el8.x86_64.rpm |
ghc-Agda-devel-2.3.2.2-5.el7.x86_64.html | Haskell Agda library development files | EPEL 7 for x86_64 | ghc-Agda-devel-2.3.2.2-5.el7.x86_64.rpm |