Tue, 08 Oct 2024 08:27:39 UTC | login

Information for RPM ghc-chalmers-lava2000-devel-1.6.1-9.fc30.riscv64.rpm

ID328525
Nameghc-chalmers-lava2000-devel
Version1.6.1
Release9.fc30
Epoch
Archriscv64
SummaryHaskell chalmers-lava2000 library development files
DescriptionThis package provides the Haskell chalmers-lava2000 library development files.
Build Time2019-02-22 21:02:57 GMT
Size3.82 MB
e0d91664af55c77037e2bdd49f7bc239
LicenseBSD
Buildrootf30-build-43022-24861
Provides
ghc-chalmers-lava2000-devel = 1.6.1-9.fc30
ghc-chalmers-lava2000-devel(riscv-64) = 1.6.1-9.fc30
ghc-chalmers-lava2000-doc = 1.6.1-9.fc30
ghc-chalmers-lava2000-static = 1.6.1-9.fc30
ghc-devel(chalmers-lava2000-1.6.1-HpfzZuqhUZY5R6mFiEw8mc)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
/bin/sh
/bin/sh
ghc-chalmers-lava2000(riscv-64) = 1.6.1-9.fc30
ghc-compiler = 8.4.4
ghc-compiler = 8.4.4
ghc-compiler = 8.4.4
ghc-devel(array-0.5.2.0)
ghc-devel(base-4.11.1.0)
ghc-devel(process-1.6.3.0)
ghc-devel(random-1.1-9LLJAJa4iQFLJiLXBOBXBV)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 101 through 150 of 266 >>>
Name ascending sort Size
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Smv.p_hi4.66 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Stable.dyn_hi3.12 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Stable.hi3.11 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Stable.p_hi8.09 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Table.dyn_hi8.53 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Table.hi8.52 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Table.p_hi9.88 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Test.dyn_hi4.85 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Test.hi4.84 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Test.p_hi4.45 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Verification.dyn_hi27.08 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Verification.hi27.07 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Verification.p_hi26.88 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Vhdl.dyn_hi7.30 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Vhdl.hi7.29 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Vhdl.p_hi6.85 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Vis.dyn_hi13.89 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Vis.hi13.88 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Vis.p_hi13.40 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Zchaff.dyn_hi4.73 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Zchaff.hi4.72 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/Zchaff.p_hi4.71 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Paths_chalmers_lava2000.dyn_hi14.88 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Paths_chalmers_lava2000.hi14.87 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Paths_chalmers_lava2000.p_hi15.00 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/libHSchalmers-lava2000-1.6.1-HpfzZuqhUZY5R6mFiEw8mc.a18.44 MB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/libHSchalmers-lava2000-1.6.1-HpfzZuqhUZY5R6mFiEw8mc_p.a27.00 MB
/usr/lib64/ghc-8.4.4/package.conf.d/chalmers-lava2000-1.6.1.conf2.02 KB
/usr/share/chalmers-lava2000-1.6.10.00 B
/usr/share/chalmers-lava2000-1.6.1/Doc0.00 B
/usr/share/chalmers-lava2000-1.6.1/Scripts0.00 B
/usr/share/chalmers-lava2000-1.6.1/Scripts/minisat.wrapper1.34 KB
/usr/share/chalmers-lava2000-1.6.1/Scripts/satzoo.wrapper1.34 KB
/usr/share/chalmers-lava2000-1.6.1/Scripts/smv.wrapper1.32 KB
/usr/share/chalmers-lava2000-1.6.1/Vhdl0.00 B
/usr/share/chalmers-lava2000-1.6.1/Vhdl/lava.vhd2.02 KB
/usr/share/doc/ghc-chalmers-lava2000-devel0.00 B
/usr/share/doc/ghc-chalmers-lava2000-devel/README315.00 B
/usr/share/doc/ghc-chalmers-lava2000-devel/README.fedora379.00 B
/usr/share/doc/ghc-chalmers-lava2000-devel/tutorial.pdf453.20 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.10.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Arithmetic.html9.54 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Captain.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Combinational.html1.58 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-ConstructiveAnalysis.html1.87 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Eprover.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Error.html6.15 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Fixit.html1.72 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Generic.html80.83 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-HeerHugo.html1.74 KB
Component of No Buildroots