Welcome to Capital Online Mirror Site

/ubuntu-security/pool/universe/m/metamath-databases/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
metamath-databases_0.0.0~20210101.git55fe226-2.dsc	1.4 KiB	2021-Jan-07 01:34
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz	3.1 KiB	2021-Jan-07 01:34
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb	12.3 MiB	2021-Jan-07 01:35
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz	12.3 MiB	2021-Jan-02 01:19