Nicolas Goaziou
|
ba563ec84a
|
gnu: Add texlive-gamebooklib.
* gnu/packages/tex.scm (texlive-gamebooklib): New variable.
|
2023-08-17 15:45:53 +02:00 |
|
|
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 |
|