| ocaml-z3-4.15.2-1.fc42 |
Ocaml interface to z3 |
linux/x86_64 |
| ocaml-z3-debuginfo-4.15.2-1.fc42 |
Debug information for package ocaml-z3 |
linux/x86_64 |
| ocaml-z3-devel-4.15.2-1.fc42 |
Files for building ocaml applications that use z3 |
linux/x86_64 |
| opencryptoki-3.25.0-2.fc42 |
Implementation of the PKCS#11 (Cryptoki) specification v3.0 and partially v3.1 |
linux/x86_64 |
| opencryptoki-ccatok-3.25.0-2.fc42 |
CCA cryptographic devices (secure-key) support for opencryptoki |
linux/x86_64 |
| opencryptoki-ccatok-debuginfo-3.25.0-2.fc42 |
Debug information for package opencryptoki-ccatok |
linux/x86_64 |
| opencryptoki-debuginfo-3.25.0-2.fc42 |
Debug information for package opencryptoki |
linux/i686 |
| opencryptoki-debuginfo-3.25.0-2.fc42 |
Debug information for package opencryptoki |
linux/x86_64 | linux/i686 |
| opencryptoki-debugsource-3.25.0-2.fc42 |
Debug sources for package opencryptoki |
linux/x86_64 |
| opencryptoki-debugsource-3.25.0-2.fc42 |
Debug sources for package opencryptoki |
linux/i686 | linux/x86_64 |
| opencryptoki-devel-3.25.0-2.fc42 |
Development files for openCryptoki |
linux/i686 |
| opencryptoki-devel-3.25.0-2.fc42 |
Development files for openCryptoki |
linux/x86_64 | linux/i686 |
| opencryptoki-icsftok-3.25.0-2.fc42 |
ICSF token support for opencryptoki |
linux/x86_64 |
| opencryptoki-icsftok-debuginfo-3.25.0-2.fc42 |
Debug information for package opencryptoki-icsftok |
linux/x86_64 |
| opencryptoki-libs-3.25.0-2.fc42 |
The run-time libraries for opencryptoki package |
linux/x86_64 |
| opencryptoki-libs-3.25.0-2.fc42 |
The run-time libraries for opencryptoki package |
linux/i686 | linux/x86_64 |
| opencryptoki-libs-debuginfo-3.25.0-2.fc42 |
Debug information for package opencryptoki-libs |
linux/x86_64 |
| opencryptoki-libs-debuginfo-3.25.0-2.fc42 |
Debug information for package opencryptoki-libs |
linux/i686 | linux/x86_64 |
| opencryptoki-swtok-3.25.0-2.fc42 |
The software token implementation for opencryptoki |
linux/x86_64 |