How to Install and Uninstall z3-doc.x86_64 Package on Fedora 38

Last updated: January 18,2025

1. Install "z3-doc.x86_64" package

Please follow the step by step instructions below to install z3-doc.x86_64 on Fedora 38

$ sudo dnf update $ sudo dnf install z3-doc.x86_64

2. Uninstall "z3-doc.x86_64" package

This guide covers the steps necessary to uninstall z3-doc.x86_64 on Fedora 38:

$ sudo dnf remove z3-doc.x86_64 $ sudo dnf autoremove

3. Information about the z3-doc.x86_64 package on Fedora 38

Last metadata expiration check: 4:22:27 ago on Sat Mar 16 22:59:57 2024.
Available Packages
Name : z3-doc
Version : 4.12.2
Release : 1.fc38
Architecture : x86_64
Size : 2.6 M
Source : z3-4.12.2-1.fc38.src.rpm
Repository : updates
Summary : API documentation for Z3
URL : https://github.com/Z3Prover/z3
License : MIT AND GPL-3.0-or-later WITH Bison-exception-2.2 AND GPL-1.0-or-later
Description : API documentation for Z3.