Package Base Details: bluespec

Git Clone URL: https://aur.archlinux.org/bluespec.git (read-only, click to copy)
Submitter: PedroHLC
Maintainer: PedroHLC (thotypous)
Last Packager: PedroHLC
Votes: 0
Popularity: 0.000000
First Submitted: 2019-09-19 22:59
Last Updated: 2020-04-09 22:01

Pinned Comments

PedroHLC commented on 2019-09-19 23:07

By the end of setup to use bsc you'll need to either reboot your machine or source /etc/profile.d/bluespec-home.sh; bsc ...

Latest Comments

PedroHLC commented on 2020-04-09 22:58

The compiler was release as opensource: https://github.com/B-Lang-org/bsc And someone already made a package for it: https://aur.archlinux.org/packages/bluespec-git

Once a stable version is released, this package shall move to it instead.

PedroHLC commented on 2019-09-19 23:07

By the end of setup to use bsc you'll need to either reboot your machine or source /etc/profile.d/bluespec-home.sh; bsc ...