#22255: New port: ssreflect ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: ---------------------------------------+------------------------------------ Comment(by jobr@…): I get the following error after installing with the attached Portfile on a freshly-compiled Coq 8.2pl1. {{{ Coq < Require Import ssreflect. Error: The file /opt/local/lib/coq/user-contrib/theories/ssreflect.vo contains library ssreflect and not library theories.ssreflect }}} -- Ticket URL: <http://trac.macports.org/ticket/22255#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS