288990 – sci-mathematics/coq-8.2_p1-r1 USE="doc": LaTeX Error: File `stmaryrd.sty' not found

Bug 288990 - sci-mathematics/coq-8.2_p1-r1 USE="doc": LaTeX Error: File `stmaryrd.sty' not found

Summary: sci-mathematics/coq-8.2_p1-r1 USE="doc": LaTeX Error: File `stmaryrd.sty' not...

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	High normal (vote)
Assignee:	Gentoo Science Related Packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2009-10-14 01:35 UTC by Arttu Valo
Modified:	2009-10-15 10:51 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Arttu Valo 2009-10-14 01:35:01 UTC

Trying to emerge sci-mathematics/coq-8.2_p1-r1 with USE="doc" results in following error message:

This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
I couldn't open file name `FAQ.v.aux'
! LaTeX Error: File `stmaryrd.sty' not found. (file FAQ.v.tex)

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)


This style file appears to be provided by dev-texlive/texlive-mathextra, and emerge passes once that is emerged before coq.

Comment 1 Justin Lecher (RETIRED) gentoo-dev

2009-10-14 21:05:08 UTC

Please attach full build.log

Comment 2 Alexis Ballier gentoo-dev

2009-10-15 10:51:05 UTC

thanks, fixed.