Bugs fixes in "agda"
| Origin | Bug number | Title | Date fixed |
|---|---|---|---|
| Debian | 663048 | src:agda: FTBFS with ghc 7.4 due to versioned dependencies in configure - Debian Bug report logs | 2012-03-18 |
About
-
Send Feedback to @ubuntu_updates
