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

14 Commits

Author SHA256 Message Date
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
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
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
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
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
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