| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| maude_2.6-1_source.changes.bz2 | 2011-04-09 19:41 | 755 | ||
| maude_2.6-2_source.changes.bz2 | 2011-11-04 23:40 | 883 | ||
| maude_2.6-3_source.changes.bz2 | 2013-07-12 09:10 | 779 | ||
| maude_2.6-4_source.changes.bz2 | 2013-10-24 09:35 | 650 | ||
| maude_2.6-5_source.changes.bz2 | 2014-05-20 19:37 | 746 | ||
| maude_2.6-6_source.changes.bz2 | 2014-10-02 10:07 | 687 | ||
| maude_2.7-1_source.changes.bz2 | 2015-12-17 05:08 | 761 | ||
| maude_2.7-2_source.changes.bz2 | 2016-04-05 16:36 | 745 | ||
| maude_3.0-1_source.changes.bz2 | 2020-10-30 15:05 | 1.2K | ||
| maude_3.1-1_source.changes.bz2 | 2020-10-31 21:15 | 784 | ||
| maude_3.1-2_source.changes.bz2 | 2020-12-15 21:07 | 656 | ||
| maude_3.2-1_source.changes.bz2 | 2022-02-20 03:06 | 826 | ||
| maude_3.2-2_source.changes.bz2 | 2022-07-12 21:07 | 713 | ||
| maude_3.4-1_source.changes.bz2 | 2024-04-07 15:36 | 923 | ||
| maude_3.5.1-1_source.changes | 2025-10-25 15:42 | 1.3K | ||