texlive[76186] Master: autoupdate
commits+karl at tug.org
commits+karl at tug.org
Sat Aug 30 01:42:25 CEST 2025
Revision: 76186
https://tug.org/svn/texlive?view=revision&revision=76186
Author: karl
Date: 2025-08-30 01:42:25 +0200 (Sat, 30 Aug 2025)
Log Message:
-----------
autoupdate
Modified Paths:
--------------
trunk/Master/texmf-dist/ls-R
trunk/Master/tlpkg/texlive.tlpdb
Modified: trunk/Master/texmf-dist/ls-R
===================================================================
--- trunk/Master/texmf-dist/ls-R 2025-08-29 23:40:30 UTC (rev 76185)
+++ trunk/Master/texmf-dist/ls-R 2025-08-29 23:42:25 UTC (rev 76186)
@@ -15219,6 +15219,7 @@
fnpct
fnspe
fnumprint
+fodot
foekfont
foilhtml
foliono
@@ -29996,6 +29997,11 @@
README
fnumprint.pdf
+./doc/latex/fodot:
+README.md
+fodot-doc.pdf
+fodot-doc.tex
+
./doc/latex/foekfont:
FoekFont.sfd
README
@@ -34521,6 +34527,7 @@
cvbasic.tex
./doc/latex/koma-script:
+CONTRIBUTING.md
MANIFEST.md
README.md
book-remarkbox-nopatch-de.pdf
@@ -45288,12 +45295,9 @@
showexpl.pdf
./doc/latex/showlabels:
-README
-VERSION
-lppl.txt
+README-ctan.txt
+README.md
showlabels.html
-showlabels.pdf
-style.css
./doc/latex/showtags:
showtags-doc.pdf
@@ -237512,6 +237516,7 @@
fnpct
fnspe
fnumprint
+fodot
foekfont
foilhtml
foliono
@@ -249054,6 +249059,9 @@
./tex/latex/fnumprint:
fnumprint.sty
+./tex/latex/fodot:
+fodot.sty
+
./tex/latex/foekfont:
foekfont.sty
ot1foekfont.fd
Modified: trunk/Master/tlpkg/texlive.tlpdb
===================================================================
--- trunk/Master/tlpkg/texlive.tlpdb 2025-08-29 23:40:30 UTC (rev 76185)
+++ trunk/Master/tlpkg/texlive.tlpdb 2025-08-29 23:42:25 UTC (rev 76186)
@@ -26,11 +26,11 @@
depend frozen/0
depend minrelease/2016
depend release/2025
-depend revision/76169
+depend revision/76185
name 00texlive.image
category TLCore
-revision 76157
+revision 76182
shortdesc TeX Live files only in the source repository
longdesc The files here are not copied by the installer and containers
longdesc are not built for them; they exist only in the source
@@ -1960,6 +1960,7 @@
tlpkg/tlpsrc/fnspe.tlpsrc
tlpkg/tlpsrc/fntproof.tlpsrc
tlpkg/tlpsrc/fnumprint.tlpsrc
+ tlpkg/tlpsrc/fodot.tlpsrc
tlpkg/tlpsrc/foekfont.tlpsrc
tlpkg/tlpsrc/foilhtml.tlpsrc
tlpkg/tlpsrc/foliono.tlpsrc
@@ -5097,7 +5098,7 @@
name 00texlive.installer
category TLCore
-revision 76169
+revision 76185
shortdesc TeX Live standalone installer package
longdesc This package defines the files to go into the installer
longdesc archives (install-tl-unx.tar.gz, install-tl.zip) built by the
@@ -8387,11 +8388,11 @@
name acmart
category Package
-revision 76120
+revision 76177
shortdesc Class for typesetting publications of ACM
longdesc This package provides a class for typesetting publications of
longdesc the Association for Computing Machinery (ACM).
-docfiles size=3493
+docfiles size=3492
texmf-dist/doc/latex/acmart/README details="Readme"
texmf-dist/doc/latex/acmart/acm-jdslogo.png
texmf-dist/doc/latex/acmart/acmart.bib
@@ -29045,7 +29046,7 @@
name babel-latin
category Package
-revision 76038
+revision 76176
shortdesc Babel support for Latin
longdesc The babel-latin package provides the babel languages latin,
longdesc classicallatin, medievallatin, and ecclesiasticallatin. It also
@@ -69757,7 +69758,7 @@
name collection-mathscience
category Collection
-revision 76140
+revision 76182
shortdesc Mathematics, natural sciences, computer science packages
depend 12many
depend accents
@@ -69868,6 +69869,7 @@
depend fixdif
depend fixmath
depend fnspe
+depend fodot
depend formal-grammar
depend fouridx
depend freealign
@@ -107622,13 +107624,13 @@
name envelope-letter
category Package
-revision 76109
+revision 76175
shortdesc Draw a layout to fold the first page of a letter into its own envelope
longdesc This package provides the \makeenvelope command, which draws a
longdesc layout for folding the first page of a letter into its own
longdesc envelope, which is provided with the recipient and sender
longdesc addresses.
-docfiles size=20
+docfiles size=23
texmf-dist/doc/latex/envelope-letter/README details="Readme"
texmf-dist/doc/latex/envelope-letter/envelope-letter-documentation.pdf details="Package documentation"
texmf-dist/doc/latex/envelope-letter/envelope-letter-documentation.tex
@@ -123577,6 +123579,33 @@
catalogue-topics numbers
catalogue-version 1.1a
+name fodot
+category Package
+revision 76182
+shortdesc Helpful commands to work with the FODOT
+longdesc The package fodot provides helpful commands to work with the
+longdesc fodot language in LaTeX including syntax highlighting in
+longdesc listings. The fodot language itself is not introduced. Instead,
+longdesc please refer to the official documentation: Official
+longdesc documentation of fodot:
+longdesc https://fo-dot.readthedocs.io/en/latest/FO-dot.html Technical
+longdesc implementation of fodot
+longdesc https://docs.idp-z3.be/en/stable/introduction.html Reasoning
+longdesc engine IDP-Z3 (using fodot): https://idp-z3.be/.
+docfiles size=73
+ texmf-dist/doc/latex/fodot/README.md details="Readme"
+ texmf-dist/doc/latex/fodot/fodot-doc.pdf details="Package documentation"
+ texmf-dist/doc/latex/fodot/fodot-doc.tex
+runfiles size=2
+ texmf-dist/tex/latex/fodot/fodot.sty
+catalogue-contact-bugs https://gitlab.com/EAVISE/CFL/fodot-latex/-/issues
+catalogue-contact-home https://gitlab.com/EAVISE/CFL/fodot-latex
+catalogue-contact-repository https://gitlab.com/EAVISE/CFL/fodot-latex
+catalogue-ctan /macros/latex/contrib/fodot
+catalogue-license lppl1.3c
+catalogue-topics logic
+catalogue-version 0.0.1
+
name foekfont
category Package
revision 15878
@@ -165130,7 +165159,7 @@
name koma-script
category TLCore
-revision 76100
+revision 76174
shortdesc A bundle of versatile classes and packages
longdesc The KOMA-Script bundle provides replacements for the article,
longdesc report, and book classes with emphasis on typography and
@@ -165147,7 +165176,8 @@
longdesc (which are the main parts of the bundle).
depend etoolbox
depend xpatch
-runfiles size=3971
+runfiles size=3974
+ texmf-dist/doc/latex/koma-script/CONTRIBUTING.md
texmf-dist/doc/latex/koma-script/MANIFEST.md
texmf-dist/doc/latex/koma-script/README.md
texmf-dist/doc/latex/koma-script/book-remarkbox-nopatch-de.pdf
@@ -178286,7 +178316,7 @@
name leporello
category Package
-revision 76151
+revision 76173
shortdesc A simple LaTeX document class to create folded leaflets using columns and boxes
longdesc A simple LaTeX document class to create folded leaflets with
longdesc the following key features: The document layout consists of a
@@ -178299,7 +178329,7 @@
longdesc layout. This way, columns can be used on pages with varying
longdesc widths. Boxes can have padding (including bleed) and a
longdesc background and are positioned inside a column.
-docfiles size=49
+docfiles size=118
texmf-dist/doc/latex/leporello/LICENCE
texmf-dist/doc/latex/leporello/README.md details="Readme"
texmf-dist/doc/latex/leporello/doc/layout.pdf
@@ -215985,7 +216015,7 @@
name nameauth
category Package
-revision 73749
+revision 76172
shortdesc Name authority mechanism for consistency in body text and index
longdesc Publications that reference many names require editors and
longdesc proofreaders to track those names in text and index. The
@@ -215993,7 +216023,7 @@
longdesc compilers to normalize occurrences of names, variant name
longdesc forms, and pen names in text and index. This may help minimize
longdesc writing and production time and cost.
-docfiles size=504
+docfiles size=498
texmf-dist/doc/latex/nameauth/README.md details="Readme"
texmf-dist/doc/latex/nameauth/beamer01.pdf
texmf-dist/doc/latex/nameauth/beamer02.pdf
@@ -241589,7 +241619,7 @@
name pgf
category Package
-revision 76059
+revision 76180
shortdesc Create PostScript and PDF graphics in TeX
longdesc PGF is a macro package for creating graphics. It is platform-
longdesc and format-independent and works together with the most
@@ -242282,7 +242312,7 @@
catalogue-ctan /graphics/pgf/base
catalogue-license lppl1.3c gpl2 fdl
catalogue-topics graphics pgf-tikz graphics-in-tex
-catalogue-version 3.1.11
+catalogue-version 3.1.11a
name pgf-blur
category Package
@@ -273230,18 +273260,18 @@
name schemata
category Package
-revision 58020
+revision 76178
shortdesc Print topical diagrams
longdesc The package facilitates the creation of "topical schemata",
longdesc i.e. outlines that use braces (or facsimiles thereof) to
longdesc illustrate the breakdown of concepts and categories in
longdesc Scholastic thought from late medieval and early modern periods.
-docfiles size=262
+docfiles size=271
texmf-dist/doc/generic/schemata/README.md details="Readme"
texmf-dist/doc/generic/schemata/schemata.eps
texmf-dist/doc/generic/schemata/schemata.pdf details="Package documentation"
texmf-dist/doc/generic/schemata/schematest.tex
-srcfiles size=29
+srcfiles size=31
texmf-dist/source/generic/schemata/Makefile
texmf-dist/source/generic/schemata/schemata.dtx
runfiles size=3
@@ -277643,7 +277673,7 @@
name showlabels
category Package
-revision 63940
+revision 76183
shortdesc Show label commands in the margin
longdesc This package helps you keep track of all the labels you define,
longdesc by putting the name of new labels into the margin whenever the
@@ -277651,26 +277681,23 @@
longdesc thing for other commands. The only one for which this is
longdesc obviously useful is the \cite command, but it's easy to do it
longdesc for others, such as the \ref or \begin commands.
-docfiles size=69
- texmf-dist/doc/latex/showlabels/README details="Readme"
- texmf-dist/doc/latex/showlabels/VERSION
- texmf-dist/doc/latex/showlabels/lppl.txt
+docfiles size=8
+ texmf-dist/doc/latex/showlabels/README-ctan.txt
+ texmf-dist/doc/latex/showlabels/README.md details="Readme"
texmf-dist/doc/latex/showlabels/showlabels.html details="Package documentation (HTML)"
- texmf-dist/doc/latex/showlabels/showlabels.pdf details="Package documentation (PDF)"
- texmf-dist/doc/latex/showlabels/style.css
-srcfiles size=15
+srcfiles size=17
texmf-dist/source/latex/showlabels/showlabels.drv
texmf-dist/source/latex/showlabels/showlabels.dtx
texmf-dist/source/latex/showlabels/showlabels.ins
runfiles size=3
texmf-dist/tex/latex/showlabels/showlabels.sty
-catalogue-contact-bugs https://todo.sr.ht/~nxg/showlabels
+catalogue-contact-bugs https://heptapod.host/nxg/showlabels/-/issues
catalogue-contact-home https://purl.org/nxg/dist/showlabels
catalogue-contact-repository https://heptapod.host/nxg/showlabels
catalogue-ctan /macros/latex/contrib/showlabels
catalogue-license lppl1.3c
catalogue-topics label-ref bibtex-supp macro-supp
-catalogue-version 1.9.2
+catalogue-version 1.9.3
name showtags
category Package
@@ -278091,7 +278118,7 @@
name simpleicons
category Package
-revision 76118
+revision 76179
shortdesc Simple Icons for LaTeX
longdesc Similar to FontAwesome icons being provided on LaTeX by the
longdesc fontawesome package, this package aims to do the same with
@@ -278098,12 +278125,12 @@
longdesc Simple Icons. For reference, visit their website:
longdesc https://simpleicons.org/.
execute addMap simpleicons.map
-docfiles size=684
+docfiles size=685
texmf-dist/doc/fonts/simpleicons/README.md details="Readme"
texmf-dist/doc/fonts/simpleicons/bindings.tex
texmf-dist/doc/fonts/simpleicons/simpleicons.pdf details="Package documentation"
texmf-dist/doc/fonts/simpleicons/simpleicons.tex
-runfiles size=1362
+runfiles size=1364
texmf-dist/fonts/enc/dvips/simpleicons/simpleiconseight.enc
texmf-dist/fonts/enc/dvips/simpleicons/simpleiconsfive.enc
texmf-dist/fonts/enc/dvips/simpleicons/simpleiconsfour.enc
@@ -278157,7 +278184,7 @@
catalogue-ctan /fonts/simpleicons
catalogue-license cc0
catalogue-topics font font-symbol font-supp-symbol font-otf font-type1
-catalogue-version 15.11.0
+catalogue-version 15.12.0
name simpleinvoice
category Package
@@ -291423,7 +291450,7 @@
name tabularray
category Package
-revision 74569
+revision 76184
shortdesc Typeset tabulars and arrays with LaTeX3
longdesc LaTeX tables are implemented using TeX commands such as
longdesc \halign, \noalign, \span, and \omit. In order to implement new
@@ -291437,7 +291464,7 @@
longdesc with the basic syntax of LaTeX2 tables, this macro package will
longdesc completely separate the content and style of the table, and the
longdesc style of the table can be completely set in keyval way.
-docfiles size=227
+docfiles size=270
texmf-dist/doc/latex/tabularray/CHANGELOG.md
texmf-dist/doc/latex/tabularray/README.md details="Readme"
texmf-dist/doc/latex/tabularray/tabularray.pdf details="Package documentation"
@@ -291454,7 +291481,7 @@
catalogue-ctan /macros/latex/contrib/tabularray
catalogue-license lppl1.3c
catalogue-topics table table-long expl3
-catalogue-version 2025A
+catalogue-version 2025B
name tabularray-abnt
category Package
@@ -307160,7 +307187,7 @@
name texlive-scripts
category TLCore
-revision 76169
+revision 76185
shortdesc TeX Live infrastructure programs
longdesc Includes install-tl, tl-portable, rungs, etc.; not needed for
longdesc tlmgr to run but still ours. Not included in tlcritical.
@@ -329826,7 +329853,7 @@
name unbtex
category Package
-revision 74904
+revision 76171
shortdesc A class for theses at University of Brasilia (UnB)
longdesc This package provides a class based on abnTeX and compatible
longdesc with pdflatex and BibTeXr to prepare bachelor, master, and
@@ -329836,7 +329863,7 @@
longdesc documentation for the class and the comments in the templates
longdesc are all written in Portuguese, the language of the target
longdesc audience.
-docfiles size=344
+docfiles size=290
texmf-dist/doc/latex/unbtex/README.md details="Readme"
texmf-dist/doc/latex/unbtex/unbtex-example.pdf details="Example of use" language="pt-br"
texmf-dist/doc/latex/unbtex/unbtex-example.tex
@@ -348929,7 +348956,7 @@
name yquant
category Package
-revision 75563
+revision 76181
shortdesc Typesetting quantum circuits in a human-readable language
longdesc This LaTeX package allows to quickly draw quantum circuits. It
longdesc bridges the gap between the two groups of packages that already
@@ -348982,7 +349009,7 @@
catalogue-ctan /graphics/pgf/contrib/yquant
catalogue-license lppl1.3c
catalogue-topics graphics diagram-circ pgf-tikz
-catalogue-version 0.8
+catalogue-version 0.8.1
name ysabeau
category Package
More information about the tex-live-commits
mailing list.