download.markdown

layout: docs
title: Download

Public key

Packages and repositories are signed with the key FFAB E317 A779 4409 3EDE EFBF B14E 23A1 3282 A79F. You can download the key.

Latest releases

	Version	Release date
stable	{{page.release.stable.version}}	{{page.release.stable.date
snapshot	{{page.release.snapshot.version}}	{{page.release.snapshot.date

We only release snapshot packages at the moment. However, we plan to release full tagged releases soon(TM).

Install using package manager

The following packages are available:

• algorithms-library-snapshot (core, includes aql2 executable)
• algorithms-library-dev-snapshot (development headers for debian/ubuntu)

ArchLinux

Append the following lines to your /etc/pacman.conf: {% highlight shell %}

Algorithms Library repository

[algorithms-library] Server = {{site.urlrepo}}/archlinux/$arch/ {% endhighlight %}

And update the database.

{% highlight shell %} pacman -Sy {% endhighlight %}

Do not forget to verify the fingerprint when importing the key. You will probably need to sign the key locally using pacman-key --lsign-key.

Debian and Ubuntu

Append the following line in your /etc/apt/sources.list (or create a file inside your sources.d directory) and replace <distribution> with your Debian/Ubuntu distribution codename.

{% highlight shell %} deb {{site.urlrepo}}/debian main {% endhighlight %}

We maintain repositories for the following versions of Debian/Ubuntu:

<distribution>	Description
bullseye	Debian 11 (testing, bullseye)
sid	Debian sid (unstable, sid)
focal	Ubuntu 20.04 LTS (focal fossa)
groovy	Ubuntu 20.10 (groovy gorilla)

Download the repository key and update repositories.

{% highlight shell %} curl {{ "assets/alt.key" | absolute_url }} | apt-key add - apt-get update {% endhighlight %}

Gentoo

Gentoo ebuild can be found here.

Docker images

We also maintain docker images and publish them to our gitlab registry.

Replace <tag> with values from the table below.

{% highlight shell %} docker pull gitlab.fit.cvut.cz:5000/algorithms-library-toolkit/automata-library: docker run -it gitlab.fit.cvut.cz:5000/algorithms-library-toolkit/automata-library[:tag] {% endhighlight %}

tag	Description
latest	latest stable release (default tag)
snapshot	latest snapshot release
v[version]	stable release, e.g. v1.2.3 for 1.2.3 release

Install from sources

You can grab sources from our git repository or from tarball repository