#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