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

Last updated: May 16,2024

1. Install "storm-lang-sql" package

This guide covers the steps necessary to install storm-lang-sql on Ubuntu 23.10 (Mantic Minotaur)

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

2. Uninstall "storm-lang-sql" package

This is a short guide on how to uninstall storm-lang-sql on Ubuntu 23.10 (Mantic Minotaur):

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

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

Package: storm-lang-sql
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: 1452
Depends: storm-lang (>= 0.6.17-1), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/s/storm-lang/storm-lang-sql_0.6.17-1_amd64.deb
Size: 601826
MD5sum: a5ab6c3600fa10a3fcdaec28ff663af3
SHA1: d80fafb3dc1023b40411f2b5c0700e9c27689214
SHA256: 377e925baa6a1133f3fc76cf1787e4451bbdad14757780d49e9f38772a9dac5d
SHA512: 20bc2f2027de7dc188fc915f94fb210b2b2b3e1f4c70c5d3f80a881724ec0081579b32cf1bf7883f15ca1af0d4a34b91c95bde80d0da3208c2ff9feb7d70dd49
Homepage: https://storm-lang.org/
Description: SQL library for Storm
Description-md5: 84eb4604a24d96b8bf760ae83aca14e2