[MacPorts] #22255: New port: ssreflect

[MacPorts]

#22255: New port: ssreflect
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  macports-tickets@…                   
     Type:  submission                 |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:                                       
 Keywords:                             |        Port:                                       
---------------------------------------+------------------------------------
Changes (by jmr@…):

  * keywords:  ssreflect coq =>
  * version:  1.8.1 =>
  * type:  request => submission


-- 
Ticket URL: <http://trac.macports.org/ticket/22255#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS