Re: [free-electronic-lab] [Free Electronic Lab] #91: Package ForSyDe

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



#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
electronic-lab@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/electronic-lab


[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Forum]     [KDE Users]

  Powered by Linux