| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| maude_2.6-1_source.changes.bz2 | 2011-05-04 20:17 | 755 | ||
| maude_2.6-2_source.changes.bz2 | 2011-11-18 15:17 | 883 | ||
| maude_2.6-3_source.changes.bz2 | 2013-07-12 09:19 | 779 | ||
| maude_2.6-4_source.changes.bz2 | 2013-10-25 07:36 | 650 | ||
| maude_2.6-5_source.changes.bz2 | 2014-05-21 01:06 | 746 | ||
| maude_2.6-6_source.changes.bz2 | 2014-10-25 18:08 | 687 | ||
| maude_2.7-1_source.changes.bz2 | 2015-12-17 15:38 | 761 | ||
| maude_2.7-2_source.changes.bz2 | 2016-04-27 13:54 | 745 | ||
| maude_2.7-2build1_source.changes.bz2 | 2019-09-05 16:49 | 673 | ||
| maude_2.7-2build2_source.changes.bz2 | 2020-03-23 00:09 | 659 | ||
| maude_3.1-2_source.changes.bz2 | 2020-12-16 06:36 | 1.1K | ||
| maude_3.2-1ubuntu1_source.changes.bz2 | 2022-07-09 12:36 | 845 | ||
| maude_3.2-2_source.changes.bz2 | 2022-07-13 19:08 | 713 | ||
| maude_3.2-2build1_source.changes.bz2 | 2024-04-15 19:07 | 699 | ||
| maude_3.4-1_source.changes.bz2 | 2024-05-07 12:12 | 923 | ||
| maude_3.5.1-1_source.changes | 2025-10-31 20:42 | 1.3K | ||