Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 304951 - dev-scheme/plt-scheme and dev-tex/slatex collide
Summary: dev-scheme/plt-scheme and dev-tex/slatex collide
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Scheme Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-02-13 20:18 UTC by Diego Elio Pettenò (RETIRED)
Modified: 2010-04-17 17:56 UTC (History)
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 Diego Elio Pettenò (RETIRED) gentoo-dev 2010-02-13 20:18:45 UTC 
* Detected file collision(s):
 * 
 *      /usr/share/texmf/tex/latex/slatex/slatex.sty
 *      /usr/bin/slatex
 * 
 * Searching all installed packages for file collisions...
 * 
 * Press Ctrl-C to Stop
 * 
 * dev-scheme/plt-scheme-4.2.2
 *      /usr/bin/slatex
 *      /usr/share/texmf/tex/latex/slatex/slatex.sty
Comment 1 Dmitry Dzhus 2010-02-13 21:20:36 UTC 
I am not sure about the difference between these two.

According to maintainer note in collects/slatex in PLT distribution,
PLT contains only the mzscheme-specific version of slatex, which means
that it's not just the vanilla version of SLaTeX. sty files are
identical whereas sources are not. Maybe we should rename `slatex`
wrapper included in PLT Scheme to `plt-slatex`?
Comment 2 Panagiotis Christopoulos (RETIRED) gentoo-dev 2010-04-17 17:56:32 UTC 
I fixed that temporarily, by fixing the blocker (drscheme-->plt-scheme), until I think of another approach. Diego, thanks for reporting this.