Created
December 18, 2012 12:52
-
-
Save amirmc/4327699 to your computer and use it in GitHub Desktop.
Problem with `opam update` - something somewhere didn't properly update (specifically the github package'). This is pretty much the entire console output with only a few bits snipped out where I refreshed a repo and moved a folder. Should be straightforward to see what I did.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <prompt> amir$ opam update | |
| Synchronizing with http://opam.ocamlpro.com ... | |
| New compiler descriptions available: | |
| - 3.12.1+natdynlink-osx | |
| - 4.00.1+french | |
| - 4.00.1+mirage-unix | |
| - 4.00.1+mirage-xen | |
| - 4.01.0dev+endian | |
| Some compilers are not available anymore: | |
| - 4.00.0+jocaml | |
| The following NEW packages are available: | |
| - async.108.08.00 | |
| - async_core.108.08.00 | |
| - async_extra.108.08.00 | |
| - async_unix.108.08.00 | |
| - baardskeerder.0.5.1 | |
| - benchmark.1.2 | |
| - bin_prot.108.08.00 | |
| - bisect.1.3 | |
| - bitcoin.1.0 | |
| - bolt.1.3 | |
| - cairo.0.4.2 | |
| - cairo1.ocaml-1.2.0 | |
| - caml2html.1.4.2 | |
| - camlidl.1.05 | |
| - camlp5.6.07 | |
| - camlzip.1.05 | |
| - ccss.1.3 | |
| - chamo.2.01 | |
| - comparelib.108.08.00 | |
| - config-file.1.1 | |
| - core.108.08.00 | |
| - core_extended.108.08.00 | |
| - cstruct.0.5.2 | |
| - cstruct.0.5.3 | |
| - dbforge.2.0 | |
| - dbm.1.0 | |
| - deriving-ocsigen.0.3c | |
| - dose.3.1.2 | |
| - eliom.3.0.0 | |
| - eliom.3.0.1 | |
| - eliom.3.0.2 | |
| - eliom.3.0.3 | |
| - facile.1.1 | |
| - fftw-ocaml.0 | |
| - fieldslib.108.08.00 | |
| - forkwork.0.3.1 | |
| - format.0.1 | |
| - gapi-ocaml.0.2 | |
| - github.0.3.2 | |
| - google-drive-ocamlfuse.0.2.1 | |
| - google-drive-ocamlfuse.0.3 | |
| - gtktop.2.0 | |
| - js_of_ocaml.1.3.1 | |
| - js_of_ocaml.1.3.2 | |
| - json-wheel.1.0.6 | |
| - lablgtk-extras.1.2 | |
| - lacaml.7.0.3 | |
| - lwt-zmq.1.0-beta3 | |
| - magic.0.7.3 | |
| - meta_conv.0.9.0 | |
| - meta_conv.0.10.0 | |
| - mirage.0.5.0 | |
| - mirage.0.6.0 | |
| - mirage.0.6.1 | |
| - mirage-net.0.3.1 | |
| - mirage-net.0.4.0 | |
| - mirage-net.0.4.1 | |
| - nlopt-ocaml.0.4 | |
| - oasis-mirage.0.3.0 | |
| - ocaml-mysql.1.1.1 | |
| - ocaml-rdf.0.2 | |
| - ocaml-src.3.12.1 | |
| - ocaml-text.0.6 | |
| - ocaml-zmq.0 | |
| - ocamldap.2.2 | |
| - ocamldiff.1.0 | |
| - ocamldot.1.0 | |
| - ocamlfuse.2.7.1-cvs | |
| - ocamlnet.3.6.0 | |
| - ocamlspot.4.00.0.2.0.1 | |
| - ocamltop-gtk.2.1 | |
| - ocp-indent.0.1.0 | |
| - ocplib-endian.0.2 | |
| - ocplib-endian.0.3 | |
| - ocsigenserver.2.2.0 | |
| - opam.0.8.1 | |
| - opam2web.0.2.4 | |
| - oqamldebug.0.9.1 | |
| - otags.3.12.5 | |
| - otags.4.00.1 | |
| - pa_do.0.8.16 | |
| - pa_ounit.108.08.00 | |
| - pcap.0.3.1 | |
| - pcap.0.3.2 | |
| - pipebang.108.08.00 | |
| - qtest.2.0.0 | |
| - rpc.1.3.0 | |
| - sexplib.108.08.00 | |
| - simple_pam.0.1.1 | |
| - sonet.0.1.1 | |
| - spotinstall.1.0.1 | |
| - spotinstall.1.1.0 | |
| - spotlib.2.1.0 | |
| - sqlite3-ocaml.2.0.3 | |
| - stog.0.4 | |
| - tiny_json.1.0.0 | |
| - tiny_json_conv.1.0.0 | |
| - tiny_json_conv.1.0.1 | |
| - tryocaml.0.2.2 | |
| - type_conv.108.08.00 | |
| - typehashlib.108.08.00 | |
| - tyxml.2.2.0 | |
| - ucorelib.0.0.1 | |
| - unison.2.40.63 | |
| - variantslib.108.08.00 | |
| - xenbigarray.1.0.0 | |
| - xenstore.1.1.0 | |
| - xml-light.2.2 | |
| - xtmpl.0.3 | |
| - xtmpl.0.4 | |
| - yajl.0.7.2 | |
| - yajl-extra.0.7.2 | |
| - yojson.1.1.3 | |
| The following package needs to be upgraded: | |
| - ocamlfind.1.3.3 | |
| 0 to install | 3 to reinstall | 13 to upgrade | 0 to downgrade | 0 to remove | |
| You can now run 'opam upgrade' to upgrade your system. | |
| <prompt> amir$ opam upgrade | |
| The following actions will be performed: | |
| - recompile ocamlfind.1.3.3 | |
| - recompile ounit.1.1.2 | |
| - recompile res.3.2.0 | |
| - upgrade type_conv.108.07.01 to 108.08.00 | |
| - upgrade bin_prot.108.07.01 to 108.08.00 | |
| - upgrade comparelib.108.07.01 to 108.08.00 | |
| - upgrade fieldslib.108.07.01 to 108.08.00 | |
| - upgrade pa_ounit.108.07.01 to 108.08.00 | |
| - upgrade pipebang.108.07.01 to 108.08.00 | |
| - upgrade sexplib.108.07.01 to 108.08.00 | |
| - upgrade variantslib.108.07.01 to 108.08.00 | |
| - upgrade core.108.07.01 to 108.08.00 | |
| - upgrade async_core.108.07.01 to 108.08.00 | |
| - upgrade async_unix.108.07.01 to 108.08.00 | |
| - upgrade async_extra.108.07.01 to 108.08.00 | |
| - upgrade async.108.07.01 to 108.08.00 | |
| 0 to install | 3 to reinstall | 13 to upgrade | 0 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] y | |
| =-=-= ocamlfind.1.3.3 =-=-= | |
| Uninstalling ocamlfind.1.3.3 | |
| Downloading http://opam.ocamlpro.com/archives/ocamlfind.1.3.3+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/ocamlfind.1.3.3+opam.tar.gz | |
| Build commands: | |
| ./configure -bindir /Users/amir/.opam/system/bin -sitelib /Users/amir/.opam/system/lib -mandir /Users/amir/.opam/system/man -config /Users/amir/.opam/system/lib/findlib.conf -no-topfind | |
| make all | |
| make opt | |
| make install | |
| ocamlfind remove dbm | |
| Installing ocamlfind.1.3.3 | |
| =-=-= ounit.1.1.2 =-=-= | |
| Uninstalling ounit.1.1.2 | |
| The archive for ounit.1.1.2 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/ounit.1.1.2+opam.tar.gz | |
| The archive for ounit.1.1.2 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/ounit.1.1.2+opam.tar.gz | |
| Build commands: | |
| make build | |
| make install | |
| Installing ounit.1.1.2 | |
| =-=-= res.3.2.0 =-=-= | |
| Uninstalling res.3.2.0 | |
| The archive for res.3.2.0 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/res.3.2.0+opam.tar.gz | |
| The archive for res.3.2.0 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/res.3.2.0+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing res.3.2.0 | |
| =-=-= type_conv.108.08.00 =-=-= | |
| Uninstalling type_conv.108.07.01 | |
| The archive for type_conv.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/type_conv.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/type_conv.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/type_conv.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing type_conv.108.08.00 | |
| =-=-= bin_prot.108.08.00 =-=-= | |
| Uninstalling bin_prot.108.07.01 | |
| The archive for bin_prot.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/bin_prot.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/bin_prot.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/bin_prot.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing bin_prot.108.08.00 | |
| =-=-= comparelib.108.08.00 =-=-= | |
| Uninstalling comparelib.108.07.01 | |
| The archive for comparelib.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/comparelib.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/comparelib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/comparelib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing comparelib.108.08.00 | |
| =-=-= fieldslib.108.08.00 =-=-= | |
| Uninstalling fieldslib.108.07.01 | |
| The archive for fieldslib.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/fieldslib.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/fieldslib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/fieldslib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing fieldslib.108.08.00 | |
| =-=-= pa_ounit.108.08.00 =-=-= | |
| Uninstalling pa_ounit.108.07.01 | |
| The archive for pa_ounit.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/pa_ounit.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/pa_ounit.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/pa_ounit.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing pa_ounit.108.08.00 | |
| =-=-= pipebang.108.08.00 =-=-= | |
| Uninstalling pipebang.108.07.01 | |
| The archive for pipebang.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/pipebang.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/pipebang.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/pipebang.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing pipebang.108.08.00 | |
| =-=-= sexplib.108.08.00 =-=-= | |
| Uninstalling sexplib.108.07.01 | |
| The archive for sexplib.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/sexplib.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/sexplib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/sexplib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing sexplib.108.08.00 | |
| =-=-= variantslib.108.08.00 =-=-= | |
| Uninstalling variantslib.108.07.01 | |
| The archive for variantslib.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/variantslib.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/variantslib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/variantslib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing variantslib.108.08.00 | |
| =-=-= core.108.08.00 =-=-= | |
| Uninstalling core.108.07.01 | |
| The archive for core.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/core.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/core.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/core.108.08.00+opam.tar.gz | |
| Applying fix_META.patch | |
| Build commands: | |
| make | |
| make install | |
| Installing core.108.08.00 | |
| =-=-= async_core.108.08.00 =-=-= | |
| Uninstalling async_core.108.07.01 | |
| The archive for async_core.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/async_core.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/async_core.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/async_core.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing async_core.108.08.00 | |
| =-=-= async_unix.108.08.00 =-=-= | |
| Uninstalling async_unix.108.07.01 | |
| The archive for async_unix.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/async_unix.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/async_unix.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/async_unix.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing async_unix.108.08.00 | |
| =-=-= async_extra.108.08.00 =-=-= | |
| Uninstalling async_extra.108.07.01 | |
| The archive for async_extra.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/async_extra.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/async_extra.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/async_extra.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing async_extra.108.08.00 | |
| =-=-= async.108.08.00 =-=-= | |
| Uninstalling async.108.07.01 | |
| The archive for async.108.07.01 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/async.108.07.01+opam.tar.gz | |
| Downloading http://opam.ocamlpro.com/archives/async.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/async.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing async.108.08.00 | |
| # removed a few lines here (I was refreshing a repo) | |
| <prompt> amir$ opam install cow | |
| The following actions will be performed: | |
| - install ulex.1.1 | |
| - install re.1.1.0 | |
| - install dyntype.0.9.0 | |
| - install cow.0.4.0 | |
| 4 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] y | |
| =-=-= dyntype.0.9.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/dyntype.0.9.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/dyntype.0.9.0+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing dyntype.0.9.0 | |
| =-=-= re.1.1.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/re.1.1.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/re.1.1.0+opam.tar.gz | |
| Build commands: | |
| ocaml setup.ml -configure --prefix /Users/amir/.opam/system | |
| ocaml setup.ml -build | |
| ocaml setup.ml -install | |
| Installing re.1.1.0 | |
| =-=-= ulex.1.1 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/ulex.1.1+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/ulex.1.1+opam.tar.gz | |
| Build commands: | |
| make | |
| make all.opt | |
| make install | |
| Installing ulex.1.1 | |
| =-=-= cow.0.4.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/cow.0.4.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/cow.0.4.0+opam.tar.gz | |
| Build commands: | |
| make all | |
| make install | |
| Installing cow.0.4.0 | |
| <prompt> amir$ opam install github | |
| ..........................TThe following actions will be performed: | |
| - install cppo.0.9.3 | |
| - downgrade ocamlfind.1.3.3 to 1.3.2 | |
| - install easy-format.1.0.1 | |
| - install menhir.20120123 | |
| - install ocamlify.0.0.1 | |
| - recompile re.1.1.0 | |
| - recompile res.3.2.0 | |
| - install ssl.0.4.6 | |
| - downgrade type_conv.108.08.00 to 108.00.02 | |
| - recompile ulex.1.1 | |
| - install biniou.1.0.5 | |
| - install atd.1.0.1 | |
| - install uri.1.3.4 | |
| - install lwt.2.4.1 | |
| - downgrade bin_prot.108.08.00 to 108.00.02 | |
| - downgrade comparelib.108.08.00 to 108.00.02 | |
| - downgrade dyntype.0.9.0 to 0.8.3 | |
| - downgrade fieldslib.108.08.00 to 108.00.02 | |
| - install ocaml-data-notation.0.0.9 | |
| - downgrade pa_ounit.108.08.00 to 108.00.02 | |
| - downgrade pipebang.108.08.00 to 108.00.02 | |
| - downgrade sexplib.108.08.00 to 108.00.02 | |
| - downgrade variantslib.108.08.00 to 108.00.02 | |
| - install yojson.1.1.3 | |
| - install atdgen.1.2.2 | |
| - install oasis.0.3.0 | |
| - downgrade ounit.1.1.2 to 1.1.1 | |
| - downgrade core.108.08.00 to 108.00.02 | |
| - downgrade cow.0.4.0 to 0.3.2 | |
| - install fileutils.0.4.4 | |
| - downgrade async_core.108.08.00 to 108.00.02 | |
| - install ocamlmod.0.0.3 | |
| - downgrade async_unix.108.08.00 to 108.00.02 | |
| - downgrade async_extra.108.08.00 to 108.00.02 | |
| - downgrade async.108.08.00 to 108.00.02 | |
| - install cohttp.0.9.3 | |
| - install github.0.3.1 | |
| 17 to install | 3 to reinstall | 0 to upgrade | 17 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] n | |
| <prompt> amir$ opam update | |
| Synchronizing with http://opam.ocamlpro.com ... | |
| The following NEW package is available: | |
| - combine.0.42 | |
| Already up-to-date. | |
| <prompt> amir$ opam upgrade | |
| Already up-to-date. | |
| <prompt> amir$ opam install github.0.3.1 | |
| ....................^C 'opam install github.0.3.1' failed | |
| Fatal error: exception Sys.Break | |
| <prompt> amir$ opam install lwt | |
| The following actions will be performed: | |
| - install lwt.2.4.2 | |
| 1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| =-=-= lwt.2.4.2 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/lwt.2.4.2+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/lwt.2.4.2+opam.tar.gz | |
| Build commands: | |
| ./configure --disable-libev --disable-react --disable-ssl --enable-unix --enable-extra --enable-preemptive --disable-glib | |
| make build | |
| make install | |
| Installing lwt.2.4.2 | |
| <prompt> amir$ opam install github | |
| .....^C 'opam install github' failed | |
| Fatal error: exception Sys.Break | |
| <prompt> amir$ opam list | |
| Available packages for system: | |
| aifad -- Machine learning library and application written in OCaml which generalizes decision tree learning t | |
| alphaCaml -- Turns a so-called "binding specification" into an OCaml compilation unit | |
| alt-ergo -- Automatic theorem prover dedicated to program verification | |
| ancient -- Allows to use in-memory data structures which are larger than available memory and so are kept in sw | |
| annexlib -- An extension to the standard library | |
| annot -- annotation parser for external editors and IDEs | |
| ansicolor -- Simple ANSI terminal color library | |
| ANSITerminal -- Allow to use the colors and cursor movements on ANSI terminals | |
| apalogretrieve -- Retrieve data from an Apache logfile with a syntax derived from the SQL language. | |
| archimedes -- High quality, platform-independent, and extensible 2D plotting library | |
| async 108.08.00 Monadic concurrency library | |
| async_core 108.08.00 Monadic concurrency library | |
| async_extra 108.08.00 Monadic concurrency library | |
| async_unix 108.08.00 Monadic concurrency library | |
| atd -- Library providing a parser for the ATD language and various utilities | |
| atdgen -- Generates efficient JSON serializers, deserializers and validators | |
| aws -- Ocaml client library for Amazon services: S3, EC2, SQS, SDB, FPS, IAM, DynamoDb, SES. | |
| baardskeerder -- Baardskeerder is an append-only B-ish tree. | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| batteries -- Community-maintained foundation library | |
| bench -- A benchmarking tool for statistically valid benchmarks | |
| benchmark -- Benchmark running times of code | |
| bes -- OCaml library and command line frontend to simplify/minimize boolean expressions | |
| bigbro -- Management tool for hypertext (HTML) documents | |
| bin_prot 108.08.00 A binary protocol generator | |
| biniou -- Binary data format designed for speed, safety, ease of use and backward compatibility as protocols e | |
| bisect -- Code coverage tool for the OCaml language | |
| bitcoin -- Library offering an OCaml interface to the official Bitcoin client API | |
| bitstring -- bitstrings and bitstring matching for OCaml | |
| bolt -- Bolt is an Ocaml Logging Tool | |
| cache -- Implements a caching service for storing arbitrary strings that can be located by string keys | |
| cairo -- Binding to Cairo, a Vector Graphics Library | |
| cairo1 -- Binding to Cairo, a Vector Graphics Library | |
| calendar -- Library for handling dates and times in your program | |
| caml2html -- Produce ready-to-go HTML files | |
| camlbz2 -- Bindings for bzip2 | |
| CamlGI -- FastCGI and CGI library | |
| camlidl -- Stub code generator for OCaml | |
| camlimages -- Image processing library | |
| camlmix -- Camlmix is a generic preprocessor which converts text with embedded | |
| camlp5 -- Preprocessor-pretty-printer of OCaml | |
| camltemplate -- Library for generating text from templates | |
| camlzip -- Provides easy access to compressed files in ZIP, GZIP and JAR format | |
| camomile -- A comprehensive Unicode library | |
| ccss -- CCSS is a preprocessor for CSS, extending the language with arithmetic operations and variables. | |
| cduce -- Modern XML-oriented functional language with innovative features | |
| cfg -- Manipulate context-free grammars | |
| chamo -- A source code editor, even if it can be used to edit any text file. | |
| cil -- A front-end for the C programming language that facilitates program analysis and transformation | |
| cmdliner -- Declarative definition of command line interfaces. | |
| cohttp -- HTTP library for Lwt, Async and Mirage | |
| combine -- Combine is a library for combinatorics problem solving. | |
| comparelib 108.08.00 Part of Jane Street’s Core library | |
| conf-libev -- High-performance event loop/event model with lots of features | |
| config-file -- Small library to define, load and save options files. | |
| coq -- Formal proof management system | |
| core 108.08.00 Industrial strength alternative to OCaml's standard library | |
| core_extended -- Extra components that are not as closely vetted or as stable as Core | |
| cow 0.4.0 XML, JSON, HTML, CSS, and Markdown syntax and libraries | |
| cppo -- Equivalent of the C preprocessor for OCaml programs | |
| crunch -- Convert a filesystem into a static OCaml module | |
| crypt -- Tiny binding for the unix crypt function | |
| cryptgps -- Cryptographic functions | |
| cryptokit -- Cryptographic primitives library | |
| cryptokit-sha512 -- Cryptographic primitives library upgraded with sha512 code | |
| cstruct -- access C structures via a camlp4 extension | |
| csv -- Library to read and write CSV files | |
| cudf -- CUDF library (part of the Mancoosi tools) | |
| dbforge -- A tool to describe database schemas and generate OCaml code to access these databases. | |
| dbm -- Binding to the NDBM/GDBM Unix "databases" | |
| deriving-ocsigen -- Extension to OCaml for deriving functions from type declarations | |
| dns -- DNS client and server implementation | |
| dose -- Dose library (part of Mancoosi tools) | |
| dum -- For inspecting the runtime representation of arbitrary Objective Caml values | |
| dyntype 0.9.0 syntax extension which makes OCaml types and values easier to manipulate programmatically | |
| dypgen -- Self-extensible parsers and lexers for OCaml | |
| easy-format -- High-level and functional interface to the Format module of the OCaml standard library | |
| eliom -- Framework for programming web sites and client/server web applications | |
| extlib -- A complete yet small standard library for OCaml | |
| facile -- Constraint programming library over integer finite domains | |
| fftw-ocaml -- Binding to the famous fast Fourier transform library FFTW | |
| fieldslib 108.08.00 Syntax extension to define first class values representing record fields, to get and set record fiel | |
| fileutils -- Library to provide pure OCaml functions to manipulate real file (POSIX like) and filename. | |
| flac -- Interface for the Free Lossless Audio Codec otherwise known as FLAC | |
| forkwork -- Fork child processes to perform work on multiple cores. | |
| format -- Format is a syntax extension which defines quotations for building | |
| frama-c -- Platform dedicated to the static analysis of source code written in C | |
| FrontC -- Library providing a C parser and lexer | |
| gapi-ocaml -- Google APIs Client library for OCaml | |
| getopt -- Command line parsing a la GNU getopt | |
| gettext -- Provides enough service to build a basic internationalized program | |
| github -- API for the Github website | |
| google-drive-ocamlfuse -- FUSE filesystem over Google Drive | |
| gpr -- Gaussian process regression is a modern Bayesian approach to machine learning, | |
| gsl-ocaml -- Interface to the GSL (GNU Scientific Library). This version branched off | |
| gtktop -- A small library to ease the creation of graphical toplevels. | |
| headache -- Automatic generation of files headers | |
| hevea -- A quite complete and fast LATEX to HTML translator | |
| hweak -- An hastable with weak pointer enabling the GC to collect things that are in the hashtable | |
| hydro -- An independent implementation of ICE, the object-oriented RPC protocol by ZeroC | |
| imagemagick -- Bindings for ImageMagick | |
| javalib -- Javalib is a library written in OCaml with the aim to provide a high level representation of Java .c | |
| js_of_ocaml -- Compiler from OCaml bytecode to Javascript | |
| json-static -- JSON camlp4 syntax extension using json-wheel | |
| json-wheel -- JSON parser and writer, with optional C-style comments | |
| jsondiff -- JSON sensitive diffing | |
| jsonm -- Non-blocking streaming JSON codec | |
| kaputt -- Testing tool for the Objective Caml language | |
| lablgl -- Interface to OpenGL | |
| lablgtk -- Objective Caml interface to gtk+ | |
| lablgtk-extras -- A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2. | |
| lacaml -- Interface to the BLAS-library (Basic Linear Algebra Subroutines) and LAPACK-library (Linear Algebra | |
| lambda-term -- terminal management library | |
| ledit -- Line editor, a la rlwrap | |
| lwt 2.4.2 A cooperative threads library for OCaml | |
| lwt-zmq -- Lwt-friendly wrapping around ZeroMQ sockets | |
| macaque -- Macaque (Macros for Caml Queries) is a DSL for OCaml, wich produce SQL requests from a comprehension | |
| magic -- Bindings for libmagic (to determine the type of files) | |
| mancoosi-cudf -- CUDF library (part of the Mancoosi tools) | |
| mancoosi-dose -- Dose library (part of Mancoosi tools) | |
| mascot -- A style-checker for OCaml sources (code, documentation, interface, metrics, and typography). | |
| melt -- Program LaTeX documents using OCaml | |
| menhir -- LR(1) parser generator | |
| meta_conv -- Meta conv, type_conv for various tree data format. | |
| mikmatch -- OCaml syntax extension for regexps | |
| mirage -- Mirage stdlib | |
| mirage-fs -- Mirage filesystem utilities | |
| mirage-net -- Mirage TCP/IP networking library | |
| missinglib -- Collection of OCaml-related utilities | |
| mlgmp -- Interface of GNU MP and MPFR | |
| mlpost -- Interface to Metapost | |
| netamqp -- Implements an AMQP client for accessing a message broker | |
| nlopt-ocaml -- OCaml bindings to the NLOpt optimization library | |
| oasis -- Architecture for building OCaml libraries and applications | |
| oasis-mirage -- This is a fork of OASIS with support for native output-obj. | |
| obus -- A pure OCaml implementation of DBus | |
| ocaml+twt -- The Whitespace Thing, a layout preprocessor for OCaml code | |
| ocaml-arg -- A simple library to handle subcommand arguments | |
| ocaml-data-notation -- Store data using OCaml notation | |
| ocaml-expat -- Write XML-Parsers using the SAX method | |
| ocaml-expect -- Simple implementation of "expect" to help building unitary testing of interactive program | |
| ocaml-extunix -- Collection of thin bindings to various low-level system API | |
| ocaml-glpk -- Bindings for glpk | |
| ocaml-http -- Library freely inspired from Perl's HTTP::Daemon module | |
| ocaml-indent -- OCaml-indent: OCaml source code indenter | |
| ocaml-inifiles -- An ini file parser | |
| ocaml-lua -- OCaml-lua provides bindings to the Lua programming language. | |
| ocaml-mad -- Bindings for the mad library which provides functions for encoding wave audio files into mp3 | |
| ocaml-makefile -- Easy to use Makefile for small to medium-sized OCaml-projects | |
| ocaml-markdown -- Markdown processor for Ocsigen | |
| ocaml-mysql -- Provides access to mysql databases | |
| ocaml-posix-resource -- POSIX resource operations bindings | |
| ocaml-radixtree -- Radix tree for string | |
| ocaml-rdf -- Native OCaml library to manipulate RDF graphs. | |
| ocaml-sqlexpr -- Simple library and syntax extension for type-safe, convenient execution of SQL statements, currently | |
| ocaml-src -- Compiler sources | |
| ocaml-taglib -- OCaml interface for TagLib Audio Meta-Data Library | |
| ocaml-text -- Library for dealing with "text", i.e. sequence of unicode characters, in a convenient way | |
| ocaml-xdg-basedir -- xdg-basedir specification implementation | |
| ocaml-xml-rpc -- An XML-RPC client and server, using an ad-hoc interface definition language and IDL compiler | |
| ocaml-zmq -- OCaml bindings for ZMQ 2.1 | |
| ocamldap -- Implementation of the Light Weight Directory Access Protocol | |
| ocamldbi -- Database independent layer patterned upon Perl DBI | |
| ocamldiff -- OCamldiff is a small OCaml library providing functions to parse and display diff results. | |
| ocamldot -- OCamldot is a small library to parse, print and display graphviz dot files. | |
| ocamldsort -- Sorts a set of Objective Caml source files according to their dependencies | |
| ocamlfind 1.3.3 A library manager for OCaml | |
| ocamlfuse -- OCaml bindings for FUSE (Filesystem in UserSpacE) | |
| ocamlgraph -- A generic graph library for OCaml | |
| ocamlgsl -- Interface to GSL (GNU scientific library) | |
| ocamlify -- Include files in OCaml code | |
| ocamlmod -- Generate OCaml modules from source files | |
| ocamlnet -- Internet protocols (http, cgi, email etc.) and helper data structures (mail messages, character sets | |
| ocamlrss -- Library providing functions to parse and print RSS 2.0 files | |
| ocamlscript -- Tool which compiles OCaml scripts into native code | |
| ocamlsdl -- Interface between OCaml and SDL | |
| ocamlspot -- OCamlSpotter - OCaml source browsing | |
| ocamltop-gtk -- A Gtk2 graphical interface for the OCaml toplevel. | |
| ocamlviz -- real-time profiling tool | |
| ocamlweb -- A literate programming tool for OCaml | |
| ocp-build -- Project manager for OCaml | |
| ocp-indent -- A simple tool to indent OCaml programs | |
| ocplib-endian -- Optimised functions to read and write int16/32/64 from strings and bigarrays, based on new primitive | |
| ocsigenserver -- A full-featured and extensible Web server | |
| ocurl -- Curl bindings | |
| odb-server -- Text editors/IDE helper module | |
| ogg -- Interface for Ogg Bitstream Library, otherwise known as libogg | |
| omake -- Build system designed for scalability and portability | |
| opam -- The OCaml PAckage Manager (OPAM) | |
| opam2web -- A tool to generate a website from an OPAM repository | |
| optcomp -- Optional compilation with cpp-like directives | |
| optimization1d -- Collection of functions to find the minimum or maximum of functions float -> float | |
| oqamldebug -- Graphical front-end to ocamldebug | |
| orakuda -- ORakuda, Perlish string literals in OCaml | |
| orm -- The ORM library provides a storage backend to persist ML values. | |
| ospec -- Behavior-Driven Development tool for OCaml, inspired by RSpec | |
| otags -- Tag file generation of OCaml sources (for vi and emacs) | |
| ott -- From a definition of a language syntax and semantics, generates LaTeX, and Coq, HOL, and Isabelle ve | |
| ounit 1.1.2 Unit testing framework inspired by the JUnit tool and the HUnit tool | |
| pa_do -- Syntax extension to write arithmetic expressions | |
| pa_monad_custom -- Syntactic Sugar for Monads | |
| pa_ounit 108.08.00 Syntax extension for oUnit | |
| parmap -- Minimalistic library allowing to exploit multicore architecture | |
| passwdgen -- Password generator | |
| pcap -- read and write pcap-formatted network packet traces | |
| pcre-ocaml -- Interface to the PCRE (Perl-compatibility regular expressions) library | |
| pgocaml -- Interface to PostgreSQL databases | |
| pipebang 108.08.00 Part of Jane Street’s Core library | |
| planck -- A small monadic parser combinator library | |
| plasma -- Distributed filesystem for large files, implemented in user space | |
| pomap -- Library for partially ordered maps | |
| postgres -- Bindings for the PostgreSQL database (Alain Frisch’s 2004 version) | |
| postgresql-ocaml -- Bindings for the PostgreSQL database | |
| promela -- Library to create, manipulate and reason about PROMELA data structures. | |
| pulseaudio -- Bindings to Pulseaudio client library | |
| pxp -- Polymorphic XML Parser | |
| qtest -- Inline unit test extractor | |
| quickcheck -- Translation of QuickCheck from Haskell into OCaml | |
| re 1.1.0 RE is a regular expression library for OCaml | |
| react -- Module for functional reactive programming (FRP) | |
| regstab -- SAT-Solver able to deal with formulae patterns | |
| release -- Release is a multi-process Lwt-enabled daemon framework for OCaml. | |
| res 3.2.0 Library for resizable arrays and strings | |
| root1d -- Collection of functions to find roots of functions float -> float | |
| rpc -- A library to deal with RPCs in ocaml. | |
| rtime -- Module implementing timelines for React | |
| safepass -- A library enabling the safe storage of user passwords | |
| sawja -- Provide a high level representation of Java bytecode programs and static analysis tools. | |
| schoca -- Implementation of the Scheme language in OCaml | |
| sexplib 108.08.00 Library for serializing OCaml values to and from S-expressions | |
| sha -- Binding to the SHA cryptographic functions | |
| simple_pam -- Tiny binding around PAM | |
| sonet -- Collection of modules for asynchronous network applications | |
| spotinstall -- A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit). | |
| spotlib -- Useful functions for OCaml programming used by @camlspotter | |
| sqlite3-ocaml -- SQLite3 bindings | |
| ssl -- Bindings for the libssl | |
| stog -- A static web site generator, able to handle blog posts as well as regular pages. | |
| syslog -- syslog(3) routines for ocaml | |
| tiny_json -- A small Json library from OCAMLTTER | |
| tiny_json_conv -- Meta conv for Tiny Json | |
| treeprint -- Small tree structure printer with operator associations and precedences. | |
| tryocaml -- Easiest way to learn how to code in OCaml language | |
| type_conv 108.08.00 Library for building type-driven syntax extensions | |
| typehashlib -- Part of Jane Street’s Core library | |
| tyxml -- Parser and printer for xml, and a simple library for building valid | |
| ucorelib -- A light weight Unicode library for OCaml | |
| uint -- Unsigned ints for OCaml | |
| ulex 1.1 lexer generator for Unicode and OCaml | |
| unison -- File-synchronization tool for Unix and Windows | |
| uri -- RFC3968 URI parsing library | |
| utop -- improved toplevel | |
| uucd -- Unicode character database decoder | |
| uuidm -- Module for universally unique identifiers (UUIDs) | |
| uunf -- Unicode text normalization | |
| uutf -- Non-blocking streaming Unicode codec | |
| variantslib 108.08.00 Part of Jane Street’s Core library | |
| vorbis -- Bindings to libvorbis | |
| wdialog -- Dialog-oriented web applications | |
| webdav -- Implements the client side of the WebDAV protocol (RFC 4918) | |
| weberizer -- Weberizer is a simple templating engine for OCaml | |
| wget -- Basic wget-like client, based on the Citrix' HTTP library. | |
| why -- Software verification platform | |
| why3 -- Next generation of the Why software verification platform | |
| xenbigarray -- Portable Bigarray intended for embedded Xen use | |
| xenstore -- Xenstore protocol clients and servers | |
| xml-light -- Xml-Light is a minimal XML parser & printer for OCaml | |
| xmlm -- Module for streaming XML processing | |
| xstr -- Functions for string searching/matching/splitting | |
| xstrp4 -- Brace expansion (alias 'interpolation') performed by camlp4 | |
| xtmpl -- Small XML templating library. | |
| yajl -- bindings to the YAJL streaming JSON library | |
| yajl-extra -- extended YAJL bindings with a convenient high-level JSON representation | |
| yojson -- Yojson is an optimized parsing and printing library for the JSON format | |
| zarith -- Implements arithmetic and logical operations over arbitrary-precision integers | |
| zed -- line editing library | |
| zenon -- Automated theorem prover for first order classical logic (with equality), based on the tableau metho | |
| <prompt> amir$ opam install cohttp | |
| ........^C 'opam install cohttp' failed | |
| Fatal error: exception Sys.Break | |
| <prompt> amir$ opam list -installed | |
| Installed packages for system: | |
| async 108.08.00 Monadic concurrency library | |
| async_core 108.08.00 Monadic concurrency library | |
| async_extra 108.08.00 Monadic concurrency library | |
| async_unix 108.08.00 Monadic concurrency library | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| bin_prot 108.08.00 A binary protocol generator | |
| comparelib 108.08.00 Part of Jane Street’s Core library | |
| core 108.08.00 Industrial strength alternative to OCaml's standard library | |
| cow 0.4.0 XML, JSON, HTML, CSS, and Markdown syntax and libraries | |
| dyntype 0.9.0 syntax extension which makes OCaml types and values easier to manipulate programmatically | |
| fieldslib 108.08.00 Syntax extension to define first class values representing record fields, to get and set record fiel | |
| lwt 2.4.2 A cooperative threads library for OCaml | |
| ocamlfind 1.3.3 A library manager for OCaml | |
| ounit 1.1.2 Unit testing framework inspired by the JUnit tool and the HUnit tool | |
| pa_ounit 108.08.00 Syntax extension for oUnit | |
| pipebang 108.08.00 Part of Jane Street’s Core library | |
| re 1.1.0 RE is a regular expression library for OCaml | |
| res 3.2.0 Library for resizable arrays and strings | |
| sexplib 108.08.00 Library for serializing OCaml values to and from S-expressions | |
| type_conv 108.08.00 Library for building type-driven syntax extensions | |
| ulex 1.1 lexer generator for Unicode and OCaml | |
| variantslib 108.08.00 Part of Jane Street’s Core library | |
| <prompt> amir$ opam remove cow | |
| The following actions will be performed: | |
| - remove cow.0.4.0 | |
| 0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 1 to remove | |
| Uninstalling cow.0.4.0 | |
| The archive for cow.0.4.0 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/cow.0.4.0+opam.tar.gz | |
| <prompt> amir$ opam install github | |
| ..^C 'opam install github' failed | |
| Fatal error: exception Sys.Break | |
| <prompt> amir$ opam remove dyntype | |
| The following actions will be performed: | |
| - remove dyntype.0.9.0 | |
| 0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 1 to remove | |
| Uninstalling dyntype.0.9.0 | |
| The archive for dyntype.0.9.0 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/dyntype.0.9.0+opam.tar.gz | |
| <prompt> amir$ opam install github | |
| ..^C 'opam install github' failed | |
| Fatal error: exception Sys.Break | |
| <prompt> amir$ opam install dyntype | |
| The following actions will be performed: | |
| - install dyntype.0.9.0 | |
| 1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| =-=-= dyntype.0.9.0 =-=-= | |
| The archive for dyntype.0.9.0 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/dyntype.0.9.0+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing dyntype.0.9.0 | |
| <prompt> amir$ opam install github | |
| ...^C 'opam install github' failed | |
| Fatal error: exception Sys.Break | |
| <prompt> amir$ opam remove github | |
| github is not installed. | |
| <prompt> amir$ opam remove dyntype | |
| The following actions will be performed: | |
| - remove dyntype.0.9.0 | |
| 0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 1 to remove | |
| Uninstalling dyntype.0.9.0 | |
| The archive for dyntype.0.9.0 is in the local cache. | |
| Extracting /Users/amir/.opam/archives/dyntype.0.9.0+opam.tar.gz | |
| <prompt> amir$ opam list -installed | |
| Installed packages for system: | |
| async 108.08.00 Monadic concurrency library | |
| async_core 108.08.00 Monadic concurrency library | |
| async_extra 108.08.00 Monadic concurrency library | |
| async_unix 108.08.00 Monadic concurrency library | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| bin_prot 108.08.00 A binary protocol generator | |
| comparelib 108.08.00 Part of Jane Street’s Core library | |
| core 108.08.00 Industrial strength alternative to OCaml's standard library | |
| fieldslib 108.08.00 Syntax extension to define first class values representing record fields, to get and set record fiel | |
| lwt 2.4.2 A cooperative threads library for OCaml | |
| ocamlfind 1.3.3 A library manager for OCaml | |
| ounit 1.1.2 Unit testing framework inspired by the JUnit tool and the HUnit tool | |
| pa_ounit 108.08.00 Syntax extension for oUnit | |
| pipebang 108.08.00 Part of Jane Street’s Core library | |
| re 1.1.0 RE is a regular expression library for OCaml | |
| res 3.2.0 Library for resizable arrays and strings | |
| sexplib 108.08.00 Library for serializing OCaml values to and from S-expressions | |
| type_conv 108.08.00 Library for building type-driven syntax extensions | |
| ulex 1.1 lexer generator for Unicode and OCaml | |
| variantslib 108.08.00 Part of Jane Street’s Core library | |
| <prompt> amir$ opam install github | |
| ..........................TThe following actions will be performed: | |
| - install cppo.0.9.3 | |
| - downgrade ocamlfind.1.3.3 to 1.3.2 | |
| - install easy-format.1.0.1 | |
| - install menhir.20120123 | |
| - recompile ounit.1.1.2 | |
| - downgrade re.1.1.0 to 1.0 | |
| - recompile res.3.2.0 | |
| - install ssl.0.4.6 | |
| - downgrade type_conv.108.08.00 to 108.00.02 | |
| - recompile ulex.1.1 | |
| - install biniou.1.0.5 | |
| - install atd.1.0.1 | |
| - install uri.1.3.3 | |
| - recompile lwt.2.4.2 | |
| - downgrade bin_prot.108.08.00 to 108.00.02 | |
| - downgrade comparelib.108.08.00 to 108.00.02 | |
| - downgrade fieldslib.108.08.00 to 108.00.02 | |
| - downgrade pa_ounit.108.08.00 to 108.00.02 | |
| - downgrade pipebang.108.08.00 to 108.00.02 | |
| - downgrade sexplib.108.08.00 to 108.00.02 | |
| - downgrade variantslib.108.08.00 to 108.00.02 | |
| - install yojson.1.0.3 | |
| - downgrade core.108.08.00 to 108.00.02 | |
| - install atdgen.1.2.2 | |
| - downgrade async_core.108.08.00 to 108.00.02 | |
| - downgrade async_unix.108.08.00 to 108.00.02 | |
| - downgrade async_extra.108.08.00 to 108.00.02 | |
| - downgrade async.108.08.00 to 108.00.02 | |
| - install cohttp.0.9.3 | |
| - install github.0.3.1 | |
| 11 to install | 4 to reinstall | 0 to upgrade | 15 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] n | |
| <prompt> amir$ opam list -installed | |
| Installed packages for system: | |
| async 108.08.00 Monadic concurrency library | |
| async_core 108.08.00 Monadic concurrency library | |
| async_extra 108.08.00 Monadic concurrency library | |
| async_unix 108.08.00 Monadic concurrency library | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| bin_prot 108.08.00 A binary protocol generator | |
| comparelib 108.08.00 Part of Jane Street’s Core library | |
| core 108.08.00 Industrial strength alternative to OCaml's standard library | |
| fieldslib 108.08.00 Syntax extension to define first class values representing record fields, to get and set record fiel | |
| lwt 2.4.2 A cooperative threads library for OCaml | |
| ocamlfind 1.3.3 A library manager for OCaml | |
| ounit 1.1.2 Unit testing framework inspired by the JUnit tool and the HUnit tool | |
| pa_ounit 108.08.00 Syntax extension for oUnit | |
| pipebang 108.08.00 Part of Jane Street’s Core library | |
| re 1.1.0 RE is a regular expression library for OCaml | |
| res 3.2.0 Library for resizable arrays and strings | |
| sexplib 108.08.00 Library for serializing OCaml values to and from S-expressions | |
| type_conv 108.08.00 Library for building type-driven syntax extensions | |
| ulex 1.1 lexer generator for Unicode and OCaml | |
| variantslib 108.08.00 Part of Jane Street’s Core library | |
| <prompt> amir$ cd .. | |
| # | |
| # At this point I went to the home directory and moved the `.opam` folder | |
| # | |
| <prompt> amir$ opam init | |
| Synchronizing with http://opam.ocamlpro.com ... | |
| The following actions will be performed: | |
| - install base-unix.base | |
| - install base-bigarray.base | |
| - install base-threads.base | |
| 3 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| =-=-= base-bigarray.base =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/base-bigarray.base+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/base-bigarray.base+opam.tar.gz | |
| Build commands: | |
| ./build.sh | |
| Installing base-bigarray.base | |
| =-=-= base-threads.base =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/base-threads.base+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/base-threads.base+opam.tar.gz | |
| Build commands: | |
| ./build.sh | |
| Installing base-threads.base | |
| =-=-= base-unix.base =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/base-unix.base+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/base-unix.base+opam.tar.gz | |
| Build commands: | |
| ./build.sh | |
| Installing base-unix.base | |
| <prompt> amir$ opam list -installed | |
| Installed packages for system: | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| <prompt> amir$ opam install github | |
| The following actions will be performed: | |
| - install cppo.0.9.3 | |
| - install ocamlfind.1.3.3 | |
| - install easy-format.1.0.1 | |
| - install menhir.20120123 | |
| - install ounit.1.1.2 | |
| - install re.1.1.0 | |
| - install ssl.0.4.6 | |
| - install biniou.1.0.5 | |
| - install atd.1.0.1 | |
| - install uri.1.3.4 | |
| - install lwt.2.4.2 | |
| - install yojson.1.1.3 | |
| - install cohttp.0.9.3 | |
| - install atdgen.1.2.2 | |
| - install github.0.3.2 | |
| 15 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] y | |
| =-=-= cppo.0.9.3 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/cppo.0.9.3+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/cppo.0.9.3+opam.tar.gz | |
| Build commands: | |
| make | |
| Installing cppo.0.9.3 | |
| =-=-= ocamlfind.1.3.3 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/ocamlfind.1.3.3+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/ocamlfind.1.3.3+opam.tar.gz | |
| Build commands: | |
| ./configure -bindir /Users/amir/.opam/system/bin -sitelib /Users/amir/.opam/system/lib -mandir /Users/amir/.opam/system/man -config /Users/amir/.opam/system/lib/findlib.conf -no-topfind | |
| make all | |
| make opt | |
| make install | |
| ocamlfind remove dbm | |
| Installing ocamlfind.1.3.3 | |
| =-=-= easy-format.1.0.1 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/easy-format.1.0.1+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/easy-format.1.0.1+opam.tar.gz | |
| Applying easy-format-make.diff | |
| Applying meta-tpl.diff | |
| Build commands: | |
| make | |
| make install | |
| Installing easy-format.1.0.1 | |
| =-=-= menhir.20120123 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/menhir.20120123+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/menhir.20120123+opam.tar.gz | |
| Build commands: | |
| make install PREFIX=/Users/amir/.opam/system docdir=/Users/amir/.opam/system/doc/menhir libdir=/Users/amir/.opam/system/lib/menhir mandir=/Users/amir/.opam/system/man/man1 | |
| Installing menhir.20120123 | |
| =-=-= ounit.1.1.2 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/ounit.1.1.2+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/ounit.1.1.2+opam.tar.gz | |
| Build commands: | |
| make build | |
| make install | |
| Installing ounit.1.1.2 | |
| =-=-= re.1.1.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/re.1.1.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/re.1.1.0+opam.tar.gz | |
| Build commands: | |
| ocaml setup.ml -configure --prefix /Users/amir/.opam/system | |
| ocaml setup.ml -build | |
| ocaml setup.ml -install | |
| Installing re.1.1.0 | |
| =-=-= ssl.0.4.6 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/ssl.0.4.6+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/ssl.0.4.6+opam.tar.gz | |
| Build commands: | |
| ./configure --prefix /Users/amir/.opam/system | |
| make | |
| make install | |
| Installing ssl.0.4.6 | |
| =-=-= atd.1.0.1 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/atd.1.0.1+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/atd.1.0.1+opam.tar.gz | |
| Build commands: | |
| make | |
| make install BINDIR=/Users/amir/.opam/system/bin | |
| Installing atd.1.0.1 | |
| =-=-= biniou.1.0.5 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/biniou.1.0.5+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/biniou.1.0.5+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing biniou.1.0.5 | |
| =-=-= lwt.2.4.2 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/lwt.2.4.2+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/lwt.2.4.2+opam.tar.gz | |
| Build commands: | |
| ./configure --disable-libev --disable-react --enable-ssl --enable-unix --enable-extra --enable-preemptive --disable-glib | |
| make build | |
| make install | |
| Installing lwt.2.4.2 | |
| =-=-= uri.1.3.4 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/uri.1.3.4+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/uri.1.3.4+opam.tar.gz | |
| Build commands: | |
| ocaml setup.ml -configure --prefix /Users/amir/.opam/system | |
| ocaml setup.ml -build | |
| ocaml setup.ml -install | |
| Installing uri.1.3.4 | |
| =-=-= cohttp.0.9.3 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/cohttp.0.9.3+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/cohttp.0.9.3+opam.tar.gz | |
| Build commands: | |
| make PREFIX=/Users/amir/.opam/system | |
| make PREFIX=/Users/amir/.opam/system install | |
| Installing cohttp.0.9.3 | |
| =-=-= yojson.1.1.3 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/yojson.1.1.3+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/yojson.1.1.3+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing yojson.1.1.3 | |
| =-=-= atdgen.1.2.2 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/atdgen.1.2.2+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/atdgen.1.2.2+opam.tar.gz | |
| Build commands: | |
| make | |
| make install BINDIR=/Users/amir/.opam/system/bin | |
| Installing atdgen.1.2.2 | |
| =-=-= github.0.3.2 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/github.0.3.2+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/github.0.3.2+opam.tar.gz | |
| Build commands: | |
| make PREFIX=/Users/amir/.opam/system | |
| make install | |
| Installing github.0.3.2 | |
| <prompt> amir$ opam list -installed | |
| Installed packages for system: | |
| atd 1.0.1 Library providing a parser for the ATD language and various utilities | |
| atdgen 1.2.2 Generates efficient JSON serializers, deserializers and validators | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| biniou 1.0.5 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols e | |
| cohttp 0.9.3 HTTP library for Lwt, Async and Mirage | |
| cppo 0.9.3 Equivalent of the C preprocessor for OCaml programs | |
| easy-format 1.0.1 High-level and functional interface to the Format module of the OCaml standard library | |
| github 0.3.2 API for the Github website | |
| lwt 2.4.2 A cooperative threads library for OCaml | |
| menhir 20120123 LR(1) parser generator | |
| ocamlfind 1.3.3 A library manager for OCaml | |
| ounit 1.1.2 Unit testing framework inspired by the JUnit tool and the HUnit tool | |
| re 1.1.0 RE is a regular expression library for OCaml | |
| ssl 0.4.6 Bindings for the libssl | |
| uri 1.3.4 RFC3968 URI parsing library | |
| yojson 1.1.3 Yojson is an optimized parsing and printing library for the JSON format | |
| <prompt> amir$ opam install cow | |
| The following actions will be performed: | |
| - install ulex.1.1 | |
| - install type_conv.108.08.00 | |
| - install dyntype.0.9.0 | |
| - install cow.0.4.0 | |
| 4 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] y | |
| =-=-= type_conv.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/type_conv.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/type_conv.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing type_conv.108.08.00 | |
| =-=-= ulex.1.1 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/ulex.1.1+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/ulex.1.1+opam.tar.gz | |
| Build commands: | |
| make | |
| make all.opt | |
| make install | |
| Installing ulex.1.1 | |
| =-=-= dyntype.0.9.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/dyntype.0.9.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/dyntype.0.9.0+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing dyntype.0.9.0 | |
| =-=-= cow.0.4.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/cow.0.4.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/cow.0.4.0+opam.tar.gz | |
| Build commands: | |
| make all | |
| make install | |
| Installing cow.0.4.0 | |
| <prompt> amir$ opam list -installed | |
| Installed packages for system: | |
| atd 1.0.1 Library providing a parser for the ATD language and various utilities | |
| atdgen 1.2.2 Generates efficient JSON serializers, deserializers and validators | |
| base-bigarray base Bigarray library distributed with the OCaml compiler | |
| base-threads base Threads library distributed with the OCaml compiler | |
| base-unix base Unix library distributed with the OCaml compiler | |
| biniou 1.0.5 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols e | |
| cohttp 0.9.3 HTTP library for Lwt, Async and Mirage | |
| cow 0.4.0 XML, JSON, HTML, CSS, and Markdown syntax and libraries | |
| cppo 0.9.3 Equivalent of the C preprocessor for OCaml programs | |
| dyntype 0.9.0 syntax extension which makes OCaml types and values easier to manipulate programmatically | |
| easy-format 1.0.1 High-level and functional interface to the Format module of the OCaml standard library | |
| github 0.3.2 API for the Github website | |
| lwt 2.4.2 A cooperative threads library for OCaml | |
| menhir 20120123 LR(1) parser generator | |
| ocamlfind 1.3.3 A library manager for OCaml | |
| ounit 1.1.2 Unit testing framework inspired by the JUnit tool and the HUnit tool | |
| re 1.1.0 RE is a regular expression library for OCaml | |
| ssl 0.4.6 Bindings for the libssl | |
| type_conv 108.08.00 Library for building type-driven syntax extensions | |
| ulex 1.1 lexer generator for Unicode and OCaml | |
| uri 1.3.4 RFC3968 URI parsing library | |
| yojson 1.1.3 Yojson is an optimized parsing and printing library for the JSON format | |
| <prompt> amir$ | |
| <prompt> amir$ opam install core | |
| The following actions will be performed: | |
| - install sexplib.108.08.00 | |
| - install fieldslib.108.08.00 | |
| - install variantslib.108.08.00 | |
| - install bin_prot.108.08.00 | |
| - install comparelib.108.08.00 | |
| - install res.3.2.0 | |
| - install pa_ounit.108.08.00 | |
| - install pipebang.108.08.00 | |
| - install core.108.08.00 | |
| 9 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove | |
| Do you want to continue ? [Y/n] y | |
| =-=-= bin_prot.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/bin_prot.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/bin_prot.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing bin_prot.108.08.00 | |
| =-=-= comparelib.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/comparelib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/comparelib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing comparelib.108.08.00 | |
| =-=-= fieldslib.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/fieldslib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/fieldslib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing fieldslib.108.08.00 | |
| =-=-= pa_ounit.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/pa_ounit.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/pa_ounit.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing pa_ounit.108.08.00 | |
| =-=-= pipebang.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/pipebang.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/pipebang.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing pipebang.108.08.00 | |
| =-=-= res.3.2.0 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/res.3.2.0+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/res.3.2.0+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing res.3.2.0 | |
| =-=-= sexplib.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/sexplib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/sexplib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing sexplib.108.08.00 | |
| =-=-= variantslib.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/variantslib.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/variantslib.108.08.00+opam.tar.gz | |
| Build commands: | |
| make | |
| make install | |
| Installing variantslib.108.08.00 | |
| =-=-= core.108.08.00 =-=-= | |
| Downloading http://opam.ocamlpro.com/archives/core.108.08.00+opam.tar.gz ... | |
| Extracting /Users/amir/.opam/archives/core.108.08.00+opam.tar.gz | |
| Applying fix_META.patch | |
| Build commands: | |
| make | |
| make install | |
| Installing core.108.08.00 | |
| <prompt> amir$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment