Mon, 30 Mar 2020 20:32:11 UTC

Information for RPM ghc-djinn-lib-0.0.1.3-5.fc30.ppc64le.rpm

ID16870896
Nameghc-djinn-lib
Version0.0.1.3
Release5.fc30
Epoch
Archppc64le
SummaryGenerate Haskell code from a type
DescriptionDjinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.
Build Time2019-03-01 15:31:24 GMT
Size157,564
328e29ce7146df60e66fd4047fd607f9
LicenseBSD
Buildrootf30-ghc-15398632-1106383
Provides
ghc-djinn-lib = 0.0.1.3-5.fc30
ghc-djinn-lib(ppc-64) = 0.0.1.3-5.fc30
libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libHSbase-4.11.1.0-ghc8.4.4.so()(64bit)
libHScontainers-0.5.11.0-ghc8.4.4.so()(64bit)
libHSghc-prim-0.5.2.0-ghc8.4.4.so()(64bit)
libHSinteger-gmp-1.0.2.0-ghc8.4.4.so()(64bit)
libHSpretty-1.1.3.6-ghc8.4.4.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
/usr/lib/.build-id0
/usr/lib/.build-id/f70
/usr/lib/.build-id/f7/c626ad8d3fc16c4a49b4f177f1040e89b8355879
/usr/lib64/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so1,185,968
/usr/share/licenses/ghc-djinn-lib0
/usr/share/licenses/ghc-djinn-lib/LICENSE1,614
Component of
1 through 33 of 33
Buildroot descending sort Created State
f30-build-19652651-1391226 2020-03-02 06:31:21 expired
f30-build-18708851-1326652 2019-12-31 16:27:22 expired
f30-build-18429310-1315415 2019-12-13 01:53:17 expired
f30-build-17797266-1281219 2019-10-13 13:17:50 expired
f30-build-17462874-1259451 2019-09-08 21:38:29 expired
f30-build-17202842-1234398 2019-08-11 10:08:18 expired
f31-build-16981799-1223198 2019-07-25 03:39:36 expired
f31-build-16931410-1220894 2019-07-21 14:35:26 expired
f31-build-16897366-1218952 2019-07-18 18:37:01 expired
f31-build-16849562-1216202 2019-07-13 15:27:46 expired
f30-build-16805999-1213712 2019-07-09 02:59:04 expired
f31-build-16794654-1213100 2019-07-07 23:59:31 expired
f31-build-16684210-1208235 2019-06-28 14:36:11 expired
f30-build-16642068-1203110 2019-06-24 10:19:45 expired
f31-build-16614917-1200300 2019-06-22 13:22:30 expired
f31-build-16489508-1181748 2019-06-07 23:26:42 expired
f30-build-16483256-1181162 2019-06-07 12:27:21 expired
f31-build-16420092-1175665 2019-06-02 04:30:21 expired
f30-build-16352739-1169863 2019-05-26 18:41:28 expired
f31-build-16305758-1167190 2019-05-21 14:14:01 expired
f31-build-16243510-1162615 2019-05-14 10:33:55 expired
f30-build-16189739-1159503 2019-05-09 08:09:08 expired
f31-build-16126133-1155283 2019-05-03 21:39:02 expired
f31-build-16063333-1151144 2019-04-27 03:16:44 expired
f31-build-15969875-1145860 2019-04-21 04:37:55 expired
f30-build-15954107-1145585 2019-04-20 04:09:16 expired
f31-build-15881205-1141264 2019-04-12 21:02:49 expired
f31-build-15788107-1134999 2019-04-04 06:20:48 expired
f30-build-15723272-1131465 2019-03-29 22:40:56 expired
f31-build-15696500-1128170 2019-03-25 03:03:17 expired
f31-build-15632786-1124150 2019-03-18 21:39:23 expired
f31-build-15533074-1117340 2019-03-11 17:52:06 expired
f30-ghc-15398720-1106454 2019-03-01 15:42:11 expired