Revisions of metamath
buildservice-autocommit
accepted
request 974104
from
Aaron Puchert (aaronpuchert)
(revision 21)
Aaron Puchert (aaronpuchert)
(revision 21)
baserev update by copy to link target
Aaron Puchert (aaronpuchert)
committed
(revision 20)
Aaron Puchert (aaronpuchert)
committed
(revision 19)
- 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.
Aaron Puchert (aaronpuchert)
committed
(revision 18)
- 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.
buildservice-autocommit
accepted
request 876628
from
Aaron Puchert (aaronpuchert)
(revision 17)
Aaron Puchert (aaronpuchert)
(revision 17)
baserev update by copy to link target
buildservice-autocommit
accepted
request 759050
from
Aaron Puchert (aaronpuchert)
(revision 14)
Aaron Puchert (aaronpuchert)
(revision 14)
baserev update by copy to link target
buildservice-autocommit
accepted
request 733250
from
Aaron Puchert (aaronpuchert)
(revision 11)
Aaron Puchert (aaronpuchert)
(revision 11)
baserev update by copy to link target
Aaron Puchert (aaronpuchert)
committed
(revision 10)
- Update to version 0.178. - Update book to version 20190602. - Remove Windows executable from sources before building.
buildservice-autocommit
accepted
request 711918
from
Aaron Puchert (aaronpuchert)
(revision 9)
Aaron Puchert (aaronpuchert)
(revision 9)
baserev update by copy to link target
Dominique Leuenberger (dimstar_suse)
accepted
request 691613
from
Aaron Puchert (aaronpuchert)
(revision 8)
initialized devel package after accepting 691613
Aaron Puchert (aaronpuchert)
committed
(revision 7)
- Update to version 0.177. - Update book to version 20190407. - Use man page from upstream now.
Aaron Puchert (aaronpuchert)
committed
(revision 6)
- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.
Aaron Puchert (aaronpuchert)
committed
(revision 5)
- Fix dependency versions - since the book has a different version, we need to be careful which version we refer to.
Aaron Puchert (aaronpuchert)
accepted
request 685608
from
Jan Engelhardt (jengelh)
(revision 3)
- Remove %if..%endif guards that do not change the build result. - Itemize the list in the description.
Aaron Puchert (aaronpuchert)
committed
(revision 2)
- 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.
Displaying revisions 1 - 20 of 21
