Index of /pool/universe/m/maude
Name
Last modified
Size
Description
Parent Directory
-
maude_2.7-2_amd64.deb
2016-04-27 03:26
811K
maude_2.7-2build2_amd64.deb
2020-03-22 18:10
812K
maude_3.1-2_amd64.deb
2020-12-15 23:49
1.0M
maude_3.2-2_amd64.deb
2022-07-13 09:29
1.0M
Apache/2.4.41 (Ubuntu) Server at ubuntu-mirror.magnetic-it.com Port 80