Ubuntu – Package Search Results -- metamath-databases

» Ubuntu » Packages » Package Search Results

Limit search to a specific architecture: [i386] [amd64] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain metamath-databases in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

jammy (22.04LTS) (math): Sample databases for Metamath [universe]
0.0.0~20210101.git55fe226-2: all
noble (24.04LTS) (math): Sample databases for Metamath [universe]
0.0.0~20210101.git55fe226-2: all
questing (25.10) (math): Sample databases for Metamath [universe]
0.0.0~20210101.git55fe226-2: all
resolute (26.04LTS) (math): Sample databases for Metamath [universe]
0.0.0~20210101.git55fe226-2build1: all
stonking (math): Sample databases for Metamath [universe]
0.0.0~20210101.git55fe226-2build1: all