Nicolas Goaziou
719adbe81d
gnu: Add texlive-gamebook.
...
* gnu/packages/tex.scm (texlive-gamebook): New variable.
2023-08-17 15:45:52 +02:00
Nicolas Goaziou
c6e0b02922
gnu: Add texlive-egameps.
...
* gnu/packages/tex.scm (texlive-egameps): New variable.
2023-08-17 15:45:52 +02:00
Nicolas Goaziou
b5ba3ae637
gnu: Add texlive-customdice.
...
* gnu/packages/tex.scm (texlive-customdice): New variable.
2023-08-17 15:45:52 +02:00
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