![]() |
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
---|
File | Last Modified | Size |
---|---|---|
📂 Parent Directory | ||
📄 metamath_0.180-1.debian.tar.xz | 2020-01-02 23:13:19 | 2.04 KB |
📄 metamath_0.180-1.dsc | 2020-01-02 23:13:18 | 1.18 KB |
📄 metamath_0.180-1_amd64.deb | 2020-01-02 23:58:21 | 327.3 KB |
📄 metamath_0.180.orig.tar.gz | 2020-01-02 23:13:18 | 434.39 KB |
📄 metamath_0.195-1.debian.tar.xz | 2021-01-01 17:19:56 | 1.88 KB |
📄 metamath_0.195-1.dsc | 2021-01-01 17:19:56 | 1.18 KB |
📄 metamath_0.195-1_amd64.deb | 2021-01-01 17:34:51 | 335.74 KB |
📄 metamath_0.195.orig.tar.gz | 2021-01-01 17:19:56 | 455.93 KB |