Dominique Leuenberger 4fcd43e1a9 Accepting request 974104 from science ...

- Disable build of metamath-book on Tumbleweed: it doesn't build
  with TeXlive 2022 because of what seems to be a bug in
  texlive-tabu. (gh#metamath/metamath-book#235)
- Use symbolic dependencies for required TeX packages.

OBS-URL: https://build.opensuse.org/request/show/974104
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=7

2022-04-30 20:53:06 +00:00

.gitattributes

Accepting request 684127 from home:aaronpuchert

2019-03-15 16:18:51 +00:00

.gitignore

Accepting request 684127 from home:aaronpuchert

2019-03-15 16:18:51 +00:00

metamath-0.198.tar.gz

- Update to version 0.198.

2022-01-15 20:55:43 +00:00

metamath-book-20190602.tar.gz

- Update to version 0.198.

2022-01-15 20:55:43 +00:00

metamath.changes

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=20

2022-04-30 12:14:20 +00:00

metamath.spec

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=20

2022-04-30 12:14:20 +00:00

Description

No description provided

279 KiB

Languages

RPM Spec 100%