Regards
Sylvain
2012/7/13 Sylvain Le Gall <sylv...@le-gall.net>:
> Hi,
>
> 2012/7/13 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>> Am 13.07.2012 00:37:02 schrieb(en) Sylvain Le Gall:
>>>
>>> Hi,
>>>
>>> 2012/7/12 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>>> > Am 12.07.2012 23:31:58 schrieb(en) Sylvain Le Gall:
>>> >
>>> >> I have downgraded to gunzip 1.3. Still the same problem.
>>> >
>>> >
>>> > The command is called with Unix.open_process_in. Let's hope
that problem
>>> > is
>>> > gunzip not the general calling mechanism.
>>>
>>> Seems pretty localized to janestreet-core. I have unzipped it
myself
>>> and created .src_fingerprint, .version and .source.
>>>
>>> Step unlocked (although, a nice catch of the exception and
printing
>>> what command failed would really help -- maybe it is something
totally
>>> simple to solve with more data).
>>
>>
>> Maybe. I'll include this in the next bootstrap.
>
> That would be nice.
>
>>
>> What drives me crazy is that nothing is printed to stderr.
>>
>
> Windows...
>
>>
>>> >
>>> > If it's only gunzip, the workaround would be to integrate zlib
into
>>> > boot_console directly.
>>> >
>>> >
>>>
>>> Next step (and error):
>>> => Attempting to fetch pcre-7.7.tar.gz from
>>> http://godi.0ok.org/godi-backup/.
>>> Error: Cannot get
>>>
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/sourceforge/:
>>> Bad URL:
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/
>>> => Attempting to fetch pcre-7.7.tar.gz from
>>> ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre/.
>>> Error: Cannot get
>>>
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/sourceforge/:
>>> Bad URL:
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/
>>> => Couldn't fetch pcre-7.7.tar.gz - please try to retrieve this
>>> => file manually into /opt/godi/build/distfiles and try again.
>>
>>
>> This is strange, and probably has to do with the interpretation of
the
>> command by the shell (which is /bin/sh as we are in Cygwin
environment). The
>> command is here:
>>
>> $LOCALBASE/sbin/godi_console wget -user $GODI_USER -rewrite
>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/sourceforge/
>> http://godi.0ok.org/godi-backup/pcre-7.7.tar.gz
>>
>> $GODI_USER is taken from godi.conf and substituted before the
command is
>> sent to the shell. Anything strange there?
>>
>
> Yep, GODI_USER was empty. How do you get it ?
>
> I have set gildor there, will see if it works.
>
>> The problem seems to be that the -rewrite switch is overlooked,
and so the
>> sourceforge fixup is taken as the URL to download. Also, the
backslashes are
>> not interpreted. This is at least not correct according to POSIX,
but maybe
>> we need different quoting for Cygwin (but which then?).
>>
>> Also, it is strange that this works on my system but not on yours.
>>
>
> All the assumption made on your system may not stand on mine. This
is
> always a long process to get from 1 working to 2...
>
>> Gerd
>>
>>
>>> Downloaded it manually from sourceforge (the most unreliable way
to
>>> download something using wget). Trying to build -> works.
>>>
>>> Same problem for downloading ocaml 3.12.1:
>>>
>>> => Attempting to fetch ocaml-3.12.1.tar.gz from
>>> http://godi-backup2.camlcity.org/godi-backup/.
>>> Error: Cannot get
>>>
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/sourceforge/:
>>> Bad URL:
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/
>>> => Attempting to fetch ocaml-3.12.1.tar.gz from
>>> http://godi.0ok.org/godi-backup/.
>>> Error: Cannot get
>>>
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/sourceforge/:
>>> Bad URL:
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/
>>> => Attempting to fetch ocaml-3.12.1.tar.gz from
>>> http://caml.inria.fr/distrib/ocaml-3.12/.
>>> Error: Cannot get
>>>
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/sourceforge/:
>>> Bad URL:
>>>
http://\*.dl.sourceforge.net/sourceforge/\=http://dl.sourceforge.net/
>>> => Couldn't fetch ocaml-3.12.1.tar.gz - please try to retrieve
this
>>> => file manually into /opt/godi/build/distfiles and try again.
>>> Error: Exec error: File
>>> /opt/godi/build/godi/godi-ocaml-src/./../../mk/bsd.pkg.mk, line
737:
>>> Command returned with non-zero exit code
>>> Error: Exec error: File
>>> /opt/godi/build/godi/godi-ocaml-src/./../../mk/bsd.pkg.mk, line
1682:
>>> Command returned with non-zero exit code
>>> Error: Command fails with code 1: godi_console
>>>
>>> Downloading it...
>>>
>>>
>>> >> Note that after a few run, it seems that
>>> >> godi-janestreet-core-107.01godi5 seems to be the only remaining
>>> >> package to decompress.
>>> >>
>>> >> Ideas ?
>>> >
>>> >
>>> > Skip this step. You need to edit bootstrap_stage2. Comment the
line
>>> > calling
>>> > "$GODI_BOOT_CONSOLE update" out.
>>> >
>>> > Gerd
>>> >
>>> >
>>> >> Regards
>>> >> Sylvain
>>> >>
>>> >> 2012/7/12 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>>> >> > Am 12.07.2012 09:15:52 schrieb(en) Sylvain Le Gall:
>>> >> >
>>> >> >> A little more information:
>>> >> >> ===> Extracting build instructions of
godi-camlimages-2.20godi6
>>> >> >> Fatal error: exception Netchannels.Command_failure(_)
>>> >> >> Raised at file "godi_update.ml", line 427, characters 7-12
>>> >> >> Called from file "set.ml", line 288, characters 38-41
>>> >> >> Called from file "set.ml", line 288, characters 28-36
>>> >> >> Called from file "set.ml", line 288, characters 28-36
>>> >> >> Called from file "set.ml", line 288, characters 28-36
>>> >> >> Called from file "set.ml", line 288, characters 28-36
>>> >> >> Called from file "godi_update.ml", line 767, characters
2-383
>>> >> >> Called from file "cmd.ml", line 51, characters 4-9
>>> >> >> Re-raised at file "cmd.ml", line 23, characters 2-1145
>>> >> >> Called from file "boot_main.ml", line 78, characters 3-17
>>> >> >>
>>> >> >> Although line 427 just re-raise an exception... Maybe
something in
>>> >> >> Pax...
>>> >> >
>>> >> >
>>> >> > It can only be gunzip. The input files are taken from
>>> >> > build/buildfiles.
>>> >> > Can
>>> >> > you at least gunzip directly?
>>> >> >
>>> >> > There are now two versions of gzip, 1.3.something and
1.4.something.
>>> >> > Which
>>> >> > did you use? I sticked to 1.3.
>>> >> >
>>> >> > Gerd
>>> >> >
>>> >> >
>>> >> >
>>> >> >
>>> >> >> 2012/7/12 Francois Berenger <beren...@riken.jp>:
>>> >> >> > On 07/12/2012 02:58 PM, Sylvain Le Gall wrote:
>>> >> >> >>
>>> >> >> >> Hi,
>>> >> >> >>
>>> >> >> >> 2012/7/12 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>>> >> >> >>>
>>> >> >> >>> Am 12.07.2012 01:55:13 schrieb(en) Sylvain Le Gall:
>>> >> >> >>>
>>> >> >> >>>> Hi,
>>> >> >> >>>>
>>> >> >> >>>> New error:
>>> >> >> >>>> ===> Extracting build instructions of
godi-kaputt-1.0godi1
>>> >> >> >>>> ===> Extracting build instructions of godi-cache-1.0
>>> >> >> >>>> ===> Extracting build instructions of
godi-ancient-0.9.0
>>> >> >> >>>> ===> Extracting build instructions of
apps-umlmon-1.0.6godi1
>>> >> >> >>>> ===> Extracting build instructions of
apps-ocamlify-0.0.1
>>> >> >> >>>> ===> Extracting build instructions of
godi-sonet-0.1.1godi2
>>> >> >> >>>> ===> Extracting build instructions of
godi-tophide-1.0.0godi1
>>> >> >> >>>> ===> Extracting build instructions of
>>> >> >> >>>> godi-janestreet-core-107.01godi5
>>> >> >> >>>> Fatal error: exception Netchannels.Command_failure(_)
>>> >> >> >>>>
>>> >> >> >>>> Any idea ?
>>> >> >> >>>
>>> >> >> >>>
>>> >> >> >>>
>>> >> >> >>> No. Is it repeatable? You can just start
bootstrap_stage2 at
>>> >> >> >>> this
>>> >> >> >>> point.
>>> >> >> >>>
>>> >> >> >>
>>> >> >> >> Yes I have tried at least 5 time, using standard cygwin
console
>>> >> >> >> or
>>> >> >> >> rxvt (doesn't make any difference).
>>> >> >> >>
>>> >> >> >>> I've observed several times that commands suddenly
fail, without
>>> >> >> >>> apparent
>>> >> >> >>> reason. The failing command is probably gunzip.
>>> >> >> >>>
>>> >> >> >>
>>> >> >> >> I have seen this behavior once when compiling. I think
this is a
>>> >> >> >> more
>>> >> >> >> persistent bug. Probably related to the absence of one
command.
>>> >> >> >> Is
>>> >> >> >> there way to see what command is failing ?
>>> >> >> >
>>> >> >> >
>>> >> >> > In my experience, its always nice to print a command in
the logs
>>> >> >> > before
>>> >> >> > trying to execute it, for this exact debugging purpose.
>>> >> >> >
>>> >> >> >
>>> >> >> >> Cheers
>>> >> >> >> Sylvain
>>> >> >> >>
>>> >> >> >>> Gerd
>>> >> >> >>>
>>> >> >> >>>
>>> >> >> >>>
>>> >> >> >>>>
>>> >> >> >>>> Cheers
>>> >> >> >>>> Sylvain
>>> >> >> >>>> 2012/7/11 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>>> >> >> >>>>>
>>> >> >> >>>>> One addition: During bootstrap, one program needs to
be built
>>> >> >> >>>>> that
>>> >> >> >>>>> bases
>>> >> >> >>>>> on Cygwin (namely boot_console). Because of this you
also need
>>> >> >> >>>>> the
>>> >> >> >>>>> normal gcc for Cygwin, not only the compiler targeting
>>> >> >> >>>>> mingw64.
>>> >> >> >>>>>
>>> >> >> >>>>> Gerd
>>> >> >> >>>>>
>>> >> >> >>>>> Am Dienstag, den 10.07.2012, 14:16 +0200 schrieb Gerd
>>> >> >> >>>>> Stolpmann:
>>> >> >> >>>>>>
>>> >> >> >>>>>> Hi,
>>> >> >> >>>>>>
>>> >> >> >>>>>> finally, there is again a version of GODI that works
on
>>> >> >> >>>>>> mingw:
>>> >> >> >>>>>>
>>> >> >> >>>>>>
>>> >> >> >>>>>>
>>> >> >> >>>>>>
http://download.camlcity.org/download/godi-skylift-20120709.tar.gz
>>> >> >> >>>>>>
>>> >> >> >>>>>> For bootstrapping, you need Cygwin-1.7. I've
installed the
>>> >> >> >>>>>> Cygwin
>>> >> >> >>>>>> packages listed below. This is certainly not the
minimum
>>> >> >> >>>>>> list,
>>> >> >> >>>>>> and
>>> >> >> >>>>>> most
>>> >> >> >>>>>> packages are checked anyway. So far I remember the
following
>>> >> >> >>>>>> packages
>>> >> >> >>>>>> are important to have:
>>> >> >> >>>>>>
>>> >> >> >>>>>> - bc
>>> >> >> >>>>>> - bzip2
>>> >> >> >>>>>> - diffutils
>>> >> >> >>>>>> - gawk
>>> >> >> >>>>>> - gzip
>>> >> >> >>>>>> - m4
>>> >> >> >>>>>> - make
>>> >> >> >>>>>> - mingw64-i686-binutils
>>> >> >> >>>>>> - mingw64-i686-gcc
>>> >> >> >>>>>> - mingw64-i686-headers
>>> >> >> >>>>>> - mingw64-i686-runtime
>>> >> >> >>>>>> - patch
>>> >> >> >>>>>> - rxvt (for having a "real" terminal)
>>> >> >> >>>>>>
>>> >> >> >>>>>> Further notes:
>>> >> >> >>>>>> - You do not need wget anymore (its function is
now
>>> >> >> >>>>>> "included").
>>> >> >> >>>>>> - Installing to an UNC path seems not to work.
>>> >> >> >>>>>> - Very likely 64 bit builds do not work.
>>> >> >> >>>>>> - There are many packages you cannot build,
especially
>>> >> >> >>>>>> those needing C libraries. There are good
chances for
>>> >> >> >>>>>> OCaml-only
>>> >> >> >>>>>> packages.
>>> >> >> >>>>>> - Cygwin is only needed for the build system. All
>>> >> >> >>>>>> executables
>>> >> >> >>>>>> are
>>> >> >> >>>>>> pure Windows executables that do not link with
>>> >> >> >>>>>> cygdll1.dll.
>>> >> >> >>>>>> - The Skylift release of GODI includes functions
for
>>> >> >> >>>>>> distributing
>>> >> >> >>>>>> binary packages. Please have bit of patience
here, as
>>> >> >> >>>>>> I'm
>>> >> >> >>>>>> still
>>> >> >> >>>>>> writing the documentation how to do it. But
anyway, this
>>> >> >> >>>>>> opens
>>> >> >> >>>>>> the door to a binary-only OCaml distribution
for Windows
>>> >> >> >>>>>> (w/o
>>> >> >> >>>>>> Cygwin).
>>> >> >> >>>>>>
>>> >> >> >>>>>> I had to fix a relatively long list of bugs, mostly
for the
>>> >> >> >>>>>> following
>>> >> >> >>>>>> class of problems:
>>> >> >> >>>>>> - Problems with the CR/LF line endings.
godi_console
>>> >> >> >>>>>> outputs
>>> >> >> >>>>>> now always only LF to stdout, but text files
may use the
>>> >> >> >>>>>> CR/LF conventions.
>>> >> >> >>>>>> - New cygwin mount tables. godi_console caches
now the
>>> >> >> >>>>>> output
>>> >> >> >>>>>> of the "mount" command rather than reading any
internal
>>> >> >> >>>>>> tables (trying to be editor-friendly).
>>> >> >> >>>>>> - New cygwin symbolic link format is now
understood.
>>> >> >> >>>>>> - Strange problems with stdout/stderr
redirections,
>>> >> >> >>>>>> especially
>>> >> >> >>>>>> when pipes connect programs where one is Cygwin
and one
>>> >> >> >>>>>> not.
>>> >> >> >>>>>>
>>> >> >> >>>>>> Hoping that this now also works on other machines
than mine.
>>> >> >> >>>>>>
>>> >> >> >>>>>> Gerd
>>> >> >> >>>>>>
>>> >> >> >>>>>> --
>>> >> >> >>>>>>
>>> >> >> >>>>>> Package Version Status
>>> >> >> >>>>>> _autorebase 000078-1 OK
>>> >> >> >>>>>> _update-info-dir 01052-1 OK
>>> >> >> >>>>>> alternatives 1.3.30c-10 OK
>>> >> >> >>>>>> base-cygwin 3.1-1 OK
>>> >> >> >>>>>> base-files 4.1-1 OK
>>> >> >> >>>>>> bash 4.1.10-4 OK
>>> >> >> >>>>>> bc 1.06-2 OK
>>> >> >> >>>>>> binutils 2.22.51-2 OK
>>> >> >> >>>>>> bzip2 1.0.6-2 OK
>>> >> >> >>>>>> coreutils 8.15-1 OK
>>> >> >> >>>>>> crypt 1.2-1 OK
>>> >> >> >>>>>> csih 0.9.6-1 OK
>>> >> >> >>>>>> cygrunsrv 1.40-2 OK
>>> >> >> >>>>>> cygutils 1.4.10-2 OK
>>> >> >> >>>>>> cygwin 1.7.15-1 OK
>>> >> >> >>>>>> cygwin-doc 1.7-1 OK
>>> >> >> >>>>>> dash 0.5.7-1 OK
>>> >> >> >>>>>> dbus 1.4.20-1 OK
>>> >> >> >>>>>> diffutils 3.2-1 OK
>>> >> >> >>>>>> dos2unix 6.0-1 OK
>>> >> >> >>>>>> editrights 1.01-2 OK
>>> >> >> >>>>>> file 5.11-1 OK
>>> >> >> >>>>>> findutils 4.5.9-2 OK
>>> >> >> >>>>>> gamin 0.1.10-11 OK
>>> >> >> >>>>>> gawk 4.0.1-1 OK
>>> >> >> >>>>>> gcc4-core 4.5.3-3 OK
>>> >> >> >>>>>> gcc4-g++ 4.5.3-3 OK
>>> >> >> >>>>>> gettext 0.18.1.1-2 OK
>>> >> >> >>>>>> grep 2.6.3-1 OK
>>> >> >> >>>>>> groff 1.21-2 OK
>>> >> >> >>>>>> gsettings-desktop-schemas 3.4.2-1 OK
>>> >> >> >>>>>> gzip 1.3.12-2 OK
>>> >> >> >>>>>> ipc-utils 1.0-1 OK
>>> >> >> >>>>>> less 444-1 OK
>>> >> >> >>>>>> libapr1 1.4.6-1 OK
>>> >> >> >>>>>> libaprutil1 1.4.1-1 OK
>>> >> >> >>>>>> libasn1_8 1.5.2-2 OK
>>> >> >> >>>>>> libattr1 2.4.46-1 OK
>>> >> >> >>>>>> libbz2_1 1.0.6-2 OK
>>> >> >> >>>>>> libcloog0 0.15.7-1 OK
>>> >> >> >>>>>> libcom_err2 1.41.14-1 OK
>>> >> >> >>>>>> libdb4.5 4.5.20.2-3 OK
>>> >> >> >>>>>> libdbus1_3 1.4.20-1 OK
>>> >> >> >>>>>> libedit0 20120311-1 OK
>>> >> >> >>>>>> libexpat1 2.1.0-1 OK
>>> >> >> >>>>>> libfam0 0.1.10-11 OK
>>> >> >> >>>>>> libffi4 4.5.3-3 OK
>>> >> >> >>>>>> libgcc1 4.5.3-3 OK
>>> >> >> >>>>>> libgcrypt11 1.4.6-1 OK
>>> >> >> >>>>>> libgdbm4 1.8.3-20 OK
>>> >> >> >>>>>> libglib2.0_0 2.32.3-2 OK
>>> >> >> >>>>>> libgmp3 4.3.2-1 OK
>>> >> >> >>>>>> libgmpxx4 4.3.2-1 OK
>>> >> >> >>>>>> libgnutls26 2.12.14-1 OK
>>> >> >> >>>>>> libgomp1 4.5.3-3 OK
>>> >> >> >>>>>> libgpg-error0 1.10-1 OK
>>> >> >> >>>>>> libgssapi3 1.5.2-2 OK
>>> >> >> >>>>>> libheimbase1 1.5.2-2 OK
>>> >> >> >>>>>> libheimntlm0 1.5.2-2 OK
>>> >> >> >>>>>> libhx509_5 1.5.2-2 OK
>>> >> >> >>>>>> libiconv2 1.14-2 OK
>>> >> >> >>>>>> libidn11 1.22-1 OK
>>> >> >> >>>>>> libintl8 0.18.1.1-2 OK
>>> >> >> >>>>>> libkafs0 1.5.2-2 OK
>>> >> >> >>>>>> libkrb5_26 1.5.2-2 OK
>>> >> >> >>>>>> liblzma5 5.0.2_20110517-1 OK
>>> >> >> >>>>>> liblzo2_2 2.06-1 OK
>>> >> >> >>>>>> libmpc1 0.8-1 OK
>>> >> >> >>>>>> libmpfr1 2.4.1-4 OK
>>> >> >> >>>>>> libmpfr4 3.0.1-1 OK
>>> >> >> >>>>>> libncurses10 5.7-18 OK
>>> >> >> >>>>>> libncurses9 5.7-16 OK
>>> >> >> >>>>>> libncursesw10 5.7-18 OK
>>> >> >> >>>>>> libneon27 0.29.6-2 OK
>>> >> >> >>>>>> libopenldap2_3_0 2.3.43-3 OK
>>> >> >> >>>>>> libopenssl098 0.9.8x-1 OK
>>> >> >> >>>>>> libopenssl100 1.0.1c-1 OK
>>> >> >> >>>>>> libpcre-devel 8.30-1 OK
>>> >> >> >>>>>> libpcre0 8.21-2 OK
>>> >> >> >>>>>> libpcre1 8.30-1 OK
>>> >> >> >>>>>> libpcre16_0 8.30-1 OK
>>> >> >> >>>>>> libpcrecpp0 8.30-1 OK
>>> >> >> >>>>>> libpcreposix0 8.30-1 OK
>>> >> >> >>>>>> libpopt0 1.6.4-4 OK
>>> >> >> >>>>>> libppl 0.10.2-1 OK
>>> >> >> >>>>>> libpq5 8.2.11-1 OK
>>> >> >> >>>>>> libproxy1 0.4.7-1 OK
>>> >> >> >>>>>> libreadline6 5.2.14-12 OK
>>> >> >> >>>>>> libreadline7 6.1.2-3 OK
>>> >> >> >>>>>> libroken18 1.5.2-2 OK
>>> >> >> >>>>>> libsasl2 2.1.25-1 OK
>>> >> >> >>>>>> libserf0_1 0.7.1-2 OK
>>> >> >> >>>>>> libserf1_0 1.0.3-1 OK
>>> >> >> >>>>>> libsigsegv2 2.10-1 OK
>>> >> >> >>>>>> libsqlite3_0 3.7.12.1-1 OK
>>> >> >> >>>>>> libssp0 4.5.3-3 OK
>>> >> >> >>>>>> libstdc++6 4.5.3-3 OK
>>> >> >> >>>>>> libstdc++6-devel 4.5.3-3 OK
>>> >> >> >>>>>> libtasn1_3 2.12-1 OK
>>> >> >> >>>>>> libuuid1 2.21-1 OK
>>> >> >> >>>>>> libwind0 1.5.2-2 OK
>>> >> >> >>>>>> libwrap0 7.6-21 OK
>>> >> >> >>>>>> libX11_6 1.4.4-1 OK
>>> >> >> >>>>>> libXau6 1.0.6-1 OK
>>> >> >> >>>>>> libxcb1 1.7-2 OK
>>> >> >> >>>>>> libXdmcp6 1.1.0-1 OK
>>> >> >> >>>>>> login 1.10-10 OK
>>> >> >> >>>>>> m4 1.4.16-1 OK
>>> >> >> >>>>>> make 3.82.90-1 OK
>>> >> >> >>>>>> man 1.6g-1 OK
>>> >> >> >>>>>> mingw-binutils 2.21-1 OK
>>> >> >> >>>>>> mingw-gcc-core 4.5.2-1 OK
>>> >> >> >>>>>> mingw-gcc-g++ 4.5.2-1 OK
>>> >> >> >>>>>> mingw-pthreads 20110507-1 OK
>>> >> >> >>>>>> mingw-runtime 3.20-1 OK
>>> >> >> >>>>>> mingw-w32api 3.17-2 OK
>>> >> >> >>>>>> mingw64-i686-binutils 2.22.51-3 OK
>>> >> >> >>>>>> mingw64-i686-gcc 4.5.3-5 OK
>>> >> >> >>>>>> mingw64-i686-gcc-core 4.5.3-5 OK
>>> >> >> >>>>>> mingw64-i686-gcc-g++ 4.5.3-5 OK
>>> >> >> >>>>>> mingw64-i686-headers 3.0b_svn4913-1 OK
>>> >> >> >>>>>> mingw64-i686-pthreads 20100619-4 OK
>>> >> >> >>>>>> mingw64-i686-runtime 3.0b_svn4913-1 OK
>>> >> >> >>>>>> mintty 1.1.1-1 OK
>>> >> >> >>>>>> nano 2.2.5-1 OK
>>> >> >> >>>>>> openssh 6.0p1-2 OK
>>> >> >> >>>>>> patch 2.6.1-1 OK
>>> >> >> >>>>>> patchutils 0.3.2-1 OK
>>> >> >> >>>>>> perl 5.10.1-5 OK
>>> >> >> >>>>>> rebase 4.2.0-1 OK
>>> >> >> >>>>>> run 1.1.13-1 OK
>>> >> >> >>>>>> rxvt 20050409-21 OK
>>> >> >> >>>>>> sed 4.2.1-2 OK
>>> >> >> >>>>>> subversion 1.7.5-1 OK
>>> >> >> >>>>>> tar 1.25-1 OK
>>> >> >> >>>>>> terminfo 5.7_20091114-14 OK
>>> >> >> >>>>>> texinfo 4.13-4 OK
>>> >> >> >>>>>> tzcode 2012b-1 OK
>>> >> >> >>>>>> unzip 6.0-10 OK
>>> >> >> >>>>>> w32api 3.17-2 OK
>>> >> >> >>>>>> wget 1.13.4-1 OK
>>> >> >> >>>>>> which 2.20-2 OK
>>> >> >> >>>>>> xz 5.0.2_20110517-1 OK
>>> >> >> >>>>>> zip 3.0-11 OK
>>> >> >> >>>>>> zlib-devel 1.2.7-1 OK
>>> >> >> >>>>>> zlib0 1.2.7-1 OK
>>> >> >> >>>>>>
>>> >> >> >>>>>>
>>> >> >> >>>>>
>>> >> >> >>>>> --
>>> >> >> >>>>>
------------------------------------------------------------
>>> >> >> >>>>> Gerd Stolpmann, Darmstadt, Germany
g...@gerd-stolpmann.de
>>> >> >> >>>>> Creator of GODI and camlcity.org.
>>> >> >> >>>>> Contact details:
http://www.camlcity.org/contact.html
>>> >> >> >>>>> Company homepage: http://www.gerd-stolpmann.de
>>> >> >> >>>>> *** Searching for new projects! Need consulting for
system
>>> >> >> >>>>> *** programming in Ocaml? Gerd Stolpmann can help you.
>>> >> >> >>>>>
------------------------------------------------------------
>>> >> >> >>>>>
>>> >> >> >>>>> _______________________________________________
>>> >> >> >>>>> Godi-list mailing list
>>> >> >> >>>>> Godi-list@ocaml-programming.de
>>> >> >> >>>>>
https://godirepo.camlcity.org/mailman/listinfo/godi-list
>>> >> >> >>>>
>>> >> >> >>>>
>>> >> >> >>>>
>>> >> >> >>>
>>> >> >> >>>
>>> >> >> >>>
>>> >> >> >>> --
>>> >> >> >>>
------------------------------------------------------------
>>> >> >> >>> Gerd Stolpmann, Darmstadt, Germany
g...@gerd-stolpmann.de
>>> >> >> >>> Creator of GODI and camlcity.org.
>>> >> >> >>> Contact details:
http://www.camlcity.org/contact.html
>>> >> >> >>> Company homepage: http://www.gerd-stolpmann.de
>>> >> >> >>>
------------------------------------------------------------
>>> >> >> >>
>>> >> >> >> _______________________________________________
>>> >> >> >> Godi-list mailing list
>>> >> >> >> Godi-list@ocaml-programming.de
>>> >> >> >> https://godirepo.camlcity.org/mailman/listinfo/godi-list
>>> >> >> >>
>>> >> >> >
>>> >> >> >
>>> >> >> > _______________________________________________
>>> >> >> > Godi-list mailing list
>>> >> >> > Godi-list@ocaml-programming.de
>>> >> >> > https://godirepo.camlcity.org/mailman/listinfo/godi-list
>>> >> >> _______________________________________________
>>> >> >> Godi-list mailing list
>>> >> >> Godi-list@ocaml-programming.de
>>> >> >> https://godirepo.camlcity.org/mailman/listinfo/godi-list
>>> >> >>
>>> >> >>
>>> >> >
>>> >> >
>>> >> >
>>> >> > --
>>> >> > ------------------------------------------------------------
>>> >> > Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
>>> >> > Creator of GODI and camlcity.org.
>>> >> > Contact details: http://www.camlcity.org/contact.html
>>> >> > Company homepage: http://www.gerd-stolpmann.de
>>> >> > ------------------------------------------------------------
>>> >> _______________________________________________
>>> >> Godi-list mailing list
>>> >> Godi-list@ocaml-programming.de
>>> >> https://godirepo.camlcity.org/mailman/listinfo/godi-list
>>> >>
>>> >>
>>> >
>>> >
>>> >
>>> > --
>>> > ------------------------------------------------------------
>>> > Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
>>> > Creator of GODI and camlcity.org.
>>> > Contact details: http://www.camlcity.org/contact.html
>>> > Company homepage: http://www.gerd-stolpmann.de
>>> > ------------------------------------------------------------
>>> _______________________________________________
>>> Godi-list mailing list
>>> Godi-list@ocaml-programming.de
>>> https://godirepo.camlcity.org/mailman/listinfo/godi-list
>>>
>>>
>>
>>
>>
>> --
>> ------------------------------------------------------------
>> Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
>> Creator of GODI and camlcity.org.
>> Contact details: http://www.camlcity.org/contact.html
>> Company homepage: http://www.gerd-stolpmann.de
>> ------------------------------------------------------------
