Merge pull request #7280 from LeventErkok/patch-2

crackNum has a new hackage release, solving the compilation issue
This commit is contained in:
Dan Burton 2024-01-11 22:21:35 -08:00 committed by GitHub
commit 38f122a78f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4165,7 +4165,7 @@ packages:
"Levent Erkok <erkokl@gmail.com> @LeventErkok":
- sbv
- crackNum < 0 # https://github.com/LeventErkok/crackNum/issues/7
- crackNum
"János Tapolczai <janos.tapolczai@gmail.com> @jtapolczai":
- listsafe