The large public mirror server for open source projects hosted by NLUUG and Surfnet
/pub/os/Linux/distr/salix/i486/extra-15.0/source/development/maude/| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| ./ | - | 2022-Jun-10 17:26 |
| ../ | - | 2026-Jan-03 22:59 |
| 32-bit-fixes.patch | 950 B | 2022-Jun-08 11:08 |
| Full-Maude-3.1.zip | 157.4 KiB | 2022-Jun-08 11:08 |
| Maude-3.1.tar.gz | 2.2 MiB | 2022-Jun-08 11:08 |
| README | 828 B | 2022-Jun-08 11:08 |
| doinst.sh | 382 B | 2022-Jun-08 11:08 |
| maude.SlackBuild | 3.8 KiB | 2022-Mar-26 02:02 |
| maude.info | 450 B | 2022-Jun-08 11:08 |
| slack-desc | 842 B | 2022-Jun-08 11:08 |
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!