Index of /debian/pool/main/m/maude

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[   ] maude_2.7-2+b2_amd64.deb    2018-05-05 12:12  802K  
[   ] maude_2.7-2+b2_arm64.deb    2018-05-05 11:25  754K  
[   ] maude_2.7-2+b2_armel.deb    2018-05-05 13:29  637K  
[   ] maude_2.7-2+b2_armhf.deb    2018-05-05 18:11  668K  
[   ] maude_2.7-2+b2_i386.deb     2018-05-05 13:14  857K  
[   ] maude_2.7-2+b2_mips64el.deb 2018-05-05 16:55  760K  
[   ] maude_2.7-2+b2_ppc64el.deb  2018-05-05 13:14  840K  
[   ] maude_2.7-2+b2_s390x.deb    2018-05-05 12:12  724K  
[   ] maude_2.7-2.debian.tar.xz   2016-04-05 09:56  6.6K  
[TXT] maude_2.7-2.dsc             2016-04-05 09:56  2.0K  
[   ] maude_2.7.orig.tar.gz       2015-12-16 22:06  1.6M  
[   ] maude_3.1-2.debian.tar.xz   2020-12-15 16:47  6.6K  
[TXT] maude_3.1-2.dsc             2020-12-15 16:47  2.0K  
[   ] maude_3.1-2_amd64.deb       2020-12-15 17:27  1.0M  
[   ] maude_3.1-2_arm64.deb       2020-12-15 17:12  893K  
[   ] maude_3.1-2_armel.deb       2020-12-15 17:57  799K  
[   ] maude_3.1-2_armhf.deb       2020-12-15 17:42  838K  
[   ] maude_3.1-2_i386.deb        2020-12-15 17:42  1.1M  
[   ] maude_3.1-2_mips64el.deb    2020-12-15 17:57  934K  
[   ] maude_3.1-2_mipsel.deb      2020-12-16 19:55  937K  
[   ] maude_3.1-2_ppc64el.deb     2020-12-15 17:27  1.0M  
[   ] maude_3.1-2_s390x.deb       2020-12-15 18:43  888K  
[   ] maude_3.1.orig.tar.gz       2020-10-31 13:56  2.2M  
[   ] maude_3.2-2.debian.tar.xz   2022-07-12 15:29  7.1K  
[TXT] maude_3.2-2.dsc             2022-07-12 15:29  2.0K  
[   ] maude_3.2-2_amd64.deb       2022-07-12 16:14  1.0M  
[   ] maude_3.2-2_arm64.deb       2022-07-12 16:29  928K  
[   ] maude_3.2-2_armel.deb       2022-07-12 17:00  828K  
[   ] maude_3.2-2_armhf.deb       2022-07-12 16:14  870K  
[   ] maude_3.2-2_i386.deb        2022-07-12 15:59  1.1M  
[   ] maude_3.2-2_mips64el.deb    2022-07-12 17:30  964K  
[   ] maude_3.2-2_mipsel.deb      2022-07-12 17:00  967K  
[   ] maude_3.2-2_ppc64el.deb     2022-07-12 16:14  1.1M  
[   ] maude_3.2-2_s390x.deb       2022-07-12 15:59  916K  
[   ] maude_3.2.orig.tar.gz       2022-02-19 20:47  2.3M  
[   ] maude_3.4-1.debian.tar.xz   2024-04-07 12:01  6.4K  
[TXT] maude_3.4-1.dsc             2024-04-07 12:01  1.4K  
[   ] maude_3.4-1_amd64.deb       2024-04-07 12:32  1.1M  
[   ] maude_3.4-1_arm64.deb       2024-04-07 12:48  1.0M  
[   ] maude_3.4-1_mips64el.deb    2024-04-07 12:43  1.0M  
[   ] maude_3.4-1_ppc64el.deb     2024-04-07 12:32  1.2M  
[   ] maude_3.4-1_riscv64.deb     2024-04-08 21:25  1.1M  
[   ] maude_3.4-1_s390x.deb       2024-04-07 13:03  1.2M  
[   ] maude_3.4.orig.tar.gz       2024-04-07 12:01  2.5M
Universidade do Porto | Helpdesk