WRZ FTP-Server

  1. ftp.wrz.de
  2. pub
  3. debian
  4. pool
  5. main
  6. m
  7. metamath
Name Last Modified Size
Parent Directory/   -  
metamath_0.195-1+b1_arm64.deb 2024-10-28 08:55 342.1K
metamath_0.195-1.debian.tar.xz 2021-01-01 10:43 1.9K
metamath_0.195-1.dsc 2021-01-01 10:43 1.2K
metamath_0.195-1_amd64.deb 2021-01-01 11:14 335.6K
metamath_0.195-1_arm64.deb 2021-01-01 11:14 332.6K
metamath_0.195-1_armhf.deb 2021-01-01 11:14 307.6K
metamath_0.195-1_i386.deb 2021-01-01 11:14 341.0K
metamath_0.195.orig.tar.gz 2021-01-01 10:43 455.9K