[Caml-list] SHA1 = stdlib ?!

2010-04-24 Thread Oliver Bandel
Hello, is it planned, to also include SHA1-Hash into stdlib? Ciao, Oliver ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list:

Re: [Caml-list] SHA1 = stdlib ?!

2010-04-24 Thread Eric Cooper
On Sat, Apr 24, 2010 at 02:27:47PM +0200, Oliver Bandel wrote: is it planned, to also include SHA1-Hash into stdlib? I don't know about stdlib, but the ocaml-sha library (http://tab.snarc.org/projects/ocaml_sha/) provides Sha1 (and 256 and 512) modules with the same interface as stdlib's Digest,

[Caml-list] Re: SHA1 = stdlib ?!

2010-04-24 Thread Sylvain Le Gall
Hello, On 24-04-2010, Oliver Bandel oli...@first.in-berlin.de wrote: is it planned, to also include SHA1-Hash into stdlib? What is the advantage of having SHA-1 in stdlib rather than in cryptokit for example? Regards, Sylvain Le Gall ___ Caml-list

Re: [Caml-list] Re: SHA1 = stdlib ?!

2010-04-24 Thread Oliver Bandel
Zitat von Sylvain Le Gall sylv...@le-gall.net: Hello, On 24-04-2010, Oliver Bandel oli...@first.in-berlin.de wrote: is it planned, to also include SHA1-Hash into stdlib? What is the advantage of having SHA-1 in stdlib rather than in cryptokit for example? [...] What is cryptokit?

Re: [Caml-list] SHA1 = stdlib ?!

2010-04-24 Thread Oliver Bandel
Zitat von Eric Cooper e...@cmu.edu: On Sat, Apr 24, 2010 at 02:27:47PM +0200, Oliver Bandel wrote: is it planned, to also include SHA1-Hash into stdlib? I don't know about stdlib, but the ocaml-sha library (http://tab.snarc.org/projects/ocaml_sha/) provides Sha1 (and 256 and 512) modules

Re: [Caml-list] Re: SHA1 = stdlib ?!

2010-04-24 Thread Grant Olson
On 4/24/2010 10:28 AM, Oliver Bandel wrote: What is cryptokit? A library with a bunch of cryptographic primitives, including SHA hashes... https://forge.ocamlcore.org/projects/cryptokit/ signature.asc Description: OpenPGP digital signature ___

Re: [Caml-list] Re: SHA1 = stdlib ?!

2010-04-24 Thread Oliver Bandel
Zitat von Grant Olson k...@grant-olson.net: On 4/24/2010 10:28 AM, Oliver Bandel wrote: What is cryptokit? A library with a bunch of cryptographic primitives, including SHA hashes... https://forge.ocamlcore.org/projects/cryptokit/ thanks.

[Caml-list] Re: SHA1 = stdlib ?!

2010-04-24 Thread Sylvain Le Gall
On 24-04-2010, Oliver Bandel oli...@first.in-berlin.de wrote: Zitat von Grant Olson k...@grant-olson.net: On 4/24/2010 10:28 AM, Oliver Bandel wrote: What is cryptokit? A library with a bunch of cryptographic primitives, including SHA hashes...

Re: [Caml-list] Re: SHA1 = stdlib ?!

2010-04-24 Thread Oliver Bandel
Zitat von Sylvain Le Gall sylv...@le-gall.net: On 24-04-2010, Oliver Bandel oli...@first.in-berlin.de wrote: Zitat von Grant Olson k...@grant-olson.net: On 4/24/2010 10:28 AM, Oliver Bandel wrote: What is cryptokit? A library with a bunch of cryptographic primitives, including SHA

[Caml-list] ocamlcore.org not available

2010-04-24 Thread Oliver Bandel
Hello, the pages http://ocamlunix.forge.ocamlcore.org/ are not reachable. Seems to be a DNS problem. And DNS and Whois have different entries... Ciao, Oliver ___ Caml-list mailing list. Subscription management:

Re: [Caml-list] ocamlcore.org not available

2010-04-24 Thread Paolo Donadeo
From my PC it's ok, right now. Maybe it's a problem with your DNS? -- Paolo ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list:

Re: [Caml-list] ocamlcore.org not available

2010-04-24 Thread Adrien
Hi, There is indeed a problem with the forge currently but it should be working again soon. In the meantime, you should be able to reach ocamlcore.org at the following IP address: 87.98.154.45. --- Adrien Nader ___ Caml-list mailing list.

[Caml-list] Re: ocamlcore.org not available

2010-04-24 Thread Sylvain Le Gall
On 24-04-2010, Oliver Bandel oli...@first.in-berlin.de wrote: Hello, the pages http://ocamlunix.forge.ocamlcore.org/ are not reachable. Seems to be a DNS problem. DNS propagation problem, I think. I have a problem from 16:00 to 17:00 using orange DNS server. A ticket is open at OVH