Name Last modified Size Description Parent Directory - maude_3.2-2.dsc 2022-07-12 16:29 2.0K maude_3.2-2.debian.tar.xz 2022-07-12 16:29 7.1K maude_3.2-2_amd64.deb 2022-07-12 17:14 1.0M maude_3.2.orig.tar.gz 2022-02-19 21:47 2.3M