pool/metamath
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity

Commit Graph

  • 4fcd43e1a9 Accepting request 974104 from science factory leap-16.1 leap-16.0 Dominique Leuenberger 2022-04-30 20:53:06 +00:00
  • 46874d041d OBS-URL: https://build.opensuse.org/package/show/science/metamath?expand=0&rev=20 Aaron Puchert 2022-04-30 12:14:20 +00:00
  • 604f2fe747 Accepting request 946709 from science Dominique Leuenberger 2022-01-16 22:18:05 +00:00
  • 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. Aaron Puchert 2022-01-15 20:55:43 +00:00
  • 206df99762 Accepting request 876628 from science Dominique Leuenberger 2021-03-24 15:11:31 +00:00
  • 24fd3670ef - Relax dependencies. Aaron Puchert 2021-03-03 23:29:09 +00:00
  • 13f87f121b - Update to version 0.196. Aaron Puchert 2021-03-03 23:20:19 +00:00
  • 6a687cdd4e Accepting request 759050 from science Dominique Leuenberger 2019-12-24 13:29:54 +00:00
  • c36f08f1ca - More details in changelog entry. Aaron Puchert 2019-12-24 00:25:34 +00:00
  • beeffc18e2 - Update to version 0.180. Aaron Puchert 2019-12-21 21:34:17 +00:00
  • 7b05bc290b Accepting request 733250 from science Dominique Leuenberger 2019-09-30 13:58:01 +00:00
  • 78382f7014 - Update to version 0.178. - Update book to version 20190602. - Remove Windows executable from sources before building. Aaron Puchert 2019-09-25 20:37:11 +00:00
  • 09f6e97891 Accepting request 711918 from science Dominique Leuenberger 2019-06-26 14:03:59 +00:00
  • a0e763e200 - Update to version 0.177. - Update book to version 20190407. - Use man page from upstream now. Aaron Puchert 2019-05-01 20:29:59 +00:00
  • 453b00c32d Accepting request 691613 from science Dominique Leuenberger 2019-06-19 18:54:53 +00:00
  • f5f41cbcbc - Change SPDX identifier to GPL-2.0-or-later, as README.TXT states. Aaron Puchert 2019-04-04 20:56:38 +00:00
  • 1865775f9b - Fix dependency versions - since the book has a different version, we need to be careful which version we refer to. Aaron Puchert 2019-03-19 23:34:34 +00:00
  • c01e7f0048 - Fix version number. Aaron Puchert 2019-03-16 18:09:44 +00:00
  • 7943306207 Accepting request 685608 from home:jengelh:branches:science Aaron Puchert 2019-03-16 18:02:20 +00:00
  • 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. Aaron Puchert 2019-03-16 15:03:10 +00:00
  • 34dcb441c5 Accepting request 684127 from home:aaronpuchert Atri Bhattacharya 2019-03-15 16:18:51 +00:00