Enable the mercury deep-profiler.
authorKeri Harris <keri@gentoo.org>
Sat, 30 Dec 2006 01:32:43 +0000 (01:32 +0000)
committerKeri Harris <keri@gentoo.org>
Sat, 30 Dec 2006 01:32:43 +0000 (01:32 +0000)
commit421e1c03ee5ab0e93ad31ad38eac144eca27b6d7
treec8953aef11cac33657d3ceb456a5e3be76406a0d
parentbb0fab05d9b2d86a7577b86ab651c79218e23ac4
Enable the mercury deep-profiler.
Package-Manager: portage-2.1.2_rc4-r2
dev-lang/mercury/ChangeLog
dev-lang/mercury/Manifest
dev-lang/mercury/files/digest-mercury-0.12.2-r4 [new file with mode: 0644]
dev-lang/mercury/files/mercury-0.12.2-profdeep-builtin_throw.patch [new file with mode: 0644]
dev-lang/mercury/mercury-0.12.2-r4.ebuild [new file with mode: 0644]