How To Install bespp on Debian 11

One-liner install command

For those in a hurry, here's a one-line installation command:

sudo apt-get update && sudo apt -y install mcrl2

But if you are interested in the detailed steps with descriptions, the following information is for you.

What is bespp and what are the ways to install it?

Before beginning this tutorial, you will need access to a server or computer running Debian 11. This guide was written specifically with a server running Debian 11 in mind, although it should also work on older, supported versions of the operating system.

Also, make sure you are running a regular, non-root user with sudo privileges configured on your server. When you have an account available, log in as your non-root user to begin.

There are several ways to install bespp on Debian 11. You can use (links are clickable):

In the following sections, we will describe each method in detail. You can choose one of them or refer to the recommended one.

Install bespp using apt-get

First, update apt database with apt-get using the following command.

sudo apt-get update

After updating apt-get database, You can install bespp using apt by running the following command:

sudo apt -y install mcrl2

Install bespp using apt

Because bespp is available in Debian 11’s default repositories, it is possible to install it from these repositories using the apt packaging system.

To begin, update apt database with apt using the following command.

sudo apt update

After updating apt database, You can install bespp using apt by running the following command:

sudo apt -y install mcrl2

Install bespp using aptitude

If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Debian 11. Update apt database with aptitude using the following command.

sudo aptitude update

After updating aptitude database, You can install bespp by running the following command:

sudo aptitude -y install mcrl2

How to upgrade (update) a single package bespp using apt-get?

First, you will need to update packages index. Run update command as usual:

sudo apt-get update

Next, to upgrade only the bespp, e.g. single package, you should use the following format with the apt-get command/apt command:

sudo apt-get --only-upgrade install mcrl2

Note that this command will not install any new packages! If you wish to install the package if it doesn't exist you may leave out --only-upgrade part.

sudo apt-get install mcrl2

How To Uninstall bespp from Debian 11

To uninstall only the bespp package you can execute the following command:

sudo apt-get remove mcrl2

Uninstall bespp and all its dependencies

To uninstall bespp and its dependencies that are no longer needed by Debian 11, you can use the command below:

sudo apt-get -y autoremove mcrl2

Remove bespp with all configurations and data

To remove bespp configuration and data from your system you can run the following purge command:

sudo apt-get -y purge mcrl2

Remove bespp completely (configurations, data and all of its dependencies)

And lastly, you can run the next command to remove absolutely everything related to bespp package, e.g.: configurations, data and all of its dependencies. Just use this command:

sudo apt-get -y autoremove --purge mcrl2

Extra info and code examples

mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically. This toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed.

Conclusion

You now have a full guide on how to install bespp using apt, apt-get and aptitude tools. Also, we showed how to update as a single package and different ways to uninstall the bespp from Debian 11.

See also: