* caml.inria.fr down?
@ 2008-03-08 22:03 Brian Hurt
2008-03-10 9:16 ` [Caml-list] " Xavier Leroy
0 siblings, 1 reply; 4+ messages in thread
From: Brian Hurt @ 2008-03-08 22:03 UTC (permalink / raw)
To: caml-list
Sorry to bug the list, but I'm not sure who to ask this to: is the server
at caml.inria.fr down? I haven't been able to reach it all afternoon.
Thanks.
Brian
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] caml.inria.fr down?
2008-03-08 22:03 caml.inria.fr down? Brian Hurt
@ 2008-03-10 9:16 ` Xavier Leroy
0 siblings, 0 replies; 4+ messages in thread
From: Xavier Leroy @ 2008-03-10 9:16 UTC (permalink / raw)
To: Brian Hurt; +Cc: caml-list
> Sorry to bug the list, but I'm not sure who to ask this to: is the
> server at caml.inria.fr down? I haven't been able to reach it all
> afternoon.
It isn't much use to mail to this list in this case, because the list
server and caml.inria.fr sit in the same machine room and share enough
resources that when one is down the other is probably down as well.
This time, it's a faulty router that cut the whole INRIA Rocquencourt
campus off the Internet for the whole week-end. Sorry for the inconvenience.
- Xavier Leroy
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Caml-list] Cygwin now has ocaml 3.08.1
@ 2004-08-31 18:50 Blair Zajac
2004-09-02 8:09 ` Christophe Raffalli
0 siblings, 1 reply; 4+ messages in thread
From: Blair Zajac @ 2004-08-31 18:50 UTC (permalink / raw)
To: Caml Users Mailing List
[-- Attachment #1: Type: text/plain, Size: 191 bytes --]
Good news. Yet another way of getting Ocaml on your Windows system.
Regards,
Blair
--
Blair Zajac <blair@orcaware.com>
Plots of your system's performance - http://www.orcaware.com/orca/
[-- Attachment #2: New package: ocaml-3.08.1-1 --]
[-- Type: message/rfc822, Size: 4894 bytes --]
From: Igor Pechtchanski <pechtcha@cs.nyu.edu>
To: cygwin-announce@cygwin.com
Subject: New package: ocaml-3.08.1-1
Date: Tue, 31 Aug 2004 12:46:11 -0400 (EDT)
Message-ID: <Pine.GSO.4.61.0408311233560.3353@slinky.cs.nyu.edu>
The ocaml package has been added to the Cygwin distribution.
Objective Caml is a fast modern type-inferring functional
programming language descended from the ML (Meta Language)
family, containing objects, modules, and a high-performance
native-code compiler. The O'Caml compiler was developed at
INRIA Rocquencourt, projet Cristal.
See <http://caml.inria.fr/ocaml/> for more information.
Notes:
- This package includes two compilers: the bytecode compiler and the
native compiler. Each compiler also exists in two versions -- bytecode
and native (i.e., each compiler was built with the bytecode compiler and
the native compiler, in turn).
- This package also includes all the libraries and packages in
/usr/lib/ocaml, including "labltk". You will need to install the tcltk
package and possibly the X11 packages to use labltk. The "labltk"
package wasn't tested on Cygwin, so use at your own risk.
- There may have been a temporary glitch in uploading the packages. This
has been fixed on the master site, but some mirrors may have pulled the
corrupted version of the package in the meantime. If you're unlucky
enough to have selected such a mirror, try another mirror. FWIW,
mirrors updated at any point after August 31, 14:08 GMT should be fine
(look at the timestamp on setup.bz2).
To update your installation, click on the "Install Cygwin now" link on the
http://cygwin.com/ web page. This downloads setup.exe to your system.
Once you've downloaded setup.exe, run it and select "Interpreters" or
"Devel" and then click on the appropriate field until the above announced
version number appears if it is not displayed already.
If you have questions or comments, please send them to the Cygwin mailing
list at: <cygwin at cygwin dot com>. I would appreciate it if you would
use this mailing list rather than emailing me directly. This includes
ideas and comments about the setup utility or Cygwin in general.
If you want to make a point or ask a question, the Cygwin mailing list is
the appropriate place.
*** CYGWIN-ANNOUNCE UNSUBSCRIBE INFO ***
If you want to unsubscribe from the cygwin-announce mailing list, look at
the "List-Unsubscribe: " tag in the email header of this message. Send email
to the address specified there. It will be in the format:
cygwin-announce-unsubscribe-you=yourdomain dot com at cygwin dot com
If you need more information on unsubscribing, start reading here:
http://sources.redhat.com/lists.html#unsubscribe-simple
Please read *all* of the information on unsubscribing that is available
starting at this URL.
I implore you to READ this information before sending email about how you
"tried everything" to unsubscribe. In 100% of the cases where people were
unable to unsubscribe, the problem was that they hadn't actually read and
comprehended the unsubscribe instructions.
If you need to unsubscribe from cygwin-announce or any other mailing list,
reading the instructions at the above URL is guaranteed to provide you with
the info that you need.
Igor Pechtchanski
Cygwin O'Caml Maintainer
--
http://cs.nyu.edu/~pechtcha/
|\ _,,,---,,_ pechtcha@cs.nyu.edu
ZZZzz /,`.-'`' -. ;-;;,_ igor@watson.ibm.com
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
"Happiness lies in being privileged to work hard for long hours in doing
whatever you think is worth doing." -- Dr. Jubal Harshaw
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2008-03-10 9:16 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-03-08 22:03 caml.inria.fr down? Brian Hurt
2008-03-10 9:16 ` [Caml-list] " Xavier Leroy
-- strict thread matches above, loose matches on Subject: below --
2004-08-31 18:50 [Caml-list] Cygwin now has ocaml 3.08.1 Blair Zajac
2004-09-02 8:09 ` Christophe Raffalli
2004-09-02 11:25 ` [Caml-list] caml.inria.fr down ? I R T
2004-09-02 14:06 ` skaller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).