[MacPorts] #22255: New port: ssreflect

MacPorts noreply at macports.org
Wed Apr 21 00:02:56 PDT 2010


#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


More information about the macports-tickets mailing list