Download Latest Version Reduce-svn6860-src.tar.gz (252.2 MB)
Email in envelope

Get an email when there's a new version of REDUCE

Name Modified Size InfoDownloads / Week
Parent folder
README.md 2023-12-26 2.7 kB
reduce-common-6658-1.noarch.rpm 2023-12-18 27.4 MB
reduce-common_6658_all.deb 2023-12-18 21.7 MB
reduce-addons_6658_amd64.tgz 2023-12-18 438.7 kB
reduce-complete_6658_amd64.deb 2023-12-18 44.2 MB
reduce-psl_6658_amd64.deb 2023-12-18 5.4 MB
reduce-csl_6658_amd64.tgz 2023-12-18 19.5 MB
reduce-psl_6658_amd64.tgz 2023-12-18 8.9 MB
reduce-freestanding_6658_x86_64.tar.bz2 2023-12-18 21.3 MB
reduce-csl_6658_amd64.deb 2023-12-18 16.8 MB
reduce-csl-6658-1.x86_64.rpm 2023-12-18 19.5 MB
reduce-psl-6658-1.x86_64.rpm 2023-12-18 8.8 MB
reduce-addons-6658-1.x86_64.rpm 2023-12-18 447.9 kB
reduce-common_6658_all.tgz 2023-12-18 27.3 MB
reduce-addons_6658_amd64.deb 2023-12-18 289.1 kB
Totals: 15 Items   222.0 MB 0

Binary snapshot distributions for 64-bit Linux

Filename Structure

Filenames have the form "reduce-cont?revno?arch.ext" where the components have the following meanings:

Component Meaning
cont Content identifier (see File Content below)
? One of _, -, -1.
revno Subversion revision number
arch Architecture
ext Filename extension (see File Type below)

File Type

Ext File Type
tgz Generic Linux compressed tar-file containing directories /usr and /etc
deb Installer for Debian-based Linux (e.g. Ubuntu)
rpm Installer for Red Hat-based Linux (e.g. Fedora, SUSE)

File Content

Cont File Content
complete Everything described below in this table
addons Batch (breduce) and redfront (rfcsl, rfpsl) REDUCE commands, plus Emacs REDUCE mode (part of REDUCE IDE)
common REDUCE source code, documentation, etc. common to all REDUCE implementions
csl Binary files for CSL REDUCE
psl Binary files for PSL REDUCE

The file "reduce-freestanding_revno_x86_64.tar.bz2" is a generic compressed tar-file containing binary files for CSL and PSL REDUCE, including the redfront versions, plus the REDUCE User’s Manual as a PDF file and the xmpl directory. The directory structure is self-contained and independent of the standard Linux directory structure.

Source: README.md, updated 2023-12-26