#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.
_______________________________________________
electronic-lab mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
