How to Install and Uninstall z3-libs.x86_64 Package on CentOS Stream 9
Last updated: October 14,2024
1. Install "z3-libs.x86_64" package
Learn how to install z3-libs.x86_64 on CentOS Stream 9
$
sudo dnf update
Copied
$
sudo dnf install
z3-libs.x86_64
Copied
2. Uninstall "z3-libs.x86_64" package
This guide covers the steps necessary to uninstall z3-libs.x86_64 on CentOS Stream 9:
$
sudo dnf remove
z3-libs.x86_64
Copied
$
sudo dnf autoremove
Copied
3. Information about the z3-libs.x86_64 package on CentOS Stream 9
Last metadata expiration check: 3:20:00 ago on Sat Mar 16 16:03:45 2024.
Available Packages
Name : z3-libs
Version : 4.8.15
Release : 2.el9
Architecture : x86_64
Size : 5.8 M
Source : z3-4.8.15-2.el9.src.rpm
Repository : epel
Summary : Library for applications that use z3 functionality
URL : https://github.com/Z3Prover/z3
License : MIT
Description : Library for applications that use z3 functionality.
Available Packages
Name : z3-libs
Version : 4.8.15
Release : 2.el9
Architecture : x86_64
Size : 5.8 M
Source : z3-4.8.15-2.el9.src.rpm
Repository : epel
Summary : Library for applications that use z3 functionality
URL : https://github.com/Z3Prover/z3
License : MIT
Description : Library for applications that use z3 functionality.