caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] is meta-ocaml dead?
@ 2016-02-03 20:22 Raoul Duke
  2016-02-03 20:29 ` Mr. Herr
  0 siblings, 1 reply; 3+ messages in thread
From: Raoul Duke @ 2016-02-03 20:22 UTC (permalink / raw)
  To: OCaml

http://www.cs.rice.edu/~taha/MetaOCaml/

"Download current (February 3nd, 2006)" !!! :-}

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [Caml-list] is meta-ocaml dead?
  2016-02-03 20:22 [Caml-list] is meta-ocaml dead? Raoul Duke
@ 2016-02-03 20:29 ` Mr. Herr
  2016-02-03 20:34   ` Raoul Duke
  0 siblings, 1 reply; 3+ messages in thread
From: Mr. Herr @ 2016-02-03 20:29 UTC (permalink / raw)
  To: caml-list



On 03.02.2016 21:22, Raoul Duke wrote:
> http://www.cs.rice.edu/~taha/MetaOCaml/
>
> "Download current (February 3nd, 2006)" !!! :-}
>
str@suse132-intel:~> opam switch --all | grep -i meta
--           -- 4.00.1+BER                    BER MetaOCaml
(http://okmij.org/ftp/ML/MetaOCaml.html)
--           -- 4.01.0+BER                    BER-101 MetaOCaml
--           -- 4.02.1+BER                    BER-N102 MetaOCaml

just a quick hint - I did not check what is inside the package.

/Str.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [Caml-list] is meta-ocaml dead?
  2016-02-03 20:29 ` Mr. Herr
@ 2016-02-03 20:34   ` Raoul Duke
  0 siblings, 0 replies; 3+ messages in thread
From: Raoul Duke @ 2016-02-03 20:34 UTC (permalink / raw)
  To: OCaml

thanks. :-)

whoever owns old pages... it might be worth trying to nuke / clean
them up wrt SEO fallout.

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2016-02-03 20:34 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-02-03 20:22 [Caml-list] is meta-ocaml dead? Raoul Duke
2016-02-03 20:29 ` Mr. Herr
2016-02-03 20:34   ` Raoul Duke

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).