| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Agda-2.6.4.3-50.el10_0.x86_64 |
A dependently typed functional programming language and proof assistant | EPEL 10.0 Testing for x86_64 |
| Agda-common-2.6.4.3-50.el10_0.noarch |
Agda common files | EPEL 10.0 Testing for x86_64 |
| alex-3.4.0.1-1.el10_0.x86_64 |
Tool for generating lexical analysers in Haskell | EPEL 10.0 Testing for x86_64 |
| apptainer-1.4.0~rc.1-1.el10_0.x86_64 | Application and environment virtualization formerly known as Singularity | EPEL 10.0 Testing for x86_64 |
| apptainer-suid-1.4.0~rc.1-1.el10_0.x86_64 | Setuid component of Apptainer | EPEL 10.0 Testing for x86_64 |
| atomic-queue-devel-1.6.9-1.el10_0.x86_64 |
Development files for atomic-queue | EPEL 10.0 Testing for x86_64 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat May 10 00:47:22 2025