| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| kissat-4.0.3-1.fc42 | Keep It Simple SAT solver | linux/x86_64 |
| kissat-debuginfo-4.0.3-1.fc42 | Debug information for package kissat | linux/x86_64 |
| kissat-debugsource-4.0.3-1.fc42 | Debug sources for package kissat | linux/x86_64 |
| kissat-devel-4.0.3-1.fc42 | Development files for kissat | linux/x86_64 |
| kissat-libs-4.0.3-1.fc42 | Keep It Simple SAT solver library | linux/x86_64 |
| kissat-libs-debuginfo-4.0.3-1.fc42 | Debug information for package kissat-libs | linux/x86_64 |
| kokkos-4.6.00-1.fc42 | Kokkos C++ Performance Portability Programming | linux/x86_64 |
| kokkos-debuginfo-4.6.00-1.fc42 | Debug information for package kokkos | linux/x86_64 |
| kokkos-debugsource-4.6.00-1.fc42 | Debug sources for package kokkos | linux/x86_64 |
| kokkos-devel-4.6.00-1.fc42 | Development package for kokkos packages | linux/x86_64 |
| kokkos-rocm-4.6.00-1.fc42 | kokkos ROCm package | linux/x86_64 |
| kokkos-rocm-debuginfo-4.6.00-1.fc42 | Debug information for package kokkos-rocm | linux/x86_64 |
| kokkos-rocm-devel-4.6.00-1.fc42 | kokkos ROCm development package | linux/x86_64 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Jun 30 23:50:58 2025