Summary: | dev-scheme/plt-scheme and dev-tex/slatex collide | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Diego Elio Pettenò (RETIRED) <flameeyes> |
Component: | New packages | Assignee: | Scheme Project <scheme> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | hkbst |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Diego Elio Pettenò (RETIRED)
2010-02-13 20:18:45 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`? I fixed that temporarily, by fixing the blocker (drscheme-->plt-scheme), until I think of another approach. Diego, thanks for reporting this. |