Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 184349 - sci-mathematics/agda-1.0.2 should call elisp-site-regen in pkg_postrm
Summary: sci-mathematics/agda-1.0.2 should call elisp-site-regen in pkg_postrm
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Gentoo's Haskell Language team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 184166
  Show dependency tree
 
Reported: 2007-07-05 20:05 UTC by Ulrich Müller
Modified: 2007-09-23 12:12 UTC (History)
1 user (show)

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

Attachments
Proposed patch for agda-1.0.2.ebuild (agda.patch,292 bytes, patch)
2007-07-05 20:06 UTC, Ulrich Müller 		Details | Diff
View All 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 Ulrich Müller gentoo-dev 2007-07-05 20:05:14 UTC 
The summary says it all. Patch for ebuild will follow.
Comment 1 Ulrich Müller gentoo-dev 2007-07-05 20:06:14 UTC 
Created attachment 124002 [details, diff]
Proposed patch for agda-1.0.2.ebuild
Comment 2 Ulrich Müller gentoo-dev 2007-07-05 20:12:55 UTC 
BTW, herd "math-proof" was not accepted as bug assignee by bugzilla.
Comment 3 Christian Faulhammer (RETIRED) gentoo-dev 2007-09-23 12:12:06 UTC 
No reaction from maintainers for three month, so I committed the fix.  Closing.