Nicolas Goaziou
085b379d1a
gnu: Add texlive-crosswrd.
...
* gnu/packages/tex.scm (texlive-crosswrd): New variable.
2023-08-17 15:45:52 +02:00
Nicolas Goaziou
a5cd0e0992
gnu: Add texlive-chinesechess.
...
* gnu/packages/tex.scm (texlive-chinesechess): New variable.
2023-08-17 15:45:51 +02:00
Nicolas Goaziou
94578cde33
gnu: Add texlive-chessfss.
...
* gnu/packages/tex.scm (texlive-chessfss): New variable.
2023-08-17 15:45:51 +02:00
Nicolas Goaziou
e3e6dde662
gnu: Add texlive-chessboard.
...
* gnu/packages/tex.scm (texlive-chessboard): New variable.
2023-08-17 15:45:51 +02:00
Nicolas Goaziou
98076e197f
gnu: Add texlive-chess-problem-diagrams.
...
* gnu/packages/tex.scm (texlive-chess-problem-diagrams): New variable.
2023-08-17 15:45:51 +02:00
Nicolas Goaziou
6aad0085be
gnu: Add texlive-chess.
...
* gnu/packages/tex.scm (texlive-chess): New variable.
2023-08-17 15:45:51 +02:00
Nicolas Goaziou
97f316d3de
gnu: Add texlive-bartel-chess-fonts.
...
* gnu/packages/tex.scm (texlive-bartel-chess-fonts): New variable.
2023-08-17 15:45:50 +02:00
Nicolas Goaziou
d5dab35866
gnu: Add texlive-mahjong.
...
* gnu/packages/tex.scm (texlive-mahjong): New variable.
2023-08-17 14:41:10 +02:00
Nicolas Goaziou
874f78a897
gnu: Add texlive-hmtrump.
...
* gnu/packages/tex.scm (texlive-hmtrump): New variable.
2023-08-17 14:36:50 +02:00
Nicolas Goaziou
b6ca418c88
gnu: Add texlive-crossword.
...
* gnu/packages/tex.scm (texlive-crossword): New variable.
2023-08-17 14:31:39 +02:00
Nicolas Goaziou
1b2d43fe01
gnu: Add texlive-collection-music.
...
* gnu/packages/tex.scm (texlive-collection-music): New variable.
2023-08-17 09:48:41 +02:00
Nicolas Goaziou
36a25b75a1
gnu: Add texlive-xpiano.
...
* gnu/packages/tex.scm (texlive-xpiano): New variable.
2023-08-17 09:48:41 +02:00
Nicolas Goaziou
2adb680515
gnu: Add texlive-xml2pmx.
...
* gnu/packages/tex.scm (texlive-xml2pmx): New variable.
2023-08-17 09:48:41 +02:00
Nicolas Goaziou
ad600f9b1b
gnu: Add texlive-songs.
...
* gnu/packages/tex.scm (texlive-songs): New variable.
2023-08-17 09:48:41 +02:00
Nicolas Goaziou
576a337974
gnu: Add texlive-songproj.
...
* gnu/packages/tex.scm (texlive-songproj): New variable.
2023-08-17 09:48:40 +02:00
Nicolas Goaziou
59a20cd263
gnu: Add texlive-songbook.
...
* gnu/packages/tex.scm (texlive-songbook): New variable.
2023-08-17 09:48:40 +02:00
Nicolas Goaziou
3c94a5f9c1
gnu: Add texlive-recorder-fingering.
...
* gnu/packages/tex.scm (texlive-recorder-fingering): New variable.
2023-08-17 09:48:40 +02:00
Nicolas Goaziou
653eca9fd1
gnu: Add texlive-pmxchords.
...
* gnu/packages/tex.scm (texlive-pmxchords): New variable.
2023-08-17 09:48:40 +02:00
Nicolas Goaziou
a1b7a1a098
gnu: Add texlive-pmx.
...
* gnu/packages/tex.scm (texlive-pmx): New variable.
2023-08-17 09:48:40 +02:00
Nicolas Goaziou
58a7ed0af3
gnu: Add texlive-piano.
...
* gnu/packages/tex.scm (texlive-piano): New variable.
2023-08-17 09:48:39 +02:00
Nicolas Goaziou
d8cb19a814
gnu: Add texlive-octave.
...
* gnu/packages/tex.scm (texlive-octave): New variable.
2023-08-17 09:48:39 +02:00
Nicolas Goaziou
4e6c50ebb1
gnu: Add texlive-musixtex-fonts.
...
* gnu/packages/tex.scm (texlive-musixtex-fonts): New variable.
2023-08-17 09:48:39 +02:00
Nicolas Goaziou
81b448d8db
gnu: Add texlive-musixguit.
...
* gnu/packages/tex.scm (texlive-musixguit): New variable.
2023-08-17 09:48:39 +02:00
Nicolas Goaziou
4b07c2a177
gnu: Add texlive-musicography.
...
* gnu/packages/tex.scm (texlive-musicography): New variable.
2023-08-17 09:48:38 +02:00
Nicolas Goaziou
283c2c258d
gnu: Add texlive-musical.
...
* gnu/packages/tex.scm (texlive-musical): New variable.
2023-08-17 09:48:38 +02:00
Nicolas Goaziou
0c632dcd44
gnu: Add texlive-m-tx.
...
* gnu/packages/tex.scm (texlive-m-tx): New variable.
2023-08-17 09:48:38 +02:00
Nicolas Goaziou
2a5eebb748
gnu: Add texlive-lyluatex.
...
* gnu/packages/tex.scm (texlive-lyluatex): New variable.
2023-08-17 09:48:38 +02:00
Nicolas Goaziou
61b78edef0
gnu: Add texlive-lilyglyphs.
...
* gnu/packages/tex.scm (texlive-lilyglyphs): New variable.
2023-08-17 09:48:38 +02:00
Nicolas Goaziou
4a056ade5b
gnu: Add texlive-leadsheets.
...
* gnu/packages/tex.scm (texlive-leadsheets): New variable.
2023-08-17 09:48:37 +02:00
Nicolas Goaziou
2faff99a87
gnu: Add texlive-latex4musicians.
...
* gnu/packages/tex.scm (texlive-latex4musicians): New variable.
2023-08-17 09:48:37 +02:00
Nicolas Goaziou
c888bdcfec
gnu: Add texlive-harmony.
...
* gnu/packages/tex.scm (texlive-harmony): New variable.
2023-08-17 09:48:37 +02:00
Nicolas Goaziou
f697a359be
gnu: Add texlive-guitartabs.
...
* gnu/packages/tex.scm (texlive-guitartabs): New variable.
2023-08-17 09:48:37 +02:00
Nicolas Goaziou
2eaededf3b
gnu: Add texlive-guitarchordschemes.
...
* gnu/packages/tex.scm (texlive-guitarchordschemes): New variable.
2023-08-17 09:48:36 +02:00
Nicolas Goaziou
7ef2820076
gnu: Add texlive-guitar.
...
* gnu/packages/tex.scm (texlive-guitar): New variable.
2023-08-17 09:48:36 +02:00
Nicolas Goaziou
59f51a5e42
gnu: Add texlive-gtrcrd.
...
* gnu/packages/tex.scm (texlive-gtrcrd): New variable.
2023-08-17 09:48:36 +02:00
Nicolas Goaziou
676e73a6fc
gnu: Add texlive-gregoriotex.
...
* gnu/packages/tex.scm (texlive-gregoriotex): New variable.
2023-08-17 09:48:36 +02:00
Nicolas Goaziou
0a8e86831b
gnu: Add texlive-gchords.
...
* gnu/packages/tex.scm (texlive-gchords): New variable.
2023-08-17 09:48:36 +02:00
Nicolas Goaziou
585a7d56f1
gnu: Add texlive-figbas.
...
* gnu/packages/tex.scm (texlive-figbas): New variable.
2023-08-17 09:48:35 +02:00
Nicolas Goaziou
966680d525
gnu: Add texlive-chordbox.
...
* gnu/packages/tex.scm (texlive-chordbox): New variable.
2023-08-17 09:48:35 +02:00
Nicolas Goaziou
b168a3e9b5
gnu: Add texlive-chordbars.
...
* gnu/packages/tex.scm (texlive-chordbars): New variable.
2023-08-17 09:48:35 +02:00
Nicolas Goaziou
e6fef2fe85
gnu: Add texlive-bagpipe.
...
* gnu/packages/tex.scm (texlive-bagpipe): New variable.
2023-08-17 09:48:35 +02:00
Nicolas Goaziou
497463fb29
gnu: Add texlive-autosp.
...
* gnu/packages/tex.scm (texlive-autosp): New variable.
2023-08-17 09:48:34 +02:00
Nicolas Goaziou
6cb6915adb
gnu: Add texlive-abc.
...
* gnu/packages/tex.scm (texlive-abc): New variable.
2023-08-17 09:48:34 +02:00
Nicolas Goaziou
d014c72063
gnu: Add texlive-musixtnt.
...
* gnu/packages/tex.scm (texlive-musixtnt): New variable.
2023-08-17 09:48:34 +02:00
Nicolas Goaziou
1191133bb9
gnu: Add texlive-musixtex.
...
* gnu/packages/tex.scm (texlive-musixtex): New variable.
2023-08-17 09:48:34 +02:00
Janneke Nieuwenhuizen
11c9743350
gnu: mcrl2: Update to 202206.1.
...
* gnu/packages/maths.scm (mcrl2): Update to 202206.1.
[source]: Remove patches.
* gnu/packages/patches/mcrl2-fix-1687.patch,
gnu/packages/patches/mcrl2-fix-counterexample.patch: Remove files.
* gnu/local.mk (dist_patch_DATA): Remove their references.
2023-08-17 08:08:59 +02:00
Maxim Cournoyer
e80e082be1
doc: cookbook: Document how to disable the Yubikey OTP application.
...
* doc/guix-cookbook.texi (Using security keys)
<Disabling OTP code generation for a Yubikey>: New subsection.
Reviewed-by: John Kehayias <john.kehayias@protonmail.com>
2023-08-17 00:01:45 -04:00
Maxim Cournoyer
55f1c1c8a1
doc: cookbook: Document a dynamic DNS update mcron job.
...
* doc/guix-cookbook.texi (System Configuration)
<Dynamic DNS mcron job>: New subsection.
Reviewed-by: Ludovic Courtès <ludo@gnu.org>
2023-08-16 23:54:15 -04:00
Maxim Cournoyer
79ec651a28
scripts: time-machine: Error when attempting to visit too old commits.
...
* doc/guix.texi (Invoking guix time-machine): Document limitation.
* guix/inferior.scm (cached-channel-instance): New VALIDATE-CHANNELS
argument. Use it to validate channels when there are no cache hit.
* guix/scripts/time-machine.scm
(%options): Tag the given reference with 'tag-or-commit instead of 'commit.
(%oldest-possible-commit): New variable.
(guix-time-machine) <validate-guix-channel>: New nested procedure. Pass it to
the 'cached-channel-instance' call.
* tests/guix-time-machine.sh: New test.
* Makefile.am (SH_TESTS): Register it.
Suggested-by: Simon Tournier <zimon.toutoune@gmail.com>
Reviewed-by: Ludovic Courtès <ludo@gnu.org>
Reviewed-by: Simon Tournier <zimon.toutoune@gmail.com>
2023-08-16 21:34:13 -04:00
Maxim Cournoyer
ecab937897
pull: Tag commit argument with 'tag-or-commit.
...
For compatibility with (guix git) procedures.
* guix/scripts/pull.scm (channel-list): Also accept tag-or-commit tagged
refspec.
2023-08-16 21:34:13 -04:00