Ubuntu

metamath-dbgsym 0.195-1 (riscv64 binary) in ubuntu hirsute

Details

Package version:: 0.195-1

Source:: metamath 0.195-1 source package in Ubuntu

Status:: Obsolete

Component:: universe

Priority:: Optional

Downloadable files

riscv64 build of metamath 0.195-1 in ubuntu hirsute PROPOSED produced these files:

metamath-dbgsym_0.195-1_riscv64.ddeb (495.9 KiB)

Package relationships

Depends on: