| 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 | A dependently typed functional programming language and proof assistant | linux/x86_64 |
| Agda-common-2.6.4.3-50.el10_0 | Agda common files | linux/noarch |
| alex-3.4.0.1-1.el10_0 | Tool for generating lexical analysers in Haskell | linux/x86_64 |
| apptainer-1.4.0~rc.1-1.el10_0 | Application and environment virtualization formerly known as Singularity | linux/x86_64 |
| apptainer-suid-1.4.0~rc.1-1.el10_0 | Setuid component of Apptainer | linux/x86_64 |
| atomic-queue-devel-1.6.9-1.el10_0 | Development files for atomic-queue | linux/x86_64 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue May 13 03:54:36 2025