Name : ghc-kan-extensions
| |
Version : 5.2.6
| Vendor : openSUSE
|
Release : lp160.1.2
| Date : 2024-05-04 17:43:57
|
Group : Unspecified
| Source RPM : ghc-kan-extensions-5.2.6-lp160.1.2.src.rpm
|
Size : 0.59 MB
| |
Packager : https://bugs_opensuse_org
| |
Summary : Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
|
Description :
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/16.0/repo/oss/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-kan-extensions
ghc-kan-extensions(x86-64)
libHSkan-extensions-5.2.6-J7eqB0hfLGL7LN2BM7000X-ghc9.8.3.so()(64bit)
Requires :