A new user interface for you! Read more...

ghc-logict

No description set
Refresh
Refresh
Source Files (show merged sources derived from linked package)
Filename Size Changed Actions
ghc-logict.changes 0000001807 1.76 KB 11 days
ghc-logict.spec 0000002287 2.23 KB 11 days
logict-0.7.0.1.tar.gz 0000005807 5.67 KB 11 days
Comments for ghc-logict 1

Repo Checker

repo-checker wrote over 1 year ago

The version of this package in openSUSE:Leap:15.0 has installation issues and may not be installable:

can't install ghc-logict-devel-0.6.0.2-lp150.1.4.x86_64:
  package ghc-compiler-8.0.2-lp150.1.10.x86_64 requires gcc, but none of the providers can be installed
  package ghc-logict-devel-0.6.0.2-lp150.1.4.x86_64 requires ghc-compiler = 8.0.2, but none of the providers can be installed
  package gcc-7-lp150.1.27.x86_64 requires gcc7, but none of the providers can be installed
  nothing provides libmpfr.so.4()(64bit) needed by gcc7-7.3.0+r257042-lp150.1.3.x86_64