agda icon indicating copy to clipboard operation
agda copied to clipboard
verified publisher icon agda

release 2.8.0 candidate

Open andreasabel opened this issue 8 months ago • 0 comments

  • Bump version to 2.7.20250510

  • Agda.cabal: replace -Werror by -Wwarn

  • Agda.cabal: remove test-suite

Candidate: https://hackage.haskell.org/package/Agda-2.7.20250510/candidate

Candidate 2: https://hackage.haskell.org/package/Agda-2.7.20250524/candidate

Candidate 3: https://hackage.haskell.org/package/Agda-2.7.20250601/candidate

andreasabel avatar May 10 '25 13:05 andreasabel