How to Install and Uninstall lua-clingo Package on openSUSE Leap
Last updated: July 03,2024
1. Install "lua-clingo" package
This guide let you learn how to install lua-clingo on openSUSE Leap
$
sudo zypper refresh
Copied
$
sudo zypper install
lua-clingo
Copied
2. Uninstall "lua-clingo" package
In this section, we are going to explain the necessary steps to uninstall lua-clingo on openSUSE Leap:
$
sudo zypper remove
lua-clingo
Copied
3. Information about the lua-clingo package on openSUSE Leap
Information for package lua-clingo:
-----------------------------------
Repository : Update repository with updates from SUSE Linux Enterprise 15
Name : lua-clingo
Version : 5.5.0-150400.4.3.3
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 164.9 KiB
Installed : No
Status : not installed
Source package : clingo-5.5.0-150400.4.3.3.src
Upstream URL : https://potassco.org/clingo/
Summary : Lua bindings for Clingo
Description :
Lua bindings for Clingo, a grounder and solver for logic programs.
Detailed information (including a User's manual), source code, and pre-compiled
binaries are available at: http://potassco.org/
-----------------------------------
Repository : Update repository with updates from SUSE Linux Enterprise 15
Name : lua-clingo
Version : 5.5.0-150400.4.3.3
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 164.9 KiB
Installed : No
Status : not installed
Source package : clingo-5.5.0-150400.4.3.3.src
Upstream URL : https://potassco.org/clingo/
Summary : Lua bindings for Clingo
Description :
Lua bindings for Clingo, a grounder and solver for logic programs.
Detailed information (including a User's manual), source code, and pre-compiled
binaries are available at: http://potassco.org/