[MacPorts] #22255: New port: ssreflect

[MacPorts]

#22255: New port: ssreflect
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  macports-tickets@…                   
     Type:  request                    |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:  1.8.1                                
 Keywords:  ssreflect coq              |        Port:                                       
---------------------------------------+------------------------------------
 Please add ssreflect to macports.

 Ssreflect is a small scale reflection extension for the coq system.

 http://www.msr-inria.inria.fr/Projects/math-components/

 NOTE: To install ssreflect, coq should be fixed by #22254.

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