mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-28 15:10:26 +01:00
Add liquid-fixpoint, restore text-format
This commit is contained in:
parent
e8e2507b2c
commit
e3d825c54b
@ -1107,6 +1107,9 @@ packages:
|
|||||||
# @mr's packages
|
# @mr's packages
|
||||||
- ftp-client
|
- ftp-client
|
||||||
- ftp-client-conduit
|
- ftp-client-conduit
|
||||||
|
# other: real maintainers pls steal these back
|
||||||
|
- text-format # needed by liquid-fixpoint
|
||||||
|
- liquid-fixpoint
|
||||||
|
|
||||||
"Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
|
"Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
|
||||||
- bimap-server
|
- bimap-server
|
||||||
@ -4847,8 +4850,6 @@ packages:
|
|||||||
# - language-lua2 # https://github.com/mitchellwrosen/language-lua2/issues/4 # GHC 8.2.1
|
# - language-lua2 # https://github.com/mitchellwrosen/language-lua2/issues/4 # GHC 8.2.1
|
||||||
- cassava
|
- cassava
|
||||||
|
|
||||||
- text-format < 0 # via base-4.13.0.0
|
|
||||||
|
|
||||||
# Packages without maintainers that cause issues,
|
# Packages without maintainers that cause issues,
|
||||||
# this is to prevent us from including them by accident. They can
|
# this is to prevent us from including them by accident. They can
|
||||||
# be removed from this list if they are fixed.
|
# be removed from this list if they are fixed.
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user