Summary: | sci-mathematics/agda-2.4.2.5 : Ambiguous occurrence ‘mapMaybe’ | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | haskell |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
emerge-history.txt
environment sci-mathematics:agda-2.4.2.5:20160208-180231.log |
Description
Toralf Förster
2016-02-08 18:35:07 UTC
Created attachment 424976 [details]
emerge-history.txt
Created attachment 424978 [details]
environment
Created attachment 424980 [details]
sci-mathematics:agda-2.4.2.5:20160208-180231.log
Pushed as: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ea9ef2b91417f18c3aa2faec4861348298f6671 Thanks for the report! |