Doesn't find cohttp.lwt even though it's installed :(

[relrod]

Apologies if I'm missing something silly. I'm learning Coq and wanted to play around with this some, but it seems to not be able to find cohttp.lwt even though it appears to be installed.

ricky@t520 99% /tmp/coq-chick-blog/extraction (master)$ opam install --jobs=4 lwt cohttp
[NOTE] Package lwt is already installed (current version is 2.4.5).
[NOTE] Package cohttp is already installed (current version is 0.11.2).

ricky@t520 99% /tmp/coq-chick-blog/extraction (master)$ make
ocamlbuild chickBlog.native -use-ocamlfind -package cohttp.lwt,lwt,lwt.unix,num,str
+ ocamlfind ocamldep -package cohttp.lwt,lwt,lwt.unix,num,str -modules chickBlog.ml > chickBlog.ml.depends
ocamlfind: Package `cohttp.lwt' not found
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
Makefile:2: recipe for target 'build' failed
make: *** [build] Error 10

[clarus]

OK, this is weird. Can you give me the output of:

opam --version
opam list

I also just added a Dockerfile which should run on any Linux machine using Docker:

docker build --tag=chick-blog .
docker run -ti -p 8008:8008 chick-blog

[relrod]

OK, this is weird. Can you give me the output of:

opam --version opam list

Sure.

ricky@t520 60% /tmp$ opam --version
1.1.1

ricky@t520 53% /tmp$ opam list
Installed packages for 4.01.0:
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
camlimages                   4.1.1  Image processing library
camlp4                      4.01.0  Camlp4 is a system for writing extensible parsers for programming languages
camlp5                        6.11  Preprocessor-pretty-printer of OCaml
camlzip                       1.05  Provides easy access to compressed files in ZIP, GZIP and JAR format
camomile                     0.8.5  A comprehensive Unicode library
cohttp                      0.11.2  HTTP library for Lwt, Async and Mirage
conduit                      0.5.0  Network connection library for TCP and SSL
coq                         8.4pl4  Formal proof management system
coq:error-handlers             dev  Simple and robust error handling functions.
coq:function-ninjas            dev  Write readable code using simple functional combinators.
coq:list-plus                  dev  More functions on lists.
coq:list-string                dev  Strings implemented as lists.
coq:moment                     dev  Parse, manipulate and pretty-print dates in Coq.
dypgen                  20120619-1  Self-extensible parsers and lexers for OCaml
fieldslib                109.20.03  Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values
lwt                          2.4.5  A cooperative threads library for OCaml
ocamlfind                    1.5.1  A library manager for OCaml
omake                0.9.8.6-0.rc1  Build system designed for scalability and portability
ounit                        2.0.0  Unit testing framework loosely based on HUnit. It is similar to JUnit, and other XUnit testing frameworks
patoline                       0.1  A new typesetting system, programmable in ocaml.
re                           1.2.2  RE is a regular expression library for OCaml
sexplib                  111.17.00  Library for serializing OCaml values to and from S-expressions
sqlite3-ocaml                2.0.6  SQLite3 bindings
stringext                    0.0.1  Extra string functions for OCaml
type_conv                111.13.00  Library for building type-driven syntax extensions
uri                          1.7.1  RFC3986 URI parsing library

[clarus]

Ok, I have not tested the blog with OPAM 1.1.1 but this version seems deprecated (according to the "Your version of OPAM (1.1.1) is not recent enough to read ..." errors I get doing an opam init). This is unfortunate because most Linux distribs propose only the 1.1.1.

In general, for Coq and OPAM, we only support OPAM 1.2.0 for all these problems. If you have the time and energy to compile an 1.2.0 version hopefully this will solve the problem.

[relrod]

Sorry for the delay in response. I'll give OPAM 1.2.0 a shot, I didn't realize how out of date I was!