lang/coq: update to 8.20.1
pkgsrc changes: g/c obsolete patches; update build mechanism.
*** Note:
***
*** Because of upstream build changes, the stdlib files have moved:
*** ${PREFIX}/lib/coq/theories
*** ==>
*** ${PREFIX}/lib/ocaml/site-lib/coq/theories
***
*** This package includes a symlink in the old location; future
*** versions might not.
Upstream changes since 8.15.2:
...way too many to paste here since it's been way too long since the
last update.
See https://coq.inria.fr/doc/v8.20/refman/changes.html.
misc/ocaml-opaline: some fixes in support of new lang/coq
- support "lib_root" section
- quote filenames being installed so filenames with '*' don't result
in a face-plant
PKGREVISION -> 2
converters/hs-pandoc: update to pandoc-3.6.3
## pandoc 3.6.3 (2025-02-09)
* Track wikilinks with a class instead of a title (Evan Silberman).
Previously wikilinks were distinguished by giving them the `title`
`wikilink`. Now that we have link attributes, it makes more sense
to give them the `class` `wikilink`. This change affects all readers
and writers that support wikilinks.
* DocBook reader:
+ Handle title inside `orderedlist` (#10594). Also some other
elements that allow title: `blockquote`, `calloutlist`, etc.
+ Better handle `informalequation` (#10592, tombolano). Include `id`
attribute.
+ Better handle `formalpara`, `example`, and `sidebar` (#8666, tombolano).
Include identifiers and titles in each case.
[125 lines not shown]
textproc/hs-typst: update to typst-0.6.2
## 0.6.2
* Allow types to act as constructor functions, as in typst (#61).
Add new unexported module, Typst.Constructors, defining the
constructors for each of the typst types.
Fix name of string type: it is `str`, not `string` (which is only
the `repr`).
* Support `dict`, `datetime`, `symbol` constructors.
* Improve path handling when loading files (#60).
We now look in the "local path" (the path of the containing file)
except when the path begins with `/` (in which case it is resolved
relative to the package path).
* Fix issue with expression parsing involving labels (#59).
* Remove spurious trace in `getPath`.
textproc/hs-commonmark-pandoc: update to commonmark-pandoc-0.2.3
## 0.2.3
- Track wikilinks with a class instead of the title (Evan
Silberman). The use of title="wikilink" in HTML output traces
back to Pandoc's hijacking of the title attribute for this purpose
back when Pandoc links didn't have Attrs. A coordinated change in
Pandoc moves this more appropriately into a class.
textproc/hs-commonmark-extensions: update to commonmark-extensions-0.2.6
## 0.2.6
* Track wikilinks with a class instead of the title (Evan
Silberman). The use of title="wikilink" in HTML output traces
back to Pandoc's hijacking of the title attribute for this purpose
back when Pandoc links didn't have Attrs. A coordinated change in
Pandoc moves this more appropriately into a class.
textproc/hs-citeproc: update to citeproc-0.8.1.3
## 0.8.1.3
* Don't add SubstitutedVal to variables that were empty (#148).
This fixes a bug which caused `variable=` tests to succeed
in some cases where they should have failed.
xournalpp: update to 1.2.6.
## 1.2.6
* Fixed a weird behaviour when drawing the outline of the compass multiple times (#6265, #6256)
* Exposed selected text to the windowing system for accessibility purposes (#6221, #6215)
* MacOS: Fixed loading of jpeg images from the PDF background (#6184, #6167)
* MacOS: Fixed CJK and Cyrillic font rendering (#6285, #3474)
csvlens: update to 0.12.0.
Freeze first n columns when scrolling via f<n> (#62, #117)
Support searching in header row (#102)
Support moving find mode cursor horizontally via n / N
Support library usage without clap dependency (#118 by @jqnatividad)
Fix search highlighting when columns are filtered
Fix column scrolling for CSV with irregular last row (#99)
