Cabal revisions of Agda-2.8.0.2

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 cabal-version:   2.4 name:            Agda version:         2.8.0.2+x-revision:      1 build-type:      Simple license:         MIT license-file:    LICENSE     , monad-control        >= 1.0.2.3   && < 1.1     , mtl                  >= 2.2.2     && < 2.4     , murmur-hash          >= 0.1.0.9   && < 0.2-    , nonempty-containers  >= 0.3.4.1   && < 0.4+    , nonempty-containers  >= 0.3.4.1   && < 0.5     , parallel             >= 3.2.2.0   && < 3.4     , peano                >= 0.1.0.1   && < 0.2     , pqueue               >= 1.4.1.3   && < 1.8