[free-electronic-lab] [Free Electronic Lab] #91: Package ForSyDe
Free Electronic Lab
trac at fedorahosted.org
Mon Feb 21 05:48:30 UTC 2011
#91: Package ForSyDe
--------------------------+-------------------------------------------------
Reporter: shakthimaan | Owner: shakthimaan*
Type: task | Status: new
Priority: major | Milestone: Fedora 13
Component: FEL | Version: devel
Resolution: | Keywords: formal method, hardware design, haskell
--------------------------+-------------------------------------------------
Comment (by shakthimaan):
parameterized-data is now available in Fedora. Install it using:
$ sudo yum install ghc-parameterized-data
A tutorial is available at:
http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec
All dependencies have now been met. ForSyDe is next!
--
Ticket URL: <https://fedorahosted.org/fedora-electronic-lab/ticket/91#comment:2>
Free Electronic Lab <https://fedorahosted.org/fedora-electronic-lab>
Design, Simulate and Program electronics.
More information about the electronic-lab
mailing list