| idris2-0.7.0-5.fc42 |
Purely functional programming language with first class types |
linux/aarch64 |
| idris2-debugsource-0.7.0-5.fc42 |
Debug sources for package idris2 |
linux/aarch64 |
| idris2-doc-0.7.0-5.fc42 |
Idris2 documentation |
linux/noarch |
| idris2-libs-0.7.0-5.fc42 |
idris2 runtime support library |
linux/aarch64 |
| idris2-libs-debuginfo-0.7.0-5.fc42 |
Debug information for package idris2-libs |
linux/aarch64 |
| ifstat-1.1-48.fc42 |
Interface statistics |
linux/aarch64 |
| ifstat-debuginfo-1.1-48.fc42 |
Debug information for package ifstat |
linux/aarch64 |
| ifstat-debugsource-1.1-48.fc42 |
Debug sources for package ifstat |
linux/aarch64 |
| igvm-debuginfo-0.4.0-5.fc42 |
Debug information for package igvm |
linux/aarch64 |
| igvm-debugsource-0.4.0-5.fc42 |
Debug sources for package igvm |
linux/aarch64 |
| igvm-devel-0.4.0-5.fc42 |
IGVM library header files |
linux/aarch64 |
| igvm-libs-0.4.0-5.fc42 |
IGVM shared library |
linux/aarch64 |
| igvm-libs-debuginfo-0.4.0-5.fc42 |
Debug information for package igvm-libs |
linux/aarch64 |
| igvm-tools-0.4.0-5.fc42 |
IGVM tools |
linux/aarch64 |
| igvm-tools-debuginfo-0.4.0-5.fc42 |
Debug information for package igvm-tools |
linux/aarch64 |
| imsprog-1.7.1-1.fc42 |
I2C, SPI and MicroWire EEPROM/Flash chip programmer for CH341a devices |
linux/aarch64 |
| imsprog-debuginfo-1.7.1-1.fc42 |
Debug information for package imsprog |
linux/aarch64 |
| imsprog-debugsource-1.7.1-1.fc42 |
Debug sources for package imsprog |
linux/aarch64 |
| incus-6.18-1.fc42 |
Powerful system container and virtual machine manager |
linux/aarch64 |