ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-26 22:38:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq: Remove unused texlive and hevea from native-inputs.

Browse source 
* gnu/packages/ocaml.scm (coq)[native-inputs]: Remove unused texlive and
  hevea.
This commit is contained in:
Pierre Neidhardt 2018-12-14 10:54:16 +01:00
parent 13d37d8403
commit 8a2cfc7bea
No known key found for this signature in database
GPG key ID: 9BDCF497A4BBCC7F
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gnu/packages/ocaml.scm
View file

@ -642,9 +642,6 @@ (define-public coq
(variable "COQPATH") (variable "COQPATH")
(files (list "lib/coq/user-contrib"))))) (files (list "lib/coq/user-contrib")))))
(build-system ocaml-build-system) (build-system ocaml-build-system)
(native-inputs
`(("texlive" ,texlive)
("hevea" ,hevea)))
(inputs (inputs
`(("lablgtk" ,lablgtk) `(("lablgtk" ,lablgtk)
("python" ,python-2) ("python" ,python-2)