opensubscriber
   Find in this group all groups
 
Unknown more information…

f : fink-devel@lists.sourceforge.net 30 April 2012 • 11:42PM -0400

Re: [Fink-devel] [fink-core] libcoq-ocaml-dev For Mac OS 10.7
by Alexander Hansen

REPLY TO AUTHOR
 
REPLY TO GROUP



fink-core is the wrong list for general packaging questions.

On 4/30/12 6:20 AM, amira henaien wrote:
> Hi,
>
> I'm  using Fink under Mac Os 10.7. I need those
> libraries:  libcamel-1.2.14,  libcamel-provid

That's "libcamel-provider-1.2.14"  "fink list" shortens the package
names so that the output fits in an 80 column terminal window.

but  I didn't find
> compatibal ones to Mac Os 10.7, I will be grateful if you could make
> them compatible with Mac Os 10.7 or if you explain for me how can I use
> a package of  10.6 or an other version in 10.7 if it is possible of course.

If you have a machine set up with a 10.6/64-bit Fink distribution, you
_may_ be able to copy the .deb archives from that to your 10.7 machine
and use

sudo dpkg -i /path/to/package.deb

(replacing /path/to and "package" with the correct information)

>
> Or, could you just give me an equivalent of the library : lib
> coq-ocaml-dev in fink.
>
>
>
> Think you very much .
>
> Regards,
>
> Amira
>
>

You want coq-dev, which _is_ in the 10.7 distribution.


--
Alexander Hansen, Ph.D.
Fink User Liaison
http://finkakh.wordpress.com/2012/02/21/got-job/

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Fink-devel mailing list
Fink-devel@list...
List archive:
http://news.gmane.org/gmane.os.apple.fink.devel
Subscription management:
https://lists.sourceforge.net/lists/listinfo/fink-devel

Bookmark with:

Delicious   Digg   reddit   Facebook   StumbleUpon

opensubscriber is not affiliated with the authors of this message nor responsible for its content.