Cabal revisions of Agda-2.6.4

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

 cabal-version:   2.4 name:            Agda version:         2.6.4+x-revision:      1 build-type:      Custom license:         MIT license-file:    LICENSE     , pretty               >= 1.1.3.3   && < 1.2     , process              >= 1.6.3.0   && < 1.7     , regex-tdfa           >= 1.3.1.0   && < 1.4-    , split                >= 0.2.0.0   && < 0.2.4+    , split                >= 0.2.0.0   && < 0.3     , stm                  >= 2.4.4     && < 2.6     , STMonadTrans         >= 0.4.3     && < 0.5     , strict               >= 0.4.0.1   && < 0.6