Sat, 05 Oct 2024 05:46:36 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:
1 through 50 of 266 >>>
Name Size ascending sort
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.10.00 B
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava0.00 B
/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/Vhdl0.00 B
/usr/share/doc/ghc-chalmers-lava2000-devel0.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.10.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/src0.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/meta.json28.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/minus.gif56.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/plus.gif59.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/html/libraries/chalmers-lava2000-1.6.1/src/highlight.js567.00 B
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/src/style.css575.00 B
/usr/share/chalmers-lava2000-1.6.1/Scripts/smv.wrapper1.32 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/src/Lava.LavaDir.html1.33 KB
/usr/share/chalmers-lava2000-1.6.1/Scripts/satzoo.wrapper1.34 KB
/usr/share/chalmers-lava2000-1.6.1/Scripts/minisat.wrapper1.34 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-IOBuffering.html1.59 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/hslogo-16.png1.64 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Retime.html1.65 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Sequential.html1.66 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-LavaDir.html1.69 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Smv.html1.70 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Stable.html1.70 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-SequentialConstructive.html1.71 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-Modoc.html1.72 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Limmat.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Satnik.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Satzoo.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Zchaff.html1.73 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/LavaDir.hi1.73 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-Eprover.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Minisat.html1.73 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-HeerHugo.html1.74 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/LavaDir.dyn_hi1.75 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-Test.html1.83 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/Lava-ConstructiveAnalysis.html1.87 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/LavaDir.p_hi1.90 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/IOBuffering.hi1.92 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/IOBuffering.dyn_hi1.93 KB
/usr/lib64/ghc-8.4.4/chalmers-lava2000-1.6.1/Lava/IOBuffering.p_hi1.93 KB
/usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.6.1/src/Lava.IOBuffering.html1.96 KB
/usr/share/chalmers-lava2000-1.6.1/Vhdl/lava.vhd2.02 KB
/usr/lib64/ghc-8.4.4/package.conf.d/chalmers-lava2000-1.6.1.conf2.02 KB
Component of No Buildroots