Cabal revisions of agda2lagda-0.2023.3.25

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

  name:                agda2lagda version:             0.2023.3.25+x-revision: 1 synopsis:            Translate .agda files into .lagda.tex files.  description:         Simple command line tool to convert plain Agda                        -- , directory >= 1.2.6.2 && < 1.4                        , filepath                        -- , filepath == 1.4.*-                       , optparse-applicative-                       -- , optparse-applicative >= 0.13 && < 0.16+                       , optparse-applicative >= 0.13 && < 0.18    hs-source-dirs:      src   default-language:    Haskell2010    default-extensions:-                       -- BangPatterns-                       -- ConstraintKinds-                       -- DefaultSignatures-                       -- DeriveDataTypeable-                       -- DeriveFoldable                        DeriveFunctor-                       -- DeriveTraversable-                       -- ExistentialQuantification-                       -- FlexibleContexts-                       -- FlexibleInstances-                       -- FunctionalDependencies-                       -- InstanceSigs                        LambdaCase-                       -- MultiParamTypeClasses                        MultiWayIf-                       -- NamedFieldPuns-                       -- OverloadedStrings                        PatternSynonyms-                       -- RankNTypes                        RecordWildCards-                       -- ScopedTypeVariables-                       -- StandaloneDeriving                        TupleSections-                       -- TypeSynonymInstances    ghc-options:         -Wall                        -Wcompat