Removed not needed SRP

[coot]

No description provided.

[Copilot]

Pull Request Overview

Centralize GHC settings in a common GHC stanza, remove redundant per-stanza flags, update maintainers and descriptions, prune unused dependencies, and bump the Hackage index state.

• Added a common GHC section for default-language, extensions, and ghc-options, then imported it in each library and the test-suite.
• Stripped duplicate default-language, default-extensions, and ghc-options from individual stanzas.
• Removed certain build-depends entries (si-timers, time, singletons) and updated the index-state in cabal.project, dropping the source-repository-package block.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File	Description
typed-protocols/typed-protocols.cabal	Introduced common GHC stanza, imported it everywhere, and cleaned up individual stanza settings
typed-protocols/test/Network/TypedProtocol/ReqResp/Tests.hs	Dropped Control.Monad.Class.MonadTimer.SI import and removed the MonadDelay constraint
cabal.project	Bumped index-state and removed the source-repository-package block

Comments suppressed due to low confidence (3)

typed-protocols/typed-protocols.cabal:154

• The test-suite no longer depends on si-timers. If any tests rely on timer utilities from io-classes, they will fail to compile. Please verify that all timing functionality has been removed or re-add si-timers if needed.

, io-classes:io-classes

typed-protocols/typed-protocols.cabal:137

• The examples library no longer lists time as a dependency but it was previously included. If example modules use any time functions, this dependency must be restored or the code updated to remove those uses.

build-depends:    network

typed-protocols/typed-protocols.cabal:23

• [nitpick] Consider adding other widely-used extensions (e.g. DataKinds, GADTs) or shared fields into the common GHC stanza if most libraries require them, to further reduce duplication.

common GHC