![[NLUUG]](/.ignore_logo.webp){kind=logo}
The large public mirror server for open source projects hosted by NLUUG and Surfnet
/os/Linux/distr/ubuntu/pool/universe/m/metamath-databases/| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| ./ | - | 2025-Dec-16 22:25 |
| ../ | - | 2026-Mar-31 12:06 |
| metamath-databases_0.0.0~20210101.git55fe226-2.d..> | 3.1 KiB | 2021-Jan-06 17:34 |
| metamath-databases_0.0.0~20210101.git55fe226-2.dsc | 1.4 KiB | 2021-Jan-06 17:34 |
| metamath-databases_0.0.0~20210101.git55fe226-2_a..> | 12.3 MiB | 2021-Jan-06 17:35 |
| metamath-databases_0.0.0~20210101.git55fe226-2bu..> | 3.2 KiB | 2025-Dec-16 22:16 |
| metamath-databases_0.0.0~20210101.git55fe226-2bu..> | 2.1 KiB | 2025-Dec-16 22:16 |
| metamath-databases_0.0.0~20210101.git55fe226-2bu..> | 12.8 MiB | 2025-Dec-16 22:25 |
| metamath-databases_0.0.0~20210101.git55fe226.ori..> | 12.3 MiB | 2021-Jan-01 17:19 |
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!