Binary GNU/Linux packages for TeXmacs

We provide our own binary TeXmacs packages for the following GNU/Linux distributions:

Further distributions may be added progressively here.

Important: In some cases you need to manually install the additional guile package. You can download it here.

CentOS

In order to install TeXmacs, please follow the steps below:

  1. Download the latest version that corresponds to your version of CentOS and your processor:

    • TeXmacs 2.1.5 (Qt5) for CentOS-8 : 64 bits

    • TeXmacs 2.1.4 (Qt5) for CentOS-7 : 64 bits

  2. Install the package using 

    yum install TeXmacs-2.1.5-*.rpm

Debian

For Debian-based systems, we recommend using our official APT repository. To install TeXmacs manually using .deb packages, please follow the steps below:

  1. Download the latest version that corresponds to your version of Debian and your processor:

  2. As root, install the package using 

    sudo apt-get install TeXmacs-2.1.5-*.deb

    If you get complaints about missing dependencies, then run 

    sudo apt --fix-broken install

Fedora

In order to install TeXmacs, please follow the steps below:

  1. Download the latest version that corresponds to your version of Debian and your processor:

  2. Install the package using 

    dnf install TeXmacs-2.1.5-*.rpm

Scientific Linux

In order to install TeXmacs, please follow the steps below:

  1. Download the latest version that corresponds to your version of Debian and your processor:

  2. Install the package using 

    yum install TeXmacs-2.1.5-*.rpm

Open Suse

In order to install TeXmacs, please follow the steps below:

  1. Download the latest version that corresponds to your version of Debian and your processor:

    • TeXmacs 2.1.5 (Qt5) for Open Suse Leap 15.6 : 64 bits

    • TeXmacs 2.1.5 (Qt5) for Open Suse Leap 15.5 : 64 bits

    • TeXmacs 2.1.5 (Qt5) for Open Suse Leap 15.4 : 64 bits

    • TeXmacs 2.1.2 (Qt5) for Open Suse Leap 15.3 : 64 bits

  2. Install the package using 

    dpkg -i TeXmacs-2.1.5-*.deb

Ubuntu

For Ubuntu-based systems, we recommend using our official APT repository. To install TeXmacs manually using .deb packages, please follow the steps below:

  1. Download the latest version that corresponds to your version of Ubuntu and your processor:

  2. As root, install the package using 

    sudo apt-get install TeXmacs-2.1.5-*.deb

    If you get complaints about missing dependencies, then run 

    sudo apt --fix-broken install

Raspbian

For Raspbian-based systems, we recommend using our official APT repository. To install TeXmacs manually using .deb packages, please follow the steps below:

  1. Download the latest version that corresponds to your version of Raspbian and your processor:

  2. As root, install the package using 

    sudo apt-get install TeXmacs-2.1.5-*.deb

    If you get complaints about missing dependencies, then run 

    sudo apt --fix-broken install
© 1999–2018 by Denis Raux, Joris van der Hoeven

This webpage is part of GNU TeXmacs and the larger GNU project. Verbatim copying and distribution of it is permitted in any medium, provided this notice is preserved.

Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111, USA.

With the support of CNRS.

TeXmacs

Download

Learn

Contribute

Contact