pool/metamath
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity
21 Commits 3 Branches 0 Tags
factory
Commit Graph

21 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
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
Aaron Puchert
46874d041d OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=20 2022-04-30 12:14:20 +00:00
Dominique Leuenberger
604f2fe747 Accepting request 946709 from science 
- Update to version 0.198.
  * Put two spaces between $c,v on same line in /rewrap.
  * Fix cosmetic bug in WRITE SOURCE ... /REWRAP that prevented end
    of sentence (e.g. period) from appearing in column 79, thus
    causing some lines to be shorter than necessary.
- Use tarballs from GitHub because they have versioned URLs.
- Drop data package. There are no (recent) releases and the files
  are just taken verbatim from https://github.com/metamath/set.mm
  anyway. Users will likely want to work on these in their home
  directory anyway, since they're not libraries.
- Only suggest the book to install.

OBS-URL: https://build.opensuse.org/request/show/946709
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=6
 2022-01-16 22:18:05 +00:00
Aaron Puchert
7f5053cf8d - Update to version 0.198. 
* Put two spaces between $c,v on same line in /rewrap.
  * Fix cosmetic bug in WRITE SOURCE ... /REWRAP that prevented end
    of sentence (e.g. period) from appearing in column 79, thus
    causing some lines to be shorter than necessary.
- Use tarballs from GitHub because they have versioned URLs.
- Drop data package. There are no (recent) releases and the files
  are just taken verbatim from https://github.com/metamath/set.mm
  anyway. Users will likely want to work on these in their home
  directory anyway, since they're not libraries.
- Only suggest the book to install.

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=18
 2022-01-15 20:55:43 +00:00
Dominique Leuenberger
206df99762 Accepting request 876628 from science 
- Update to version 0.196.
- Relax dependencies.

OBS-URL: https://build.opensuse.org/request/show/876628
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=5
 2021-03-24 15:11:31 +00:00
Aaron Puchert
24fd3670ef - Relax dependencies. 
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=16
 2021-03-03 23:29:09 +00:00
Aaron Puchert
13f87f121b - Update to version 0.196. 
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=15
 2021-03-03 23:20:19 +00:00
Dominique Leuenberger
6a687cdd4e Accepting request 759050 from science 
- Update to version 0.180.

OBS-URL: https://build.opensuse.org/request/show/759050
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=4
 2019-12-24 13:29:54 +00:00
Aaron Puchert
c36f08f1ca - More details in changelog entry. 
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=13
 2019-12-24 00:25:34 +00:00
Aaron Puchert
beeffc18e2 - Update to version 0.180. 
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=12
 2019-12-21 21:34:17 +00:00
Dominique Leuenberger
7b05bc290b Accepting request 733250 from science 
- Update to version 0.178.
- Update book to version 20190602.
- Remove Windows executable from sources before building.

OBS-URL: https://build.opensuse.org/request/show/733250
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=3
 2019-09-30 13:58:01 +00:00
Aaron Puchert
78382f7014 - Update to version 0.178. 
- Update book to version 20190602.
- Remove Windows executable from sources before building.

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=10
 2019-09-25 20:37:11 +00:00
Dominique Leuenberger
09f6e97891 Accepting request 711918 from science 
- Update to version 0.177.
- Update book to version 20190407.
- Use man page from upstream now.

OBS-URL: https://build.opensuse.org/request/show/711918
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=2
 2019-06-26 14:03:59 +00:00
Dominique Leuenberger
453b00c32d Accepting request 691613 from science 
- Initial release of the package based on version 0.175.
- Initial release of the Metamath book from 2019-03-07.
- Use date as version number for Metamath book, because it isn't
versioned alongside the program.
- Add a brief manual page.
- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.

OBS-URL: https://build.opensuse.org/request/show/691613
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/metamath?expand=0&rev=1
 2019-06-19 18:54:53 +00:00
Aaron Puchert
a0e763e200 - Update to version 0.177. 
- Update book to version 20190407.
- Use man page from upstream now.

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=7
 2019-05-01 20:29:59 +00:00
Aaron Puchert
f5f41cbcbc - Change SPDX identifier to GPL-2.0-or-later, as README.TXT states. 
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=6
 2019-04-04 20:56:38 +00:00
Aaron Puchert
1865775f9b - Fix dependency versions - since the book has a different version, 
we need to be careful which version we refer to.

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=5
 2019-03-19 23:34:34 +00:00
Aaron Puchert
c01e7f0048 - Fix version number. 
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=4
 2019-03-16 18:09:44 +00:00
Aaron Puchert
7943306207 Accepting request 685608 from home:jengelh:branches:science 
- Remove %if..%endif guards that do not change the build result.
- Itemize the list in the description.

OBS-URL: https://build.opensuse.org/request/show/685608
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=3
 2019-03-16 18:02:20 +00:00
Aaron Puchert
d341ff250e - Update to version 0.175. 
- Update Metamath book to version 20190307.
- Use date as version number for Metamath book, because it isn't
  versioned alongside the program.
- Move source links into comments, as they aren't stable. They
  always point to the latest version, which isn't compatible with
  download_files service runs.

OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=2
 2019-03-16 15:03:10 +00:00
Atri Bhattacharya
34dcb441c5 Accepting request 684127 from home:aaronpuchert 
- Initial release of the package based on version 0.174.
- Package data base files and Metamath book separately.
- Recommend both, make them noarch.
- Add a brief manual page.
- Do not build LaTeX docs on SLES, because TeXlive doesn't seem up to the task there.

OBS-URL: https://build.opensuse.org/request/show/684127
OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=1
 2019-03-15 16:18:51 +00:00