[Bug 710031] Review Request: ghc-Agda - Dependently typed functional programming language

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=710031

--- Comment #8 from Jens Petersen <petersen at redhat.com> ---
> [!]: MUST Each %files section contains %defattr if rpm < 4.4
>      Note: defattr(....) present in %files -n emacs-agda section. This is OK
>      if packaging for EPEL5. Otherwise not needed

No plans presently to build for epel5.

> [!]: MUST License field in the package spec file matches the actual license.
> 
> The http://hackage.haskell.org/package/Agda page says "OtherLicense" while 
> http://code.haskell.org/Agda/LICENSE says it is a BSD license. Why does the
> .spec file say it is MIT license?

The LICENSE file is MIT, plus one file which is BSD.  So strictly speaking
I guess the Fedora License tag should actually be "MIT and BSD" I guess.

I think older Cabal did not support the MIT license tag so that
is why it is OtherLicense.  Probably the .cabal could/should be
updated upstream to say MIT now.  I will try to ask them about it -
anyway don't think it blocks this review.

-- 
You are receiving this mail because:
You are on the CC list for the bug.