aboutsummaryrefslogtreecommitdiff
path: root/guix.scm
diff options
context:
space:
mode:
authorPierre Neidhardt <mail@ambrevar.xyz>2018-12-14 10:54:16 +0100
committerPierre Neidhardt <mail@ambrevar.xyz>2018-12-14 23:32:38 +0100
commit8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9 (patch)
tree55d212a66996599731e57ade19abeb04bc8a25cd /guix.scm
parent13d37d840366e79dc5c616f261bcb9a552b999f1 (diff)
downloadguix-8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9.tar
guix-8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9.tar.gz
gnu: coq: Remove unused texlive and hevea from native-inputs.
* gnu/packages/ocaml.scm (coq)[native-inputs]: Remove unused texlive and hevea.
Diffstat (limited to 'guix.scm')
0 files changed, 0 insertions, 0 deletions