aboutsummaryrefslogtreecommitdiff
path: root/gnu/artwork.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-20 10:43:14 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-20 11:17:20 +0200
commit590ec4c616cd01e53cb14de1a15ccda7b1094466 (patch)
tree8b95aa8dd5182649cadcb1e82e0d96b593d83582 /gnu/artwork.scm
parent778872bd95b27d7df4087665c990abf752b3c0a8 (diff)
downloadguix-590ec4c616cd01e53cb14de1a15ccda7b1094466.tar.gz
guix-590ec4c616cd01e53cb14de1a15ccda7b1094466.zip
gnu: Add texlive-autoaligne.
* gnu/packages/tex.scm (texlive-autoaligne): New variable.
Diffstat (limited to 'gnu/artwork.scm')
0 files changed, 0 insertions, 0 deletions
5d7d64ff8567abb32defbf00038fab789353a8d5'>gnu: coq-autosubst: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-mathcomp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: Add coq-semantics....zimoun 2021-10-08gnu: coq: Add upstream-name....Julien Lepiller 2021-07-31gnu: coq: Update to 8.13.2....Julien Lepiller 2021-07-31gnu: coq-stdpp: Update to 1.5.0....Julien Lepiller 2021-06-13gnu: proof-general: Update to 4.4-0.bc86736....Xinglu Chen 2020-11-19gnu: Don't append '.git' to GitHub uris....Efraim Flashner