Package: metamath

Upstream info
Summary: Construct mathematics from basic axioms
Description:
URL: https://us.metamath.org/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/metamath
Koschei: https://koschei.fedoraproject.org/package/metamath
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 0.198-7.fc40
f40 base 0.198-7.fc40
f39 base 0.198-5.fc39
f38 base 0.198-4.fc38
f37 base 0.198-3.fc37
f36 base 0.198-2.fc36
f35 base 0.198-1.fc35
f34 updates 0.198-1.fc34
  base 0.196-2.fc34
f33 updates 0.198-1.fc33
  base 0.193-1.fc33
f32 updates 0.196-1.fc32
  base 0.181-1.fc32
f31 updates 0.193-1.fc31
  base 0.178-1.fc31
f30 updates 0.181-1.fc30
  base 0.176-1.fc30
f29 updates 0.178-1.fc29
  base 0.164-1.fc29
f28 updates 0.177-1.fc28
  base 0.161-1.fc28
f27 updates 0.164-1.fc27
  base 0.152-1.fc27
f26 updates 0.161-1.fc26
  base 0.144-1.fc26
f25 updates 0.155-1.fc25
  base 0.135-1.fc25
f24 updates 0.144-1.fc24