How to Install and Uninstall ruby2.5-rubygem-axiom-types Package on openSUSE Leap

Last updated: April 28,2024

1. Install "ruby2.5-rubygem-axiom-types" package

Please follow the steps below to install ruby2.5-rubygem-axiom-types on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                ruby2.5-rubygem-axiom-types
            
                    
    
    Copied

2. Uninstall "ruby2.5-rubygem-axiom-types" package

Please follow the guidance below to uninstall ruby2.5-rubygem-axiom-types on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ruby2.5-rubygem-axiom-types
            
                    
    
    Copied

3. Information about the ruby2.5-rubygem-axiom-types package on openSUSE Leap

Information for package ruby2.5-rubygem-axiom-types:
----------------------------------------------------
Repository : Main Repository
Name : ruby2.5-rubygem-axiom-types
Version : 0.1.1-1.28
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 70.4 KiB
Installed : No
Status : not installed
Source package : rubygem-axiom-types-0.1.1-1.28.src
Upstream URL : https://github.com/dkubb/axiom-types
Summary : Abstract types for logic programming
Description :
Define types with optional constraints for use within axiom and other
libraries.