Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Increase Cabal bounds#3988

Closed
ahmadsalim wants to merge 1 commit into
idris-lang:masterfrom
ahmadsalim:fix/increasecabalbounds
Closed

Increase Cabal bounds#3988
ahmadsalim wants to merge 1 commit into
idris-lang:masterfrom
ahmadsalim:fix/increasecabalbounds

Conversation

@ahmadsalim

Copy link
Copy Markdown

This may make it easier to merge #3456 and similar .

@ahmadsalim ahmadsalim closed this Aug 12, 2017
@ahmadsalim ahmadsalim deleted the fix/increasecabalbounds branch August 12, 2017 15:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant