Commit - rpms/metamath - ddb2a4bc2549949bce5eeec0cca5894388dc45a6 - src.fedoraproject.org

rpms / metamath

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`ddb2a4b` New upstream version.

Authored and Committed by jjames 5 years ago

raw patch tree parent

3 files changed. 10 lines added. 13586 lines removed.

    New upstream version.

Build completed
success

Built as metamath-0.174-1.fc31
5 years ago
Build completed
success

Built as metamath-0.174-1.fc30
5 years ago
Build completed
success

Built as metamath-0.174-1.fc29
5 years ago
Build completed
success

Built as metamath-0.174-1.fc28
5 years ago

metamath.spec

file modified

+8 -2

metamath.tex

file removed

-13582

sources

file modified

+2 -2

Powered by Pagure 5.14.1

Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint

© Red Hat, Inc. and others.