Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-language-bluespec-0.1-6.fc43 RPM for x86_64

From Fedora Rawhide for x86_64 / g

Name: ghc-language-bluespec Distribution: Fedora Project
Version: 0.1 Vendor: Fedora Project
Release: 6.fc43 Build date: Mon Apr 7 15:40:46 2025
Group: Unspecified Build host: buildvm-x86-04.iad2.fedoraproject.org
Size: 3017766 Source RPM: ghc-language-bluespec-0.1-6.fc43.src.rpm
Packager: Fedora Project
Url: https://hackage.haskell.org/package/language-bluespec
Summary: An implementation of the Bluespec Haskell AST
This package contains an implementation of the <http://wiki.bluespec.com/
Bluespec> language's AST. In particular, this implements the Bluespec Haskell
(BH) syntax, also known as Bluespec Classic. We may add support for the
Bluespec SystemVerilog (BSV) syntax at a later date. To our knowledge, there is
no formal grammar that describes the syntax of BH or BSV, so this package is
based off of the code in the <https://github.com/B-Lang-org/bsc Bluespec
compiler>. Although the Bluespec compiler is written in Haskell, it is not
particularly simple to depend on the compiler as a library, so this package
exists to extract out the relevant compiler code into a simple-to-use library.

Provides

Requires

License

BSD-3-Clause

Changelog

* Mon Apr 07 2025 Jens Petersen <petersen@redhat.com> - 0.1-6
  - Rebuild
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 0.1-5
  - revise .cabal file
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 0.1-4
  - refresh to cabal-rpm-2.3.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Tue Jul 09 2024 Frank Dedden <frank@systemf.dev> - 0.1-1
  - spec file generated by cabal-rpm-2.2.0

Files

/usr/lib64/ghc-9.8.4/lib/libHSlanguage-bluespec-0.1-KYDbDRsLblEKJocCybXiRH-ghc9.8.4.so
/usr/share/licenses/ghc-language-bluespec
/usr/share/licenses/ghc-language-bluespec/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 26 00:20:32 2025