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

Reply via email to