search

lspitzner / pqueue

Haskell priority queue package
Other
15 stars 13 forks source link

Support GHC 9.8 #132

Closed andreasabel closed 10 months ago

andreasabel commented 10 months ago

https://github.com/agda/agda/actions/runs/6637739425/job/18032666711#step:9:15

[0] trying: Agda-2.6.5 (user goal) [1] trying: pqueue-1.5.0.0 (dependency of Agda) [__2] rejecting: base-4.19.0.0/installed (conflict: pqueue => base>=4.8 && <4.19)

konsumlamm commented 10 months ago

Closed by #133.