|
ghc-bytestring-builder.spec
|
|
ghc-configurator.spec
|
|
ghc-engine-io-snap.spec
|
|
ghc-engine-io.spec
|
|
ghc-socket-io.spec
|
|
ghc-stm-delay.spec
|
|
ghc-websockets-snap.spec
|
|
ghc-websockets-snap.spec.cblrpm
|
|
idp-webid-fix-path.patch
|
|
idp-webid.spec
|
|
idp3-fix-comparison.patch
|
|
idp3-fix-docs.patch
|
|
idp3-fix-minisatid.patch
|
|
idp3-fix-no-narrowing.patch
|
|
idp3-fix-spass.patch
|
|
idp3-fix-xsb.patch
|
|
idp3-no-static-libstdc++.patch
|
|
idp3.spec
|