How to Install and Uninstall storm-lang-crypto Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 17,2024

1. Install "storm-lang-crypto" package

Please follow the step by step instructions below to install storm-lang-crypto on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install storm-lang-crypto

2. Uninstall "storm-lang-crypto" package

This tutorial shows how to uninstall storm-lang-crypto on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove storm-lang-crypto $ sudo apt autoclean && sudo apt autoremove

3. Information about the storm-lang-crypto package on Ubuntu 23.10 (Mantic Minotaur)

Package: storm-lang-crypto
Architecture: amd64
Version: 0.6.17-1
Priority: optional
Section: universe/devel
Source: storm-lang
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Filip Strömbäck
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 354
Depends: storm-lang (>= 0.6.17-1), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libssl3 (>= 3.0.0), libstdc++6 (>= 13.1)
Filename: pool/universe/s/storm-lang/storm-lang-crypto_0.6.17-1_amd64.deb
Size: 99784
MD5sum: 01e7a9ba85a8d6b549c0f2a10d865adf
SHA1: 7fc41a2b06da745e28e5c20c89fb1263fc9378ce
SHA256: 97b0d59d12b9a2abaf66b42d2de44cefcab7437d23741ad4fac267a626c4b2ae
SHA512: 24d8314ba250c79a789c7b4bd3a008de2a126fdbabf00ffcad2c17908b3d4e4d7b9b932f1c20630961ba6b3710e48a0b9ffc874d14fcf9ed7430481d16be1e18
Homepage: https://storm-lang.org/
Description: Cryptographic library for Storm
Description-md5: 70352272f01d323419dfb2dae5b7de84