Index of /pub/linux/ubuntu/pool/universe/m/maude/

Filename	Modification time	Size
maude_2.6-4.debian.tar.gz	2013-10-24 13:13 CEST	5144 B
maude_2.6-4.dsc	2013-10-24 13:13 CEST	1399 B
maude_2.6-4_amd64.deb	2013-10-24 13:33 CEST	913 KiB
maude_2.6-4_i386.deb	2013-10-24 13:33 CEST	878 KiB
maude_2.6.orig.tar.gz	2011-05-04 16:07 CEST	1563 KiB
maude_2.7-1.debian.tar.xz	2015-12-17 12:14 CET	6428 B
maude_2.7-1.dsc	2015-12-17 12:14 CET	2038 B
maude_2.7-1_amd64.deb	2015-12-17 12:44 CET	755 KiB
maude_2.7-1_i386.deb	2015-12-17 12:44 CET	776 KiB
maude_2.7-2.debian.tar.xz	2016-04-27 01:19 CEST	6736 B
maude_2.7-2.dsc	2016-04-27 01:19 CEST	2007 B
maude_2.7-2_amd64.deb	2016-04-27 05:26 CEST	811 KiB
maude_2.7-2_i386.deb	2016-04-27 05:41 CEST	776 KiB
maude_2.7-2build2.debian.tar.xz	2020-03-22 18:10 CET	6840 B
maude_2.7-2build2.dsc	2020-03-22 18:10 CET	2070 B
maude_2.7-2build2_amd64.deb	2020-03-22 19:10 CET	812 KiB
maude_2.7.orig.tar.gz	2015-12-17 12:14 CET	1625 KiB
maude_3.1-2.debian.tar.xz	2020-12-16 00:30 CET	6792 B
maude_3.1-2.dsc	2020-12-16 00:30 CET	2022 B
maude_3.1-2_amd64.deb	2020-12-16 00:49 CET	1002 KiB
maude_3.1.orig.tar.gz	2020-11-01 00:18 CET	2281 KiB
maude_3.2-2build1.debian.tar.xz	2024-04-08 17:19 CEST	7384 B
maude_3.2-2build1.dsc	2024-04-08 17:19 CEST	2125 B
maude_3.2-2build1_amd64.deb	2024-04-08 18:11 CEST	1051 KiB
maude_3.2.orig.tar.gz	2022-02-20 06:49 CET	2349 KiB
maude_3.4-1.debian.tar.xz	2024-05-03 03:51 CEST	6544 B
maude_3.4-1.dsc	2024-05-03 03:51 CEST	1387 B
maude_3.4-1_amd64.deb	2024-05-03 05:29 CEST	1143 KiB
maude_3.4.orig.tar.gz	2024-05-03 03:51 CEST	2599 KiB