How To Install ghc-djinn-lib on Fedora 36
Introduction
In this tutorial we learn how to install ghc-djinn-lib
on Fedora 36.
What is ghc-djinn-lib
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.
We can use yum
or dnf
to install ghc-djinn-lib
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-djinn-lib.
Install ghc-djinn-lib on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ghc-djinn-lib
using dnf
by running the following command:
sudo dnf -y install ghc-djinn-lib
Install ghc-djinn-lib on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ghc-djinn-lib
using yum
by running the following command:
sudo yum -y install ghc-djinn-lib
How To Uninstall ghc-djinn-lib on Fedora 36
To uninstall only the ghc-djinn-lib
package we can use the following command:
sudo dnf remove ghc-djinn-lib
ghc-djinn-lib Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/37
/usr/lib/.build-id/37/88487cd8f699d52826134a8171feea07a20246
/usr/lib64/libHSdjinn-lib-0.0.1.3-38U0fPX8b478U0KyJLpJUn-ghc8.10.5.so
/usr/share/licenses/ghc-djinn-lib
/usr/share/licenses/ghc-djinn-lib/LICENSE
References
Summary
In this tutorial we learn how to install ghc-djinn-lib
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).