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

Free Electronic Lab trac at fedorahosted.org
Sat Sep 25 08:26:33 UTC 2010


#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
--------------------------+-------------------------------------------------
Changes (by shakthimaan):

  * owner:  shakthimaan => shakthimaan*

Comment:

 ghc-type-level{-prof, -devel}, a dependency is available in Fedora. ghc-
 parameterized-data, another dependency is now up for review at:

   https://bugzilla.redhat.com/show_bug.cgi?id=637360

-- 
Ticket URL: <https://fedorahosted.org/fedora-electronic-lab/ticket/91#comment:1>
Free Electronic Lab <https://fedorahosted.org/fedora-electronic-lab>
Design, Simulate and Program electronics.


More information about the electronic-lab mailing list