| Name | Modified | Size | Downloads / 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.