Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Please update dependency upperbounds #4895

Open
ezzieyguywuf opened this issue Jan 12, 2021 · 2 comments
Open

Please update dependency upperbounds #4895

ezzieyguywuf opened this issue Jan 12, 2021 · 2 comments

Comments

@ezzieyguywuf
Copy link

In order to maintain the gentoo package of idris, we have had to manually bump the versions of the following packages:

  • aeson to aeson-1.5
  • 'optparse-applicativetooptparse-applicative-0.16.1.0`

We have succesfully compiled and run the test-suite using these versions and ghc-8.10.3.

Can you bump these versions in the cabal file and release a new version? This will allow us to better support the gentoo package of this project.
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 12, 2021
@ezzieyguywuf
dev-lang/idris: bump to 1.3.3-r2, update dep upperbounds
08e385b 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 12, 2021
@ezzieyguywuf
dev-lang/idris: bump to 1.3.3-r2, update dep upperbounds
b4e743e 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 12, 2021
@ezzieyguywuf
dev-lang/idris: bump to 1.3.3-r2, update dep upperbounds
a70fd3e 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 13, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
1dab98c 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 13, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
69c5f7d 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 14, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
70212df 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 15, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
e6a58e2 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 15, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
6c9fbbb 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
@ezzieyguywuf
Copy link
Author

Also add megaparsec to this list.

ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 16, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
693d5f8 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 16, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
d6605ee 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 16, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
54a0cec 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 16, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
ada42fc 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
ezzieyguywuf added a commit to ezzieyguywuf/gentoo-haskell that referenced this issue Jan 17, 2021
@ezzieyguywuf
dev-lang/idris: 1.3.3-r2, update dep upperbounds
806fd18 
Specifically, `aeson` and `optparse-applicative`. [An issue][1] has been
opened upstream to apply these changes.

[1]: idris-lang/Idris-dev#4895

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
@Jake-Gillberg
Copy link

looks like the plan is to stick to megaparsec < 9: #4826

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ezzieyguywuf @Jake-Gillberg