#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